Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Syntax.Strict
Documentation
class Strict a whereSource
Methods
force :: a -> IntSource
show/hide Instances
($!!) :: Strict a => (a -> b) -> a -> bSource
strict :: Strict a => a -> aSource
Produced by Haddock version 2.4.2