Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Michelson.Typed.Scope.Internal.CheckScope

Synopsis

class CheckScope (c :: Constraint) where
- checkScope :: Either BadTypeForScope (Dict c)

Documentation

class CheckScope (c :: Constraint) where Source #

Should be present for common scopes.

Methods

checkScope :: Either BadTypeForScope (Dict c) Source #

Check that constraint hold for a given type.

Instances

Instances details

SingI t => CheckScope (Comparable t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (Comparable t)) Source #
SingI t => CheckScope (ForbidBigMap t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ForbidBigMap t)) Source #
SingI t => CheckScope (ForbidContract t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ForbidContract t)) Source #
SingI t => CheckScope (ForbidNestedBigMaps t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ForbidNestedBigMaps t)) Source #
SingI t => CheckScope (ForbidOp t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ForbidOp t)) Source #
SingI t => CheckScope (ForbidSaplingState t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ForbidSaplingState t)) Source #
SingI t => CheckScope (ForbidTicket t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ForbidTicket t)) Source #
SingI t => CheckScope (ComparabilityScope t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ComparabilityScope t)) Source #
SingI t => CheckScope (ConstantScope t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ConstantScope t)) Source #
SingI t => CheckScope (DupableScope t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (DupableScope t)) Source #
SingI t => CheckScope (PackedValScope t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (PackedValScope t)) Source #
SingI t => CheckScope (ParameterScope t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ParameterScope t)) Source #
SingI t => CheckScope (StorageScope t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (StorageScope t)) Source #
SingI t => CheckScope (UnpackedValScope t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (UnpackedValScope t)) Source #
SingI t => CheckScope (ViewableScope t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (ViewableScope t)) Source #
SingI t => CheckScope (WellTyped t) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (WellTyped t)) Source #
(CheckScope a, CheckScope b) => CheckScope (a, b) Source #
Instance details Defined in Morley.Michelson.Typed.Scope.Internal.CheckScope Methods checkScope :: Either BadTypeForScope (Dict (a, b)) Source #