ddc-core-0.4.2.1: Disciplined Disciple Compiler core language and type checker.

Index - I

ImplicitBoxDDC.Core.Fragment
ImplicitRunDDC.Core.Fragment
ImportCapDDC.Core.Module
ImportCapAbstractDDC.Core.Module
importCapAbstractTypeDDC.Core.Module
ImportTypeDDC.Core.Module
ImportTypeAbstractDDC.Core.Module
importTypeAbstractTypeDDC.Core.Module
ImportTypeBoxedDDC.Core.Module
importTypeBoxedDDC.Core.Module
ImportValueDDC.Core.Module
ImportValueModuleDDC.Core.Module
importValueModuleArityDDC.Core.Module
importValueModuleNameDDC.Core.Module
importValueModuleTypeDDC.Core.Module
importValueModuleVarDDC.Core.Module
ImportValueSeaDDC.Core.Module
importValueSeaTypeDDC.Core.Module
importValueSeaVarDDC.Core.Module
indentDDC.Core.Pretty
insertDDC.Type.Sum
insertDataDefDDC.Type.DataDef
instantiateTDDC.Type.Transform.Instantiate
instantiateTsDDC.Type.Transform.Instantiate
intDDC.Core.Pretty
integerDDC.Core.Pretty
isAlgDataTypeDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isAllocEffectDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isAtomRDDC.Core.Exp.Generic.Predicates
isAtomTDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isAtomW 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isAtomX 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isBAnonDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isBNameDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isBNoneDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isBotDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isBoundExpWitDDC.Type.Collect
isClosureKindDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isConBodyDDC.Core.Lexer.Names, DDC.Core.Lexer
isConNameDDC.Core.Lexer.Names, DDC.Core.Lexer
isConsBoxDDC.Core.Call
isConStartDDC.Core.Lexer.Names, DDC.Core.Lexer
isConstWitTypeDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isConsTypeDDC.Core.Call
isConsValueDDC.Core.Call
isDataKindDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isDistinctWitTypeDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isEffectKindDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isElimRunDDC.Core.Call
isElimTypeDDC.Core.Call
isElimValueDDC.Core.Call
isLambdaXDDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
isLitBodyDDC.Core.Lexer.Names, DDC.Core.Lexer
isLitNameDDC.Core.Lexer.Names, DDC.Core.Lexer
isLitStartDDC.Core.Lexer.Names, DDC.Core.Lexer
isMainModuleDDC.Core.Module
isMainModuleNameDDC.Core.Module
isMutableWitTypeDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isOpBodyDDC.Core.Lexer.Names, DDC.Core.Lexer
isOpNameDDC.Core.Lexer.Names, DDC.Core.Lexer
isOpStartDDC.Core.Lexer.Names, DDC.Core.Lexer
isPDefault 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isPrimDDC.Type.Env
isReadEffectDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isRegionKindDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isSimpleRDDC.Core.Exp.Generic.Pretty
isSimpleXDDC.Core.Exp.Generic.Pretty
isSomeAllocEffectDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isSomeReadEffectDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isSomeWriteEffectDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isTExistsDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isTopLetCtxDDC.Core.Exp.Annot.Ctx
isTVarDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isVarBodyDDC.Core.Lexer.Names, DDC.Core.Lexer
isVarNameDDC.Core.Lexer.Names, DDC.Core.Lexer
isVarStartDDC.Core.Lexer.Names, DDC.Core.Lexer
isWitnessKindDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isWitnessTypeDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isWriteEffectDDC.Type.Predicates, DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Generic.Predicates, DDC.Core.Exp.Annot
isXAbsDDC.Core.Exp.Generic.Predicates
isXApp 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isXCastDDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
isXCastBoxDDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
isXCastRunDDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
isXCon 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isXLAM 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isXLam 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isXLet 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isXTypeDDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
isXVar 
1 (Function)DDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot
2 (Function)DDC.Core.Exp.Generic.Predicates
isXWitnessDDC.Core.Exp.Annot.Predicates, DDC.Core.Exp.Annot