CADR | Michelson.Macro |
CadrStruct | Michelson.Macro |
CanBeCompared | Michelson.Typed.Value, Michelson.Typed |
CannotBeCompared | Michelson.Typed.Value, Michelson.Typed |
CAR | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
CarArgument | Michelson.TypeCheck.Error, Michelson.TypeCheck |
CASE | Michelson.Macro |
CaseClause | |
1 (Type/Class) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
2 (Data Constructor) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
CaseClauseParam | |
1 (Type/Class) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
2 (Data Constructor) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
CaseClauses | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
CAST | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
Cast | Michelson.TypeCheck.Error, Michelson.TypeCheck |
castIgnoringPhantom | Util.Typeable |
ccBalance | Michelson.Typed.Value, Michelson.Typed |
ccContractCode | Michelson.Typed.Value, Michelson.Typed |
ccDelegate | Michelson.Typed.Value, Michelson.Typed |
ccOriginator | Michelson.Typed.Value, Michelson.Typed |
ccStorageVal | Michelson.Typed.Value, Michelson.Typed |
cdContents | Michelson.Doc |
cdContentsL | Michelson.Doc |
cdDefinitionIds | Michelson.Doc |
cdDefinitionIdsL | Michelson.Doc |
cdDefinitions | Michelson.Doc |
cdDefinitionsL | Michelson.Doc |
cdDefinitionsSet | Michelson.Doc |
cdDefinitionsSetL | Michelson.Doc |
CDR | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
CdrArgument | Michelson.TypeCheck.Error, Michelson.TypeCheck |
ceaApplyEffects | Michelson.Typed.Util, Michelson.Typed |
ceAmount | Michelson.Interpret |
ceaName | Michelson.Typed.Util, Michelson.Typed |
ceBalance | Michelson.Interpret |
ceChainId | Michelson.Interpret |
ceContracts | Michelson.Interpret |
ceMaxSteps | Michelson.Interpret |
ceNow | Michelson.Interpret |
ceSelf | Michelson.Interpret |
ceSender | Michelson.Interpret |
ceSource | Michelson.Interpret |
ChainId | Tezos.Core |
chainIdLength | Tezos.Core |
ChainIdUnsafe | Tezos.Core |
CHAIN_ID | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
checkBigMapPresence | Michelson.Typed.Scope, Michelson.Typed |
checkComparability | Michelson.Typed.Value, Michelson.Typed |
checkContractTypePresence | Michelson.Typed.Scope, Michelson.Typed |
checkNestedBigMapsPresence | Michelson.Typed.Scope, Michelson.Typed |
checkOpPresence | Michelson.Typed.Scope, Michelson.Typed |
CheckScope | Michelson.Typed.Scope, Michelson.Typed |
checkScope | Michelson.Typed.Scope, Michelson.Typed |
checkSignature | |
1 (Function) | Tezos.Crypto.Secp256k1 |
2 (Function) | Tezos.Crypto.P256 |
3 (Function) | Tezos.Crypto.Ed25519 |
4 (Function) | Tezos.Crypto |
CHECK_SIGNATURE | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
CMP | Michelson.Macro |
cmpOp | Michelson.Parser.Instr |
CodeAlwaysFails | Michelson.TypeCheck.Error, Michelson.TypeCheck |
codeEntry | Michelson.Parser |
coerceContractRef | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
comma | Michelson.Parser.Lexer |
CommentType | Michelson.Typed.Instr, Michelson.Typed |
COMMENT_ITEM | Michelson.Typed.Instr, Michelson.Typed |
Comparability | Michelson.Typed.Value, Michelson.Typed |
comparabilityPresence | Michelson.Typed.Value, Michelson.Typed |
ComparabilityScope | Michelson.Typed.Value, Michelson.Typed |
Comparable | Michelson.Typed.Value, Michelson.Typed |
COMPARE | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
Compare | Michelson.Typed.Arith, Michelson.Typed |
compareExt | Util.Typeable |
compareOp | Michelson.Typed.Arith, Michelson.Typed |
ComparisonArguments | Michelson.TypeCheck.Error, Michelson.TypeCheck |
compileEpLiftSequence | Michelson.Typed.Value, Michelson.Typed |
ComposeCtorNotFound | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
ComposeFieldTypeMismatch | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
ComposeOk | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
ComposeResult | Michelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed |
composeValidators | Michelson.Test.Integrational, Michelson.Test |
composeValidatorsList | Michelson.Test.Integrational, Michelson.Test |
CONCAT | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
CONCAT' | Michelson.Typed.Instr, Michelson.Typed |
ConcatArgument | Michelson.TypeCheck.Error, Michelson.TypeCheck |
concatImpl | Michelson.TypeCheck.Helpers |
concatImpl' | Michelson.TypeCheck.Helpers |
ConcatListOfTypesAssociativity | Util.Type |
ConcatOp | Michelson.Typed.Polymorphic, Michelson.Typed |
concatTestTrees | Michelson.Test.Import, Michelson.Test |
concreteTypeDocHaskellRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
concreteTypeDocHaskellRepUnsafe | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
concreteTypeDocMichelsonRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
concreteTypeDocMichelsonRepUnsafe | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
CONS | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
ConsArgument | Michelson.TypeCheck.Error, Michelson.TypeCheck |
ConstantScope | Michelson.Typed.Scope, Michelson.Typed |
ConstantScope' | Michelson.FailPattern |
ConstraintDIG | Michelson.Typed.Instr, Michelson.Typed |
ConstraintDIG' | Michelson.Typed.Instr, Michelson.Typed |
ConstraintDIPN | Michelson.Typed.Instr, Michelson.Typed |
ConstraintDIPN' | Michelson.Typed.Instr, Michelson.Typed |
ConstraintDUG | Michelson.Typed.Instr, Michelson.Typed |
ConstraintDUG' | Michelson.Typed.Instr, Michelson.Typed |
CONSTRUCT | Michelson.Macro |
ConstructorFieldTypes | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
ContainerKeyType | Michelson.TypeCheck.Error, Michelson.TypeCheck |
ContainerValueType | Michelson.TypeCheck.Error, Michelson.TypeCheck |
ContainsBigMap | Michelson.Typed.Scope, Michelson.Typed |
ContainsNestedBigMaps | Michelson.Typed.Scope, Michelson.Typed |
CONTRACT | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
Contract | |
1 (Data Constructor) | Michelson.Untyped.Contract, Michelson.Untyped |
2 (Type/Class) | Michelson.Untyped.Aliases, Michelson.Untyped |
Contract' | Michelson.Untyped.Contract, Michelson.Untyped |
ContractAbsent | Michelson.Typed.Scope, Michelson.Typed |
ContractAddress | Tezos.Address |
ContractCode | Michelson.Typed.Instr, Michelson.Typed |
contractCode | Michelson.Untyped.Contract, Michelson.Untyped |
ContractDoc | |
1 (Type/Class) | Michelson.Doc |
2 (Data Constructor) | Michelson.Doc |
contractDocToMarkdown | Michelson.Doc |
ContractEnv | |
1 (Type/Class) | Michelson.Interpret |
2 (Data Constructor) | Michelson.Interpret |
contractFileOption | Morley.CLI |
contractHasEntryPoints | Michelson.Test.Unit |
ContractHash | |
1 (Type/Class) | Tezos.Address |
2 (Data Constructor) | Tezos.Address |
ContractInp | Michelson.Typed.Value, Michelson.Typed |
ContractInp1 | Michelson.Typed.Value, Michelson.Typed |
ContractOut | Michelson.Typed.Value, Michelson.Typed |
ContractOut1 | Michelson.Typed.Value, Michelson.Typed |
ContractParameter | Michelson.TypeCheck.Error, Michelson.TypeCheck |
contractParameter | Michelson.Untyped.Contract, Michelson.Untyped |
ContractPresence | Michelson.Typed.Scope, Michelson.Typed |
ContractPresent | Michelson.Typed.Scope, Michelson.Typed |
contractProp | Michelson.Test.Unit, Michelson.Test |
contractPropVal | Michelson.Test.Unit, Michelson.Test |
ContractPropValidator | Michelson.Test.Unit, Michelson.Test |
ContractRef | |
1 (Type/Class) | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
2 (Data Constructor) | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
contractRefToAddr | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
ContractReturn | Michelson.Interpret, Michelson.Test.Unit, Michelson.Test |
ContractState | |
1 (Type/Class) | Michelson.Runtime.GState, Michelson.Runtime |
2 (Data Constructor) | Michelson.Runtime.GState, Michelson.Runtime |
ContractStorage | Michelson.TypeCheck.Error, Michelson.TypeCheck |
contractStorage | Michelson.Untyped.Contract, Michelson.Untyped |
contractTypeAbsense | Michelson.Typed.Scope, Michelson.Typed |
convAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
converge | Michelson.Typed.Annotation, Michelson.Typed |
convergeAnns | Michelson.Typed.Annotation, Michelson.Typed |
convergeHST | Michelson.TypeCheck.Helpers |
convergeHSTEl | Michelson.TypeCheck.Helpers |
convertContractCode | Michelson.Typed.Convert, Michelson.Typed |
convertFullContract | Michelson.Typed.Convert, Michelson.Typed |
crAddress | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
CreateContract | |
1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
CREATE_CONTRACT | |
1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
crEntryPoint | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
CryptoParseCryptoError | Tezos.Crypto.Util, Tezos.Crypto |
CryptoParseError | Tezos.Crypto.Util, Tezos.Crypto |
CryptoParseUnexpectedLength | Tezos.Crypto.Util, Tezos.Crypto |
CryptoParseWrongBase58Check | Tezos.Crypto.Util, Tezos.Crypto |
CryptoParseWrongTag | Tezos.Crypto.Util, Tezos.Crypto |
csBalance | Michelson.Runtime.GState, Michelson.Runtime |
csContract | Michelson.Runtime.GState, Michelson.Runtime |
csStorage | Michelson.Runtime.GState, Michelson.Runtime |
csTypedContract | Michelson.Runtime.GState, Michelson.Runtime |
csTypedStorage | Michelson.Runtime.GState, Michelson.Runtime |
CtorEffectsApp | |
1 (Type/Class) | Michelson.Typed.Util, Michelson.Typed |
2 (Data Constructor) | Michelson.Typed.Util, Michelson.Typed |
CtorField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
CtorHasOnlyField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
CtorOnlyField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
CustomParserException | Michelson.Parser.Error, Michelson.Parser |
customTypeDocMdReference | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
CustomValidationError | Michelson.Test.Integrational |
cutInstrNonDoc | Michelson.Typed.Doc, Michelson.Typed |