dhall-1.15.1: A configuration language guaranteed to terminate

Index

AbsoluteDhall.Core
absurdDhall.TypeCheck
alphaNormalizeDhall.Core
AnnDhall.Pretty
AnnotDhall.Core
AnnotMismatchDhall.TypeCheck
annToAnsiStyleDhall.Pretty
AppDhall.Core
autoDhall
autoWithDhall
BoolDhall.Core
boolDhall
BoolAndDhall.Core
BoolEQDhall.Core
BoolIfDhall.Core
BoolLitDhall.Core
BoolNEDhall.Core
BoolOrDhall.Core
BuiltinDhall.Pretty
CantAddDhall.TypeCheck
CantAndDhall.TypeCheck
CantEQDhall.TypeCheck
CantInterpolateDhall.TypeCheck
CantListAppendDhall.TypeCheck
CantMultiplyDhall.TypeCheck
CantNEDhall.TypeCheck
CantOrDhall.TypeCheck
CantTextAppendDhall.TypeCheck
checkContextDhall.TypeCheck
Chunks 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
CodeDhall.Core
CombineDhall.Core
CombineTypesDhall.Core
CombineTypesRequiresRecordTypeDhall.TypeCheck
commandDhall.Main
componentsDhall.Core
Const 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
constructorModifierDhall
ConstructorsDhall.Core
ConstructorsRequiresAUnionTypeDhall.TypeCheck
ContextDhall.Context
contextDhall.TypeCheck
currentDhall.TypeCheck
Cycle 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
cyclicImportDhall.Import
declaredDhall
defaultInterpretOptionsDhall
denoteDhall.Core
detailedDhall
DetailedTypeError 
1 (Type/Class)Dhall.TypeCheck
2 (Data Constructor)Dhall.TypeCheck
diffDhall.Diff
diffNormalizedDhall.Diff
Directory 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
directoryDhall.Core
DoubleDhall.Core
doubleDhall
DoubleLitDhall.Core
DoubleShowDhall.Core
DuplicateAlternativeDhall.TypeCheck
EmbedDhall.Core
embedDhall
emptyDhall.Context
emptyStatusDhall.Import
EnvDhall.Core
escapeTextDhall.Core
expectedDhall
ExprDhall.Core
exprDhall.Parser
exprADhall.Parser
exprAndHeaderFromTextDhall.Parser
exprFromImportDhall.Import
exprFromTextDhall.Parser
extractDhall
FieldDhall.Core
fieldDhall
FieldAnnotationMismatchDhall.TypeCheck
FieldCollisionDhall.TypeCheck
FieldMismatchDhall.TypeCheck
fieldModifierDhall
File 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
fileDhall.Core
FilePrefixDhall.Core
formatDhall.Format
freeInDhall.Core
freezeDhall.Freeze
GenericDhall
genericAutoDhall
genericAutoWithDhall
GenericInjectDhall
genericInjectWithDhall
GenericInterpretDhall
HandlerInputTypeMismatchDhall.TypeCheck
HandlerNotAFunctionDhall.TypeCheck
HandlerOutputTypeMismatchDhall.TypeCheck
hash 
1 (Function)Dhall.Core
2 (Function)Dhall.Hash
hashExpressionDhall.Import
hashExpressionToCodeDhall.Import
hashImportDhall.Freeze
HereDhall.Core
HomeDhall.Core
IfBranchMismatchDhall.TypeCheck
IfBranchMustBeTermDhall.TypeCheck
Import 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
ImportAltDhall.Core
Imported 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
ImportHashed 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
importHashedDhall.Core
ImportModeDhall.Core
importModeDhall.Core
importStackDhall.Import
ImportTypeDhall.Core
importTypeDhall.Core
InjectDhall
injectDhall
injectWithDhall
input 
1 (Function)Dhall.Parser
2 (Function)Dhall
inputExprDhall
inputExprWithDhall
inputFromDhall
inputFromWithDhall
InputType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
inputWithDhall
insertDhall.Context
IntegerDhall.Core
integerDhall
IntegerLitDhall.Core
IntegerShowDhall.Core
IntegerToDoubleDhall.Core
internalErrorDhall.Core
InterpretDhall
InterpretOptions 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
InvalidAlternativeDhall.TypeCheck
InvalidAlternativeTypeDhall.TypeCheck
InvalidFieldDhall.TypeCheck
InvalidFieldTypeDhall.TypeCheck
InvalidHandlerOutputTypeDhall.TypeCheck
InvalidInputTypeDhall.TypeCheck
InvalidListElementDhall.TypeCheck
InvalidListTypeDhall.TypeCheck
InvalidOptionalElementDhall.TypeCheck
InvalidOptionalTypeDhall.TypeCheck
InvalidOutputTypeDhall.TypeCheck
InvalidPredicateDhall.TypeCheck
InvalidType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
isNormalizedDhall.Core
isNormalizedWithDhall.Core
judgmentallyEqualDhall.Core
KeywordDhall.Pretty
KindDhall.Core
LabelDhall.Pretty
LamDhall.Core
lazyTextDhall
LetDhall.Core
lintDhall.Lint
ListDhall.Core
listDhall
ListAppendDhall.Core
ListAppendMismatchDhall.TypeCheck
ListBuildDhall.Core
ListFoldDhall.Core
ListHeadDhall.Core
ListIndexedDhall.Core
ListLastDhall.Core
ListLengthDhall.Core
ListLitDhall.Core
ListReverseDhall.Core
LiteralDhall.Pretty
loadDhall.Import
loadWithDhall.Import
loadWithContextDhall.Import
LocalDhall.Core
lookupDhall.Context
mainDhall.Main
matchDhall.Context
maybeDhall
MergeDhall.Core
MismatchedListElementsDhall.TypeCheck
MissingDhall.Core
MissingEnvironmentVariable 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
MissingFieldDhall.TypeCheck
MissingFile 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
MissingHandlerDhall.TypeCheck
MissingImports 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
MissingListTypeDhall.TypeCheck
MissingMergeTypeDhall.TypeCheck
MustCombineARecordDhall.TypeCheck
MustMergeARecordDhall.TypeCheck
MustMergeUnionDhall.TypeCheck
nameDhall.Import
Natural 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall.Core
naturalDhall
NaturalBuildDhall.Core
NaturalEvenDhall.Core
NaturalFoldDhall.Core
NaturalIsZeroDhall.Core
NaturalLitDhall.Core
NaturalOddDhall.Core
NaturalPlusDhall.Core
NaturalShowDhall.Core
NaturalTimesDhall.Core
NaturalToIntegerDhall.Core
nestedDhall.Import
NoDependentTypesDhall.TypeCheck
normalizeDhall.Core
NormalizerDhall.Core
normalizeWithDhall.Core
NotAFunctionDhall.TypeCheck
NotARecordDhall.TypeCheck
NoteDhall.Core
opaqueImportDhall.Import
OperatorDhall.Pretty
OptionalDhall.Core
OptionalBuildDhall.Core
OptionalFoldDhall.Core
OptionalLitDhall.Core
pairDhall
ParseError 
1 (Type/Class)Dhall.Parser
2 (Data Constructor)Dhall.Parser
parseOptionsDhall.Main
Parser 
1 (Type/Class)Dhall.Parser
2 (Data Constructor)Dhall.Parser
parserInfoOptionsDhall.Main
PathDhall.Core
PiDhall.Core
PreferDhall.Core
prettyDhall.Core
prettyExprDhall.Pretty
PrettyHttpException 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
ProjectDhall.Core
rawInputDhall
RawTextDhall.Core
RecordDhall.Core
recordDhall
RecordLitDhall.Core
RecordType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
RecordTypeMismatchDhall.TypeCheck
ReferentiallyOpaque 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
replDhall.Repl
reservedIdentifiersDhall.Core
scientificDhall
SeqDhall
sequenceDhall
shiftDhall.Core
Src 
1 (Type/Class)Dhall.Parser
2 (Data Constructor)Dhall.Parser
staticDhallExpressionDhall.TH
Status 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
strictTextDhall
stringDhall
substDhall.Core
SyntaxDhall.Pretty
Text 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall.Core
TextAppendDhall.Core
TextLitDhall.Core
toListDhall.Context
Type 
1 (Data Constructor)Dhall.Core
2 (Type/Class)Dhall
3 (Data Constructor)Dhall
TypeError 
1 (Type/Class)Dhall.TypeCheck
2 (Data Constructor)Dhall.TypeCheck
TypeMessageDhall.TypeCheck
typeMessageDhall.TypeCheck
TypeMismatchDhall.TypeCheck
typeOfDhall.TypeCheck
TyperDhall.TypeCheck
typeWithDhall.TypeCheck
typeWithADhall.TypeCheck
UnboundVariableDhall.TypeCheck
UnionDhall.Core
UnionLitDhall.Core
unitDhall
unParserDhall.Parser
UntypedDhall.TypeCheck
UnusedHandlerDhall.TypeCheck
unwrapDhall.Parser
URLDhall.Core
VDhall.Core
Var 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
VectorDhall
vectorDhall
X 
1 (Type/Class)Dhall.TypeCheck
2 (Data Constructor)Dhall.TypeCheck
_cacheDhall.Import
_managerDhall.Import
_stackDhall.Import