Lorentz.Default

Default values for Lorentz.

Documentation

class LDefault a where

Lorentz version of Default.

Minimal complete definition

Nothing

Methods

ldef :: a

default ldef :: Default a => a

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

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

Instances

LDefault Integer

Defined in Lorentz.Default

Methods

ldef :: Integer

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

LDefault Natural

Defined in Lorentz.Default

Methods

ldef :: Natural

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

LDefault (Set k)

Defined in Lorentz.Default

Methods

ldef :: Set k

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

LDefault [a]

Defined in Lorentz.Default

Methods

ldef :: [a]

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

LDefault (Map k v)

Defined in Lorentz.Default

Methods

ldef :: Map k v

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

(LDefault a, LDefault b) => LDefault (a, b)

Defined in Lorentz.Default

Methods

ldef :: (a, b)

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

(LDefault a, KnownSymbol n) => LDefault (NamedF Identity a n)

Defined in Lorentz.Default

Methods

ldef :: NamedF Identity a n

lIsDef :: forall (s :: [Type]). (NamedF Identity a n ': s) :-> (Bool ': s)