Eq T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
Show T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
Generic T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
NFData T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
Buildable T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
(SDecide T, SDecide Peano) => SDecide T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingKind T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
RenderDoc T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
FromExpression T Source # | |
Instance detailsDefined in Morley.Micheline.Class |
ToExpression T Source # | |
Instance detailsDefined in Morley.Micheline.Class |
(SDecide T, SDecide Peano) => TestCoercion SingT Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
(SDecide T, SDecide Peano) => TestEquality SingT Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TKey Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TUnit Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TSignature Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TChainId Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TOperation Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TInt Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TNat Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TString Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TBytes Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TMutez Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TBool Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TKeyHash Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TBls12381Fr Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TBls12381G1 Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TBls12381G2 Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TTimestamp Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TAddress Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TChest Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TChestKey Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI 'TNever Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI1 'TOption Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI1 'TList Source # | Previously, we were using SingI constraints in SingT
constructors. That was not so optimal because we have been
spending too much space at runtime. Instead of that, we process
values of SingT using the function withSingI in those places
where the SingI constraint is required. withSingI allows one
to create the SingI context for a given Sing . |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI k => SingI1 ('TMap k :: T -> T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI n => SingI ('TOption n :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI n => SingI ('TList n :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI n => SingI ('TSet n :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI n => SingI ('TContract n :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI n => SingI ('TTicket n :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI n => SingI ('TSaplingState n :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
SingI n => SingI ('TSaplingTransaction n :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
(SingI n1, SingI n2) => SingI ('TPair n1 n2 :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
(SingI n1, SingI n2) => SingI ('TOr n1 n2 :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
(SingI n1, SingI n2) => SingI ('TLambda n1 n2 :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
(SingI n1, SingI n2) => SingI ('TMap n1 n2 :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
(SingI n1, SingI n2) => SingI ('TBigMap n1 n2 :: T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
Buildable (MismatchError [T]) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
Buildable (MismatchError T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
RenderDoc (Prettier T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
RenderDoc (MismatchError [T]) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
RenderDoc (MismatchError T) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
SingI t => CheckScope (ComparabilityScope t) Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Scope |
(SingI inp, SingI out) => FromExpression (Instr '[inp] '[out]) Source # | |
Instance detailsDefined in Morley.Micheline.Class |
type Rep T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.T |
type Sing Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |
type Demote T Source # | |
Instance detailsDefined in Morley.Michelson.Typed.Sing |