dhall-1.24.0: A configuration language guaranteed to terminate

Index

>$<Dhall
>*<Dhall
>|<Dhall
AbsoluteDhall.Core
absurdDhall.TypeCheck
actualHashDhall.Import
AllImportsDhall.Freeze
all_Dhall.Main
alphaDhall.Main
alphaNormalizeDhall.Core
AlternativeAnnotationMismatchDhall.TypeCheck
AnnDhall.Pretty
AnnotDhall.Core
annotateDhall.Main
annotationDhall.Core
AnnotMismatchDhall.TypeCheck
annToAnsiStyleDhall.Pretty
AppDhall.Core
appendDhall.Set
ASCIIDhall.Pretty
asciiDhall.Main
assertNoImportsDhall.Import
authorityDhall.Core
autoDhall
autoWithDhall
Binding 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
BoolDhall.Core
boolDhall
BoolAndDhall.Core
BoolEQDhall.Core
BoolIfDhall.Core
BoolLitDhall.Core
BoolNEDhall.Core
BoolOrDhall.Core
BuiltinDhall.Pretty
CacheDhall.Freeze
cache 
1 (Function)Dhall.Import
2 (Function)Dhall.Main
cacherDhall.Import
CantAccessDhall.TypeCheck
CantAddDhall.TypeCheck
CantAndDhall.TypeCheck
CantEQDhall.TypeCheck
CantInterpolateDhall.TypeCheck
CantListAppendDhall.TypeCheck
CantMultiplyDhall.TypeCheck
CantNEDhall.TypeCheck
CantOrDhall.TypeCheck
CantProjectDhall.TypeCheck
CantProjectByExpressionDhall.TypeCheck
CantTextAppendDhall.TypeCheck
CBORIsNotDhallDhall.Binary
CharacterSetDhall.Pretty
characterSetDhall.Format
CheckDhall.Format
checkContextDhall.TypeCheck
chunkExprsDhall.Core
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
constructorDhall
constructorModifierDhall
ConstructorsRequiresAUnionTypeDhall.TypeCheck
ContextDhall.Context
contextDhall.TypeCheck
currentDhall.TypeCheck
Cycle 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
cyclicImportDhall.Import
declaredDhall
DecodeDhall.Main
decodeDhall.Binary
decodeExpressionDhall.Binary
DecodingFailureDhall.Binary
DefaultDhall.Main
defaultEvaluateSettingsDhall
defaultInputSettingsDhall
defaultInterpretOptionsDhall
defaultStandardVersionDhall.Binary
deleteDhall.Map
denoteDhall.Core
detailedDhall
DetailedTypeError 
1 (Type/Class)Dhall.TypeCheck
2 (Data Constructor)Dhall.TypeCheck
Diff 
1 (Type/Class)Dhall.Diff
2 (Data Constructor)Dhall.Diff
3 (Data Constructor)Dhall.Main
diffDhall.Diff
difference 
1 (Function)Dhall.Map
2 (Function)Dhall.Set
diffExpressionDhall.Diff
diffNormalizedDhall.Diff
Directory 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
directoryDhall.Core
docDhall.Diff
DoubleDhall.Core
doubleDhall
DoubleLitDhall.Core
DoubleShowDhall.Core
DuplicateAlternativeDhall.TypeCheck
EmbedDhall.Core
embedDhall
empty 
1 (Function)Dhall.Context
2 (Function)Dhall.Set
emptyStatusDhall.Import
EncodeDhall.Main
encodeDhall.Binary
encodeExpressionDhall.Binary
EnvDhall.Core
escapeTextDhall.Core
EvaluateSettingsDhall
expectedDhall
expectedHashDhall.Import
explainDhall.Main
ExprDhall.Core
exprDhall.Parser
expr1Dhall.Main
expr2Dhall.Main
exprADhall.Parser
exprAndHeaderFromTextDhall.Parser
exprFromImportDhall.Import
exprFromTextDhall.Parser
exprToImportDhall.Import
extractDhall
FieldDhall.Core
fieldDhall
FieldAnnotationMismatchDhall.TypeCheck
FieldCollisionDhall.TypeCheck
FieldMismatchDhall.TypeCheck
fieldModifierDhall
File 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
file 
1 (Function)Dhall.Core
2 (Function)Dhall.Main
FilePrefixDhall.Core
filterDhall.Map
foldMapWithKeyDhall.Map
Format 
1 (Type/Class)Dhall.Format
2 (Data Constructor)Dhall.Format
3 (Data Constructor)Dhall.Main
formatDhall.Format
FormatModeDhall.Format
formatMode 
1 (Function)Dhall.Format
2 (Function)Dhall.Main
freeInDhall.Core
FreezeDhall.Main
freezeDhall.Freeze
freezeImportDhall.Freeze
freezeRemoteImportDhall.Freeze
fromList 
1 (Function)Dhall.Map
2 (Function)Dhall.Set
FromTermDhall.Binary
GenericDhall
genericAutoDhall
genericAutoWithDhall
GenericInjectDhall
genericInjectDhall
genericInjectWithDhall
GenericInterpretDhall
getReifiedNormalizerDhall.Core
HandlerInputTypeMismatchDhall.TypeCheck
HandlerNotAFunctionDhall.TypeCheck
HandlerOutputTypeMismatchDhall.TypeCheck
HasEvaluateSettingsDhall
HashDhall.Main
hash 
1 (Function)Dhall.Core
2 (Function)Dhall.Hash
hashExpressionDhall.Import
hashExpressionToCodeDhall.Import
HashMismatch 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
headersDhall.Core
HereDhall.Core
HomeDhall.Core
HTTPDhall.Core
HTTPSDhall.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
ImportResolutionDisabled 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
importStackDhall.Import
ImportTypeDhall.Core
importTypeDhall.Core
InjectDhall
injectDhall
injectWithDhall
inplace 
1 (Function)Dhall.Format
2 (Function)Dhall.Main
input 
1 (Function)Dhall.Parser
2 (Function)Dhall
inputConstructorDhall
inputConstructorWithDhall
inputExprDhall
inputExprWithSettingsDhall
inputFieldDhall
inputFieldWithDhall
inputFileDhall
inputFileWithSettingsDhall
inputNormalizerDhall
inputRecordDhall
InputSettingsDhall
InputType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
inputUnionDhall
inputWithSettingsDhall
insert 
1 (Function)Dhall.Context
2 (Function)Dhall.Map
insertWithDhall.Map
IntegerDhall.Core
integerDhall
IntegerLitDhall.Core
IntegerShowDhall.Core
IntegerToDoubleDhall.Core
IntentDhall.Freeze
internalErrorDhall.Core
InterpretDhall
InterpretOptions 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
intersectionDhall.Map
intersectionWithDhall.Map
InvalidAlternativeDhall.TypeCheck
InvalidAlternativeTypeDhall.TypeCheck
InvalidFieldDhall.TypeCheck
InvalidFieldTypeDhall.TypeCheck
InvalidHandlerOutputTypeDhall.TypeCheck
InvalidInputTypeDhall.TypeCheck
InvalidListElementDhall.TypeCheck
InvalidListTypeDhall.TypeCheck
InvalidOptionalElementDhall.TypeCheck
InvalidOptionalTypeDhall.TypeCheck
InvalidOutputTypeDhall.TypeCheck
InvalidPredicateDhall.TypeCheck
InvalidSomeDhall.TypeCheck
InvalidType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
invalidTypeExpectedDhall
invalidTypeExpressionDhall
isNormalizedDhall.Core
isNormalizedWithDhall.Core
isSortedDhall.Map
jsonDhall.Main
judgmentallyEqualDhall.Core
keysDhall.Map
KeywordDhall.Pretty
KindDhall.Core
LabelDhall.Pretty
LamDhall.Core
layoutOptsDhall.Pretty
lazyTextDhall
LetDhall.Core
LintDhall.Main
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
LocalDhall.Core
lookup 
1 (Function)Dhall.Context
2 (Function)Dhall.Map
mainDhall.Main
managerDhall.Import
MapDhall.Map
mapMaybeDhall.Map
mapMOfDhall.Optics
mapWithKeyDhall.Map
matchDhall.Context
maybeDhall
memberDhall.Map
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
ModeDhall.Main
modeDhall.Main
ModifyDhall.Format
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
NoneDhall.Core
NormalizeDhall.Main
normalizeDhall.Core
NormalizerDhall.Core
normalizer 
1 (Function)Dhall.Import
2 (Function)Dhall
NormalizerMDhall.Core
normalizeWithDhall.Core
normalizeWithMDhall.Core
NotAFunctionDhall.TypeCheck
NoteDhall.Core
NoVersionDhall.Binary
OnlyRemoteImportsDhall.Freeze
opaqueImportDhall.Import
OperatorDhall.Pretty
OptionalDhall.Core
OptionalBuildDhall.Core
OptionalFoldDhall.Core
OptionalLitDhall.Core
optionalLitToSomeNoneDhall.Lint
Options 
1 (Type/Class)Dhall.Main
2 (Data Constructor)Dhall.Main
pairDhall
ParentDhall.Core
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
parseStandardVersionDhall.Binary
path 
1 (Function)Dhall.Core
2 (Function)Dhall.Format
pathCharacterDhall.Core
PiDhall.Core
plainDhall.Main
PreferDhall.Core
prettyDhall.Core
prettyCharacterSetDhall.Pretty
prettyExprDhall.Pretty
PrettyHttpException 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
ProjectDhall.Core
queryDhall.Core
rawInputDhall
RawTextDhall.Core
RecordDhall.Core
recordDhall
RecordInputType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
RecordLitDhall.Core
RecordMismatchDhall.TypeCheck
RecordType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
RecordTypeMismatchDhall.TypeCheck
ReferentiallyOpaque 
1 (Type/Class)Dhall.Import
2 (Data Constructor)Dhall.Import
ReifiedNormalizer 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
RemoteDhall.Core
removeLetInLetDhall.Lint
removeUnusedBindingsDhall.Lint
renderStandardVersionDhall.Binary
ReplDhall.Main
replDhall.Repl
reservedIdentifiersDhall.Core
ResolveDhall.Main
resolveModeDhall.Main
resolverDhall.Import
rewriteMOfDhall.Optics
rewriteOfDhall.Optics
rootDirectoryDhall
sameDhall.Diff
SchemeDhall.Core
schemeDhall.Core
scientificDhall
ScopeDhall.Freeze
SecureDhall.Freeze
SeqDhall
sequenceDhall
Set 
1 (Type/Class)Dhall.Set
2 (Data Constructor)Dhall.Set
shiftDhall.Core
singletonDhall.Map
SomeDhall.Core
SortDhall.Core
sortDhall.Map
SourcedException 
1 (Type/Class)Dhall.Parser
2 (Data Constructor)Dhall.Parser
sourceNameDhall
Src 
1 (Type/Class)Dhall.Src, Dhall.Parser
2 (Data Constructor)Dhall.Src, Dhall.Parser
stackDhall.Import
StandardVersionDhall.Binary
standardVersion 
1 (Function)Dhall.Import
2 (Function)Dhall
3 (Function)Dhall.Main
startingContext 
1 (Function)Dhall.Import
2 (Function)Dhall
staticDhallExpressionDhall.TH
StatusDhall.Import
strictTextDhall
stringDhall
subExpressionsDhall.Core
substDhall.Core
SyntaxDhall.Pretty
Text 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall.Core
TextAppendDhall.Core
TextLitDhall.Core
TextShowDhall.Core
throwsDhall.Core
toList 
1 (Function)Dhall.Context
2 (Function)Dhall.Map
3 (Function)Dhall.Set
toMapDhall.Map
toSeqDhall.Set
toSetDhall.Set
ToTermDhall.Binary
transformMOfDhall.Optics
transformOfDhall.Optics
traverseWithKeyDhall.Map
traverseWithKey_Dhall.Map
Type 
1 (Data Constructor)Dhall.Core
2 (Type/Class)Dhall
3 (Data Constructor)Dhall
4 (Data Constructor)Dhall.Main
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
unconsDhall.Map
UnicodeDhall.Pretty
UnionDhall.Core
union 
1 (Function)Dhall.Map
2 (Function)Dhall
UnionInputType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
UnionLitDhall.Core
UnionType 
1 (Type/Class)Dhall
2 (Data Constructor)Dhall
unionWithDhall.Map
unitDhall
unorderedTraverseWithKey_Dhall.Map
unParserDhall.Parser
UntypedDhall.TypeCheck
UnusedHandlerDhall.TypeCheck
unwrapDhall.Parser
URL 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
VDhall.Core
valueDhall.Core
Var 
1 (Type/Class)Dhall.Core
2 (Data Constructor)Dhall.Core
variableDhall.Core
VectorDhall
vectorDhall
VersionDhall.Main
V_1_0_0Dhall.Binary
V_2_0_0Dhall.Binary
V_3_0_0Dhall.Binary
V_4_0_0Dhall.Binary
V_5_0_0Dhall.Binary
X 
1 (Type/Class)Dhall.TypeCheck
2 (Data Constructor)Dhall.TypeCheck