Index - C
| CAddress | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CADR | Michelson.Macro |
| CadrStruct | Michelson.Macro |
| CanBeCompared | Michelson.Typed.Scope, Michelson.Typed |
| CannotBeCompared | Michelson.Typed.Scope, Michelson.Typed |
| CAR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| 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 |
| castIgnoringPhantom | Util.Typeable |
| CBool | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CBytes | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| 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 |
| 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.Scope, Michelson.Typed |
| checkContractTypePresence | Michelson.Typed.Scope, Michelson.Typed |
| checkEqHST | Michelson.TypeCheck.Helpers |
| checkEqT | Michelson.TypeCheck.Helpers |
| 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 |
| CInt | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CKeyHash | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CMP | Michelson.Macro |
| cmpOp | Michelson.Parser.Instr |
| CMutez | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CNat | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| code | Michelson.Untyped.Contract, Michelson.Untyped |
| codeEntry | Michelson.Parser |
| coerceContractRef | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| comma | Michelson.Parser.Lexer |
| Comparability | Michelson.Typed.Scope, Michelson.Typed |
| comparabilityPresence | Michelson.Typed.Scope, Michelson.Typed |
| ComparabilityScope | Michelson.Typed.Scope, Michelson.Typed |
| Comparable | |
| 1 (Type/Class) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 3 (Type/Class) | Michelson.Typed.Scope, Michelson.Typed |
| comparable | Michelson.Parser.Type |
| 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 |
| 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 |
| compToType | Michelson.Untyped.Type, Michelson.Untyped |
| CONCAT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| CONCAT' | Michelson.Typed.Instr, Michelson.Typed |
| concatImpl | Michelson.TypeCheck.Helpers |
| concatImpl' | Michelson.TypeCheck.Helpers |
| 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 |
| 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 |
| 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 |
| 3 (Type/Class) | Michelson.Typed.Instr, Michelson.Typed |
| Contract' | Michelson.Untyped.Contract, Michelson.Untyped |
| ContractAbsent | Michelson.Typed.Scope, Michelson.Typed |
| ContractAddress | Tezos.Address |
| 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 |
| 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 |
| 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 |
| 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 |
| convertContract | 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 |
| CString | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| csTypedContract | Michelson.Runtime.GState, Michelson.Runtime |
| csTypedStorage | Michelson.Runtime.GState, Michelson.Runtime |
| CT | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CTimestamp | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| 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 |
| CvAddress | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CValue | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CvBool | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CvBytes | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CvInt | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CvKeyHash | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CvMutez | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CvNat | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CvString | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |
| CvTimestamp | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed |