lorentz-0.9.0: EDSL for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Lorentz.Default

Description

Default values for Lorentz.

Synopsis

Documentation

class LDefault a where Source #

Lorentz version of Default.

Minimal complete definition

Nothing

Methods

ldef :: a Source #

default ldef :: Default a => a Source #

lIsDef :: (a ': s) :-> (Bool ': s) Source #

default lIsDef :: (NiceConstant a, NiceComparable a) => (a ': s) :-> (Bool ': s) Source #

Instances

Instances details
LDefault Integer Source # 
Instance details

Defined in Lorentz.Default

Methods

ldef :: Integer Source #

lIsDef :: forall (s :: [Type]). (Integer ': s) :-> (Bool ': s) Source #

LDefault Natural Source # 
Instance details

Defined in Lorentz.Default

Methods

ldef :: Natural Source #

lIsDef :: forall (s :: [Type]). (Natural ': s) :-> (Bool ': s) Source #

LDefault [a] Source # 
Instance details

Defined in Lorentz.Default

Methods

ldef :: [a] Source #

lIsDef :: forall (s :: [Type]). ([a] ': s) :-> (Bool ': s) Source #

LDefault (Set k) Source # 
Instance details

Defined in Lorentz.Default

Methods

ldef :: Set k Source #

lIsDef :: forall (s :: [Type]). (Set k ': s) :-> (Bool ': s) Source #

(LDefault a, LDefault b) => LDefault (a, b) Source # 
Instance details

Defined in Lorentz.Default

Methods

ldef :: (a, b) Source #

lIsDef :: forall (s :: [Type]). ((a, b) ': s) :-> (Bool ': s) Source #

LDefault (Map k v) Source # 
Instance details

Defined in Lorentz.Default

Methods

ldef :: Map k v Source #

lIsDef :: forall (s :: [Type]). (Map k v ': s) :-> (Bool ': s) Source #

(LDefault a, KnownSymbol n) => LDefault (n :! a) Source # 
Instance details

Defined in Lorentz.Default

Methods

ldef :: n :! a Source #

lIsDef :: forall (s :: [Type]). ((n :! a) ': s) :-> (Bool ': s) Source #