Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
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 whereSource
force is the recursive const 0 function, to force Haskell to evaluate.
Methods
force :: a -> IntSource
($!!) :: Strict a => (a -> b) -> a -> bSource
strict :: Strict a => a -> aSource
Produced by Haddock version 2.6.1