Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Agda.Utils.WithDefault
Description
Potentially uninitialised Booleans
Documentation
data WithDefault (b :: Bool) Source #
Instances
Typeable b => EmbPrj (WithDefault b) Source # | |
Defined in Agda.TypeChecking.Serialise.Instances.Common | |
Show (WithDefault b) Source # | |
Defined in Agda.Utils.WithDefault | |
NFData (WithDefault b) Source # | |
Defined in Agda.Utils.WithDefault Methods rnf :: WithDefault b -> () Source # | |
Eq (WithDefault b) Source # | |
Defined in Agda.Utils.WithDefault Methods (==) :: WithDefault b -> WithDefault b -> Bool Source # (/=) :: WithDefault b -> WithDefault b -> Bool Source # |
setDefault :: Bool -> WithDefault b -> WithDefault b Source #
collapseDefault :: KnownBool b => WithDefault b -> Bool Source #