Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Syntax.Strict
Synopsis
class
Strict
a
where
force
:: a ->
Int
($!!)
::
Strict
a => (a -> b) -> a -> b
strict
::
Strict
a => a -> a
Documentation
class
Strict
a
where
Source
force
is the recursive
const 0
function, to force Haskell to evaluate.
Methods
force
:: a ->
Int
Source
($!!)
::
Strict
a => (a -> b) -> a -> b
Source
strict
::
Strict
a => a -> a
Source
Produced by
Haddock
version 2.6.1