SingI t => CheckScope (Comparable t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ForbidBigMap t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ForbidContract t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ForbidNestedBigMaps t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ForbidOp t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ForbidSaplingState t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ForbidTicket t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ComparabilityScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ConstantScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (DupableScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (PackedValScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ParameterScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (StorageScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (UnpackedValScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (ViewableScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
SingI t => CheckScope (WellTyped t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |
(CheckScope a, CheckScope b) => CheckScope (a, b) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope.Internal.CheckScope |