Safe Haskell	None
Language	Haskell2010

Agda.Utils.WithDefault

Description

Potentially uninitialised Booleans

Documentation

Constructors

Default
Value !Bool

Instances details

Eq (WithDefault b) Source #
Instance details Defined in Agda.Utils.WithDefault Methods (==) :: WithDefault b -> WithDefault b -> Bool # (/=) :: WithDefault b -> WithDefault b -> Bool #
Show (WithDefault b) Source #
Instance details Defined in Agda.Utils.WithDefault Methods showsPrec :: Int -> WithDefault b -> ShowS # show :: WithDefault b -> String # showList :: [WithDefault b] -> ShowS #
NFData (WithDefault b) Source #
Instance details Defined in Agda.Utils.WithDefault Methods rnf :: WithDefault b -> () #
Typeable b => EmbPrj (WithDefault b) Source #
Instance details Defined in Agda.TypeChecking.Serialise.Instances.Common Methods icode :: WithDefault b -> S Int32 Source # icod_ :: WithDefault b -> S Int32 Source # value :: Int32 -> R (WithDefault b) Source #