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 | |
Show (WithDefault b) Source # | |
Defined in Agda.Utils.WithDefault Methods showsPrec :: Int -> WithDefault b -> ShowS show :: WithDefault b -> String showList :: [WithDefault b] -> ShowS | |
Typeable b => EmbPrj (WithDefault b) Source # | |
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 # |
setDefault :: Bool -> WithDefault b -> WithDefault b Source #
collapseDefault :: KnownBool b => WithDefault b -> Bool Source #