A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
#
$
%
&
+
.
/
<
=
>
?
|
-
~
_
All

Index - C

caar	Lorentz.Macro, Lorentz
CAddress	Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed
CADR	Michelson.Macro
cadr	Lorentz.Macro, Lorentz
CadrStruct	Michelson.Macro
Call	Lorentz.EntryPoints.Core, Lorentz.EntryPoints, Lorentz
CallDefault	Lorentz.EntryPoints.Core, Lorentz.EntryPoints, Lorentz
CanBeCompared	Michelson.Typed.Scope, Michelson.Typed
CanCastTo	Lorentz.Coercions, Lorentz
CanHaveBigMap	Lorentz.Constraints.Scopes, Lorentz.Constraints, Lorentz
CanHaveEntryPoints	Lorentz.EntryPoints.Helpers
CannotBeCompared	Michelson.Typed.Scope, Michelson.Typed
CAR
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
car	Lorentz.Instr, Lorentz
CASE	Michelson.Macro
CaseArrow	Lorentz.ADT, Lorentz
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
CaseClauseL
1 (Type/Class)	Lorentz.ADT, Lorentz
2 (Data Constructor)	Lorentz.ADT, Lorentz
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
caseT	Lorentz.ADT, Lorentz
CaseTC	Lorentz.ADT, Lorentz
CaseUParam	Lorentz.UParam, Lorentz
caseUParam	Lorentz.UParam, Lorentz
caseUParamT	Lorentz.UParam, Lorentz
case_	Lorentz.ADT, Lorentz
CAST
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
cast	Lorentz.Instr, Lorentz
castDummy	Lorentz.Coercions, Lorentz
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
cdar	Lorentz.Macro, Lorentz
cdContents	Michelson.Doc, Lorentz.Doc, Lorentz
cdContentsL	Michelson.Doc
cdDefinitionIds	Michelson.Doc, Lorentz.Doc, Lorentz
cdDefinitionIdsL	Michelson.Doc
cdDefinitions	Michelson.Doc, Lorentz.Doc, Lorentz
cdDefinitionsL	Michelson.Doc
cdDefinitionsSet	Michelson.Doc, Lorentz.Doc, Lorentz
cdDefinitionsSetL	Michelson.Doc
cddr	Lorentz.Macro, Lorentz
CDR
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
cdr	Lorentz.Instr, Lorentz
ceaApplyEffects	Michelson.Typed.Util, Michelson.Typed
ceAmount	Michelson.Interpret
ceaName	Michelson.Typed.Util, Michelson.Typed
ceArg	Lorentz.Errors, Lorentz
ceBalance	Michelson.Interpret
ceChainId	Michelson.Interpret
ceContracts	Michelson.Interpret
ceMaxSteps	Michelson.Interpret
ceNow	Michelson.Interpret
ceSelf	Michelson.Interpret
ceSender	Michelson.Interpret
ceSource	Michelson.Interpret
ceTag	Lorentz.Errors, Lorentz
ChainId	Tezos.Core, Lorentz.Value, Lorentz
chainId	Lorentz.Instr, Lorentz
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
checkedCoerce	Lorentz.Coercions, Lorentz
checkedCoerce_	Lorentz.Coercions, Lorentz
checkedCoercing_	Lorentz.Coercions, Lorentz
checkEqHST	Michelson.TypeCheck.Helpers
checkEqT	Michelson.TypeCheck.Helpers
checkNestedBigMapsPresence	Michelson.Typed.Scope, Michelson.Typed
checkOpPresence	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
5 (Function)	Lorentz.Instr, Lorentz
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
clarifyParamBuildingSteps	Lorentz.EntryPoints.Doc, Lorentz
cloneX	Lorentz.Macro, Lorentz
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, Lorentz.Value, Lorentz
coerceUnwrap	Lorentz.Coercions, Lorentz
coerceWrap	Lorentz.Coercions, Lorentz
Coercible_	Lorentz.Coercions, Lorentz
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
compare	Lorentz.Instr, Lorentz
compareExt	Util.Typeable
compareOp	Michelson.Typed.Arith, Michelson.Typed
compiledMigrationContent	Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
compileEpLiftSequence	Michelson.Typed.Value, Michelson.Typed
compileLorentz	Lorentz.Run, Lorentz
compileLorentzContract	Lorentz.Run, Lorentz
compileMigration	Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
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
composeStoreFieldOps	Lorentz.StoreClass, Lorentz
composeStoreSubmapOps	Lorentz.StoreClass, Lorentz
composeValidators	Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test
composeValidatorsList	Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.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	Lorentz.Instr, Lorentz
CONCAT'	Michelson.Typed.Instr, Michelson.Typed
concat'	Lorentz.Instr, Lorentz
concatImpl	Michelson.TypeCheck.Helpers
concatImpl'	Michelson.TypeCheck.Helpers
ConcatOp	Michelson.Typed.Polymorphic, Michelson.Typed
ConcatOpHs	Lorentz.Polymorphic, Lorentz
concatTestTrees	Michelson.Test.Import, Michelson.Test
concreteTypeDocHaskellRep	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
concreteTypeDocHaskellRepUnsafe	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
concreteTypeDocMichelsonRep	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
concreteTypeDocMichelsonRepUnsafe	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
Condition	Lorentz.Rebinded, Lorentz
CONS
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
cons	Lorentz.Instr, Lorentz
ConstantScope	Michelson.Typed.Scope, Michelson.Typed
ConstrainedSome
1 (Type/Class)	Lorentz.UParam, Lorentz
2 (Data Constructor)	Lorentz.UParam, Lorentz
ConstraintDIG	Michelson.Typed.Instr, Michelson.Typed
ConstraintDIG'	Michelson.Typed.Instr, Michelson.Typed
ConstraintDIPN	Michelson.Typed.Instr, Michelson.Typed
ConstraintDIPN'	Michelson.Typed.Instr, Michelson.Typed
ConstraintDIPNLorentz	Lorentz.Instr, Lorentz
ConstraintDUG	Michelson.Typed.Instr, Michelson.Typed
ConstraintDUG'	Michelson.Typed.Instr, Michelson.Typed
CONSTRUCT	Michelson.Macro
construct	Lorentz.ADT, Lorentz
ConstructorFieldTypes	Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.ADT, Lorentz
ConstructorIndexNotFound	Lorentz.Extensible
constructT	Lorentz.ADT, Lorentz
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
4 (Type/Class)	Lorentz.Base, Lorentz
contract	Lorentz.Instr, Lorentz
Contract'	Michelson.Untyped.Contract, Michelson.Untyped
ContractAbsent	Michelson.Typed.Scope, Michelson.Typed
ContractAddress	Tezos.Address
contractCalling	Lorentz.Instr, Lorentz
contractCallingUnsafe	Lorentz.Instr, Lorentz
contractConsumer	Lorentz.Test.Consumer, Lorentz.Test
ContractDoc
1 (Type/Class)	Michelson.Doc, Lorentz.Doc, Lorentz
2 (Data Constructor)	Michelson.Doc, Lorentz.Doc, Lorentz
contractDocToMarkdown	Michelson.Doc, Lorentz.Doc, Lorentz
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
contractName	Lorentz.Doc, Lorentz
ContractOut
1 (Type/Class)	Michelson.Typed.Value, Michelson.Typed
2 (Type/Class)	Lorentz.Base, Lorentz
ContractOut1	Michelson.Typed.Value, Michelson.Typed
ContractPresence	Michelson.Typed.Scope, Michelson.Typed
ContractPresent	Michelson.Typed.Scope, Michelson.Typed
contractProp	Michelson.Test.Unit, Michelson.Test, Lorentz.Test
contractPropVal	Michelson.Test.Unit, Michelson.Test, Lorentz.Test
ContractPropValidator	Michelson.Test.Unit, Michelson.Test, Lorentz.Test
ContractRef
1 (Type/Class)	Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz
2 (Data Constructor)	Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz
ContractReturn	Michelson.Interpret, Michelson.Test.Unit, Michelson.Test, Lorentz.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
convertContractRef	Lorentz.Value, Lorentz
convertFullContract	Michelson.Typed.Convert, Michelson.Typed
CoverDiff	Lorentz.UStore.Migration.Diff
CoverDiffMany	Lorentz.UStore.Migration.Diff
crAddress	Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz
CreateContract
1 (Type/Class)	Michelson.Typed.Value, Michelson.Typed
2 (Data Constructor)	Michelson.Typed.Value, Michelson.Typed
createContract	Lorentz.Instr, Lorentz
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, Lorentz.Value, Lorentz
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
ctorNameToAnn	Lorentz.EntryPoints.Helpers
CtorOnlyField	Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
customErrArgumentSemantics	Lorentz.Errors, Lorentz
customErrClass	Lorentz.Errors, Lorentz
customErrDocMdCause	Lorentz.Errors, Lorentz
customErrDocMdCauseInEntrypoint	Lorentz.Errors, Lorentz
CustomError
1 (Type/Class)	Lorentz.Errors, Lorentz
2 (Data Constructor)	Lorentz.Errors, Lorentz
customErrorFromVal	Lorentz.Errors, Lorentz
CustomErrorHasDoc	Lorentz.Errors, Lorentz
CustomErrorNoIsoValue	Lorentz.Errors, Lorentz
customErrorToVal	Lorentz.Errors, Lorentz
CustomParserException	Michelson.Parser.Error, Michelson.Parser
customTypeDocMdReference	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
CustomValidationError	Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test
cutInstrNonDoc	Michelson.Typed.Doc, Michelson.Typed
cutLorentzNonDoc	Lorentz.Doc, Lorentz
CvAddress	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CValue	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CvBool	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CvBytes	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CvInt	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CvKeyHash	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CvMutez	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CvNat	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CvString	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz
CvTimestamp	Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz