Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Syntax.Strict
Documentation
class
Strict
a
where
Source
Methods
force
:: a ->
Int
Source
($!!)
::
Strict
a => (a -> b) -> a -> b
Source
strict
::
Strict
a => a -> a
Source
Produced by
Haddock
version 2.6.0