Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Default values for Lorentz.
Documentation
class LDefault a where Source #
Lorentz version of Default
.
Nothing
lIsDef :: (a : s) :-> (Bool : s) Source #
default lIsDef :: (NiceConstant a, NiceComparable a) => (a : s) :-> (Bool : s) Source #