Lorentz.Constraints.Scopes

Scope-related constraints used in Lorentz.

This contains constraints from Morley.Michelson.Typed.Scope modified for use in Lorentz.

Grouped constraints

type NiceComparable n = (ProperNonComparableValBetterErrors (ToT n), KnownValue n, Comparable (ToT n))

Constraint applied to any type, to check if Michelson representation (if exists) of this type is Comparable. In case it is not prints human-readable error message

type NiceConstant a = (ProperConstantBetterErrors (ToT a), KnownValue a)

type Dupable a = (ProperDupableBetterErrors (ToT a), KnownValue a)

type NiceFullPackedValue a = (NicePackedValue a, NiceUnpackedValue a)

type NicePackedValue a = (ProperPackedValBetterErrors (ToT a), KnownValue a)

type NiceParameter a = (ProperParameterBetterErrors (ToT a), KnownValue a)

Constraint applied to any part of a parameter type.

Use NiceParameterFull instead when you need to know the contract's entrypoints at compile-time.

type NiceUntypedValue a = (ProperUntypedValBetterErrors (ToT a), KnownValue a)

type NiceStorage a = (ProperStorageBetterErrors (ToT a), KnownValue a)

type NiceStorageFull a = (NiceStorage a, HasAnnotation a)

type NiceUnpackedValue a = (ProperUnpackedValBetterErrors (ToT a), KnownValue a)

type NiceViewable a = (ProperViewableBetterErrors (ToT a), KnownValue a)

type NiceNoBigMap n = (KnownValue n, HasNoBigMap (ToT n))

Individual constraints (internals)

class (HasNoNestedBigMaps (ToT a), IsoValue a) => CanHaveBigMap a

Instances

(HasNoNestedBigMaps (ToT a), IsoValue a) => CanHaveBigMap a

Defined in Lorentz.Constraints.Scopes

class (IsoValue a, Typeable a) => KnownValue a

Gathers constraints, commonly required for values.

Instances

(IsoValue a, Typeable a) => KnownValue a

Defined in Lorentz.Constraints.Scopes

class (ForbidOp (ToT a), IsoValue a) => NoOperation a

Ensure given type does not contain "operation".

Instances

(ForbidOp (ToT a), IsoValue a) => NoOperation a

Defined in Lorentz.Constraints.Scopes

class (ForbidContract (ToT a), IsoValue a) => NoContractType a

Instances

(ForbidContract (ToT a), IsoValue a) => NoContractType a

Defined in Lorentz.Constraints.Scopes

class (ForbidBigMap (ToT a), IsoValue a) => NoBigMap a

Instances

(ForbidBigMap (ToT a), IsoValue a) => NoBigMap a

Defined in Lorentz.Constraints.Scopes

Re-exports

withDict :: HasDict c e => e -> (c => r) -> r

From a Dict, takes a value in an environment where the instance witnessed by the Dict is in scope, and evaluates it.

Essentially a deconstruction of a Dict into its continuation-style form.

Can also be used to deconstruct an entailment, a :- b, using a context a.

withDict :: Dict c -> (c => r) -> r
withDict :: a => (a :- c) -> (c => r) -> r