Agda-2.6.2.2: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.WithDefault

Description

Potentially uninitialised Booleans

Documentation

data WithDefault (b :: Bool) Source #

Constructors

Default 
Value !Bool 

Instances

Instances details
Eq (WithDefault b) Source # 
Instance details

Defined in Agda.Utils.WithDefault

Show (WithDefault b) Source # 
Instance details

Defined in Agda.Utils.WithDefault

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