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