Agda.Utils.WithDefault

Potentially uninitialised Booleans

Documentation

data WithDefault (b :: Bool)

Constructors

Default

Value Bool

Instances

Eq (WithDefault b)

Defined in Agda.Utils.WithDefault

Methods

(==) :: WithDefault b -> WithDefault b -> Bool

(/=) :: WithDefault b -> WithDefault b -> Bool

Show (WithDefault b)

Defined in Agda.Utils.WithDefault

Methods

showsPrec :: Int -> WithDefault b -> ShowS

show :: WithDefault b -> String

showList :: [WithDefault b] -> ShowS

Typeable b => EmbPrj (WithDefault b)

Defined in Agda.TypeChecking.Serialise.Instances.Common

Methods

icode :: WithDefault b -> S Int32

icod_ :: WithDefault b -> S Int32

value :: Int32 -> R (WithDefault b)

setDefault :: Bool -> WithDefault b -> WithDefault b

collapseDefault :: KnownBool b => WithDefault b -> Bool