morley-1.12.0: Developer tools for the Michelson Language

Index - C

CADRMichelson.Macro
CadrStructMichelson.Macro
CanBeComparedMichelson.Typed.Value, Michelson.Typed
CannotBeComparedMichelson.Typed.Value, Michelson.Typed
canonicalEntriesOrderMichelson.Untyped.Contract, Michelson.Untyped
CAR 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
CarArgumentMichelson.TypeCheck.Error, Michelson.TypeCheck
CASEMichelson.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
CaseClausesMichelson.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
CastMichelson.TypeCheck.Error, Michelson.TypeCheck
CastFieldConstructorsMichelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
castFieldConstructorsImplMichelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
castIgnoringPhantomUtil.Typeable
CBCodeMichelson.Untyped.Contract, Michelson.Untyped
CBParamMichelson.Untyped.Contract, Michelson.Untyped
CBStorageMichelson.Untyped.Contract, Michelson.Untyped
ccBalanceMichelson.Typed.Value, Michelson.Typed
ccContractCodeMichelson.Typed.Value, Michelson.Typed
ccDelegateMichelson.Typed.Value, Michelson.Typed
cCodeMichelson.Typed.Instr, Michelson.Typed
ccOriginatorMichelson.Typed.Value, Michelson.Typed
ccStorageValMichelson.Typed.Value, Michelson.Typed
cdContentsMichelson.Doc
cdContentsLMichelson.Doc
cdDefinitionIdsMichelson.Doc
cdDefinitionIdsLMichelson.Doc
cdDefinitionsMichelson.Doc
cdDefinitionsLMichelson.Doc
cdDefinitionsSetMichelson.Doc
cdDefinitionsSetLMichelson.Doc
CDR 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
CdrArgumentMichelson.TypeCheck.Error, Michelson.TypeCheck
ceaApplyEffectsMichelson.Typed.Util, Michelson.Typed
ceaBottomToTopMichelson.Typed.Util, Michelson.Typed
ceAmountMichelson.Interpret
ceaNameMichelson.Typed.Util, Michelson.Typed
ceBalanceMichelson.Interpret
ceChainIdMichelson.Interpret
ceContractsMichelson.Interpret
ceGlobalCounterMichelson.Interpret
ceLevelMichelson.Interpret
ceMaxStepsMichelson.Interpret
ceNowMichelson.Interpret
cEntriesOrderMichelson.Typed.Instr, Michelson.Typed
ceOperationHashMichelson.Interpret
ceSelfMichelson.Interpret
ceSenderMichelson.Interpret
ceSourceMichelson.Interpret
ChainIdTezos.Core
chainIdLengthTezos.Core
ChainIdUnsafeTezos.Core
CHAIN_ID 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
checkBigMapPresenceMichelson.Typed.Scope, Michelson.Typed
checkComparabilityMichelson.Typed.Value, Michelson.Typed
checkContractTypePresenceMichelson.Typed.Scope, Michelson.Typed
checkNestedBigMapsPresenceMichelson.Typed.Scope, Michelson.Typed
checkOpPresenceMichelson.Typed.Scope, Michelson.Typed
CheckScopeMichelson.Typed.Scope, Michelson.Typed
checkScopeMichelson.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
CMPMichelson.Macro
cmpOpMichelson.Parser.Instr
CodeAlwaysFailsMichelson.TypeCheck.Error, Michelson.TypeCheck
codeEntryMichelson.Parser
coerceContractRefMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
commaMichelson.Parser.Lexer
CommentTypeMichelson.Typed.Instr, Michelson.Typed
COMMENT_ITEMMichelson.Typed.Instr, Michelson.Typed
commutativityProofMichelson.Typed.Arith, Michelson.Typed
ComparabilityMichelson.Typed.Value, Michelson.Typed
comparabilityPresenceMichelson.Typed.Value, Michelson.Typed
ComparabilityScopeMichelson.Typed.Value, Michelson.Typed
ComparableMichelson.Typed.Value, Michelson.Typed
COMPARE 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
CompareMichelson.Typed.Arith, Michelson.Typed
compareExtUtil.Typeable
compareOpMichelson.Typed.Arith, Michelson.Typed
ComparisonArgumentsMichelson.TypeCheck.Error, Michelson.TypeCheck
compileEpLiftSequenceMichelson.Typed.Value, Michelson.Typed
ComposeCtorNotFoundMichelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed
ComposeFieldTypeMismatchMichelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed
ComposeOkMichelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed
ComposeResultMichelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed
CONCAT 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
CONCAT'Michelson.Typed.Instr, Michelson.Typed
ConcatArgumentMichelson.TypeCheck.Error, Michelson.TypeCheck
concatImplMichelson.TypeCheck.Helpers
concatImpl'Michelson.TypeCheck.Helpers
ConcatListOfTypesAssociativityUtil.Type
ConcatOpMichelson.Typed.Polymorphic, Michelson.Typed
concreteTypeDocHaskellRepMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
concreteTypeDocHaskellRepUnsafeMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
concreteTypeDocMichelsonRepMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
concreteTypeDocMichelsonRepUnsafeMichelson.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
ConsArgumentMichelson.TypeCheck.Error, Michelson.TypeCheck
ConstantScopeMichelson.Typed.Scope, Michelson.Typed
ConstantScope'Michelson.FailPattern
ConstraintDIGMichelson.Typed.Instr, Michelson.Typed
ConstraintDIG'Michelson.Typed.Instr, Michelson.Typed
ConstraintDIPNMichelson.Typed.Instr, Michelson.Typed
ConstraintDIPN'Michelson.Typed.Instr, Michelson.Typed
ConstraintDUGMichelson.Typed.Instr, Michelson.Typed
ConstraintDUG'Michelson.Typed.Instr, Michelson.Typed
CONSTRUCTMichelson.Macro
ConstructorFieldNamesMichelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
ConstructorFieldTypesMichelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
ConstructorRep 
1 (Type/Class)Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
2 (Data Constructor)Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
ContainerKeyTypeMichelson.TypeCheck.Error, Michelson.TypeCheck
ContainerValueTypeMichelson.TypeCheck.Error, Michelson.TypeCheck
ContainsBigMapMichelson.Typed.Scope, Michelson.Typed
ContainsDocMichelson.Doc
ContainsNestedBigMapsMichelson.Typed.Scope, Michelson.Typed
ContainsUpdateableDocMichelson.Doc
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
3 (Type/Class)Michelson.Typed.Instr, Michelson.Typed
4 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
Contract'Michelson.Untyped.Contract, Michelson.Untyped
ContractAbsentMichelson.Typed.Scope, Michelson.Typed
ContractAddressTezos.Address
ContractBlockMichelson.Untyped.Contract, Michelson.Untyped
ContractCodeMichelson.Typed.Instr, Michelson.Typed
contractCodeMichelson.Untyped.Contract, Michelson.Untyped
ContractDoc 
1 (Type/Class)Michelson.Doc
2 (Data Constructor)Michelson.Doc
contractDocToMarkdownMichelson.Doc
contractDocToTocMichelson.Doc
ContractEnv 
1 (Type/Class)Michelson.Interpret
2 (Data Constructor)Michelson.Interpret
contractFileOptionMorley.CLI
ContractHash 
1 (Type/Class)Tezos.Address
2 (Data Constructor)Tezos.Address
ContractInpMichelson.Typed.Value, Michelson.Typed
ContractInp1Michelson.Typed.Value, Michelson.Typed
contractOpSizeMichelson.Typed.OpSize, Michelson.Typed
ContractOutMichelson.Typed.Value, Michelson.Typed
ContractOut1Michelson.Typed.Value, Michelson.Typed
ContractParameterMichelson.TypeCheck.Error, Michelson.TypeCheck
contractParameterMichelson.Untyped.Contract, Michelson.Untyped
ContractPresenceMichelson.Typed.Scope, Michelson.Typed
ContractPresentMichelson.Typed.Scope, Michelson.Typed
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
contractRefToAddrMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
ContractReturnMichelson.Interpret
ContractState 
1 (Type/Class)Michelson.Runtime.GState, Michelson.Runtime
2 (Data Constructor)Michelson.Runtime.GState, Michelson.Runtime
ContractStorageMichelson.TypeCheck.Error, Michelson.TypeCheck
contractStorageMichelson.Untyped.Contract, Michelson.Untyped
contractTypeAbsenseMichelson.Typed.Scope, Michelson.Typed
convAnnMichelson.Untyped.Annotation, Michelson.Untyped
convergeMichelson.Typed.Annotation, Michelson.Typed
convergeAnnsMichelson.Typed.Annotation, Michelson.Typed
convergeArithMichelson.Typed.Arith, Michelson.Typed
convergeEDivMichelson.Typed.Polymorphic, Michelson.Typed
convergeHSTMichelson.TypeCheck.Helpers
convergeHSTElMichelson.TypeCheck.Helpers
convertContractMichelson.Typed.Convert, Michelson.Typed
convertContractCodeMichelson.Typed.Convert, Michelson.Typed
convertParamNotesMichelson.Typed.Convert, Michelson.Typed
cParamNotesMichelson.Typed.Instr, Michelson.Typed
CPSMichelson.Untyped.Contract, Michelson.Untyped
crAddressMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
crDescriptionMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
crDescriptionLMichelson.Typed.Haskell.Doc, 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
crEntrypointMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
crFieldsMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
crFieldsLMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
crNameMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
crNameLMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
CryptoParseBinaryErrorTezos.Crypto.Util, Tezos.Crypto
CryptoParseCryptoErrorTezos.Crypto.Util, Tezos.Crypto
CryptoParseErrorTezos.Crypto.Util, Tezos.Crypto
CryptoParseUnexpectedLengthTezos.Crypto.Util, Tezos.Crypto
CryptoParseWrongBase58CheckTezos.Crypto.Util, Tezos.Crypto
CryptoParseWrongTagTezos.Crypto.Util, Tezos.Crypto
csBalanceMichelson.Runtime.GState, Michelson.Runtime
csContractMichelson.Runtime.GState, Michelson.Runtime
CSPMichelson.Untyped.Contract, Michelson.Untyped
csStorageMichelson.Runtime.GState, Michelson.Runtime
cStoreNotesMichelson.Typed.Instr, Michelson.Typed
cstrUtil.CustomGeneric
CtorEffectsApp 
1 (Type/Class)Michelson.Typed.Util, Michelson.Typed
2 (Data Constructor)Michelson.Typed.Util, Michelson.Typed
CtorFieldMichelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
CtorHasOnlyFieldMichelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
CtorOnlyFieldMichelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
customGenericUtil.CustomGeneric
customGeneric'Util.CustomGeneric
CustomParserExceptionMichelson.Parser.Error, Michelson.Parser
customTypeDocMdReferenceMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
cutInstrNonDocMichelson.Typed.Doc, Michelson.Typed