| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Lorentz.Constraints
Synopsis
- type CanHaveBigMap a = AllowBigMap (ToT a)
- type KnownValue a = (Typeable (ToT a), SingI (ToT a))
- type KnownCValue a = (IsoValue a, Typeable (ToCT a), SingI (ToCT a))
- type NoOperation a = ForbidOp (ToT a)
- type NoBigMap a = ForbidBigMap (ToT a)
Documentation
type CanHaveBigMap a = AllowBigMap (ToT a) Source #
type KnownValue a = (Typeable (ToT a), SingI (ToT a)) Source #
Gathers constraints, commonly required for values.
type NoOperation a = ForbidOp (ToT a) Source #
Ensure given type does not contain "operation".
type NoBigMap a = ForbidBigMap (ToT a) Source #