Agda-2.2.10: A dependently typed functional programming language and proof assistant
Agda.Syntax.Strict
Synopsis
class Strict a whereSource
force is the recursive const 0 function, to force Haskell to evaluate.
force
const 0
Methods
force :: a -> IntSource
Instances
($!!) :: Strict a => (a -> b) -> a -> bSource
strict :: Strict a => a -> aSource