Documentation for dhall (0.5.0)

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

AbsolutePath (Dhall::Import)
AbsolutePath (Dhall::Parser)
AllOf (Dhall::Util)
And (Dhall::Operator)
AnnotatedExpression (Dhall::Parser)
AnnotatedExpressionList (Dhall::AsDhall)
AnnotatedIf (Dhall::TypeChecker::If)
AnnotatedList (Dhall::TypeChecker::List)
AnnotatedMerge (Dhall::TypeChecker::Merge)
AnonymousType (Dhall::TypeChecker)
Application (Dhall)
Application (Dhall::TypeChecker)
ApplicationExpression (Dhall::Parser)
ArrayAllTheSame (Dhall::Util)
ArrayOf (Dhall::Util)
ArrayResolver (Dhall::ExpressionResolver)
AsDhall (Dhall)
AsLocation (Dhall::Import)
Assertion (Dhall)
Assertion (Dhall::TypeChecker)
Authority (Dhall::Parser)

B

Bool (Dhall)
Bool (Dhall::Builtins)
Builtin (Dhall::Parser)
Builtin (Dhall::TypeChecker)
Builtin (Dhall)
BuiltinFunction (Dhall)
Builtins (Dhall)

C

Chunks (Dhall::TypeChecker::TextLiteral)
Coder (Dhall)
CompleteExpression (Dhall::Parser)
Context (Dhall::TypeChecker)

D

Deadline (Dhall::Util)
Default (Dhall::Resolvers)
Dhall
Double (Dhall::Builtins)
Double (Dhall)
DoubleQuoteChunk (Dhall::Parser)
DoubleQuoteEscaped (Dhall::Parser)
DoubleQuoteLiteral (Dhall::Parser)
Double_show (Dhall::Builtins)

E

Empty (Dhall::AsDhall::ExpressionList)
EmptyAnonymousType (Dhall::TypeChecker)
EmptyList (Dhall)
EmptyList (Dhall::TypeChecker)
EmptyRecord (Dhall)
EmptyRecord (Dhall::TypeChecker)
EmptyRecordLiteral (Dhall::Parser)
EmptyRecordProjection (Dhall)
EmptyRecordType (Dhall)
EmptyRecordType (Dhall::Parser)
EmptyUnionType (Dhall::Parser)
EndOfLine (Dhall::Parser)
Enum (Dhall::TypeChecker)
Enum (Dhall)
Env (Dhall::Parser)
EnvironmentVariable (Dhall::Import)
Equal (Dhall::Operator)
Equivalent (Dhall::Operator)
EscapedInterpolation (Dhall::Parser)
EscapedQuotePair (Dhall::Parser)
Expression (Dhall)
Expression (Dhall::Parser)
Expression (Dhall::Import)
ExpressionList (Dhall::AsDhall)
ExpressionResolver (Dhall)
ExpressionVisitor (Dhall)

F

FailureException (Dhall::Import::IntegrityCheck)
FallbackResolver (Dhall::ExpressionResolver)
FetchFromMerge (Dhall::Operator)
FirstApplicationExpression (Dhall::Parser)
Forall (Dhall::TypeChecker)
Forall (Dhall)
Function (Dhall::TypeChecker)
Function (Dhall)
FunctionKind (Dhall::TypeChecker::Forall)
FunctionProxy (Dhall)
FunctionProxyRaw (Dhall)

H

Handlers (Dhall::TypeChecker::Merge)
Hash (Dhall::Parser)
HashOf (Dhall::Util)
HashResolver (Dhall::ExpressionResolver)
HerePath (Dhall::Parser)
HomePath (Dhall::Parser)
Http (Dhall::Import)
Http (Dhall::Parser)
Https (Dhall::Import)

I

IdentityResolver (Dhall::ExpressionResolver)
If (Dhall::TypeChecker)
If (Dhall)
Import (Dhall)
Import (Dhall::Parser)
ImportAsLocationResolver (Dhall::ExpressionResolver)
ImportBannedException (Dhall)
ImportFailedException (Dhall)
ImportFallback (Dhall::Operator)
ImportHashed (Dhall::Parser)
ImportLoopException (Dhall)
ImportResolver (Dhall::ExpressionResolver)
InitWith (Dhall::Coder)
Integer (Dhall::Builtins)
Integer (Dhall)
IntegerLiteral (Dhall::Parser)
Integer_show (Dhall::Builtins)
Integer_toDouble (Dhall::Builtins)
IntegrityCheck (Dhall::Import)
Interpolation (Dhall::Parser)
IsList (Dhall::TypeChecker::OperatorListConcatenate)

K

Kind (Dhall::Builtins)

L

Label (Dhall::Parser)
LazyPromise (Dhall::Util)
Let (Dhall)
LetBinding (Dhall::Parser)
LetBlock (Dhall)
LetIn (Dhall::TypeChecker)
LetIn (Dhall)
LetInAnnotated (Dhall::TypeChecker)
List (Dhall::Builtins)
List (Dhall::TypeChecker)
List (Dhall)
ListConcatenate (Dhall::Operator)
List_build (Dhall::Builtins)
List_fold (Dhall::Builtins)
List_head (Dhall::Builtins)
List_indexed (Dhall::Builtins)
List_last (Dhall::Builtins)
List_length (Dhall::Builtins)
List_reverse (Dhall::Builtins)
Literal (Dhall::TypeChecker)
LocalOnly (Dhall::Resolvers)

M

Merge (Dhall::TypeChecker)
Merge (Dhall)
MinusInfinityLiteral (Dhall::Parser)
Missing (Dhall::Parser)
MissingImport (Dhall::Import)
Mono (Dhall::AsDhall::ExpressionList)

N

Nan (Dhall::Parser)
Natural (Dhall)
Natural (Dhall::Builtins)
NaturalLiteral (Dhall::Parser)
Natural_build (Dhall::Builtins)
Natural_even (Dhall::Builtins)
Natural_fold (Dhall::Builtins)
Natural_isZero (Dhall::Builtins)
Natural_odd (Dhall::Builtins)
Natural_show (Dhall::Builtins)
Natural_subtract (Dhall::Builtins)
Natural_toInteger (Dhall::Builtins)
NoCache (Dhall::Resolvers)
NoDeadline (Dhall::Util)
NoIntegrityCheck (Dhall::Import)
NonEmptyListLiteral (Dhall::Parser)
NonEmptyRecordLiteral (Dhall::Parser)
NonEmptyRecordType (Dhall::Parser)
NonEmptyRecordTypeOrLiteral (Dhall::Parser)
NonEmptyUnionType (Dhall::Parser)
None (Dhall::Resolvers)
None (Dhall::Builtins)
NonreservedLabel (Dhall::Parser)
Not (Dhall::Util)
NotEqual (Dhall::Operator)
NumericDoubleLiteral (Dhall::Parser)

O

Operator (Dhall)
Operator (Dhall::TypeChecker)
OperatorEquivalent (Dhall::TypeChecker)
OperatorListConcatenate (Dhall::TypeChecker)
OperatorRecursiveRecordMerge (Dhall::TypeChecker)
OperatorRecursiveRecordTypeMerge (Dhall::TypeChecker)
OperatorRightBiasedRecordMerge (Dhall::TypeChecker)
Optional (Dhall::AsDhall::ExpressionList)
Optional (Dhall)
Optional (Dhall::Builtins)
Optional (Dhall::TypeChecker)
OptionalNone (Dhall)
OptionalNone (Dhall::TypeChecker)
Optional_build (Dhall::Builtins)
Optional_fold (Dhall::Builtins)
Or (Dhall::Operator)

P

ParentPath (Dhall::Parser)
Parser (Dhall)
Path (Dhall::Import)
Path (Dhall::Parser)
PathComponent (Dhall::Parser)
Plus (Dhall::Operator)
PlusInfinityLiteral (Dhall::Parser)
Polymorphic (Dhall::TypeChecker::Forall::FunctionKind)
PosixEnvironmentVariable (Dhall::Parser)
PosixEnvironmentVariableCharacter (Dhall::Parser)
PrimitiveExpression (Dhall::Parser)

Q

Quoted (Dhall::Parser::Label)

R

RamCache (Dhall::Resolvers)
ReadPathAndIPFSSources (Dhall::Resolvers)
Record (Dhall::TypeChecker)
Record (Dhall)
RecordLiteralEntry (Dhall::Parser)
RecordProjection (Dhall::TypeChecker)
RecordProjection (Dhall)
RecordProjectionByExpression (Dhall::TypeChecker)
RecordProjectionByExpression (Dhall)
RecordResolver (Dhall::ExpressionResolver)
RecordSelection (Dhall::TypeChecker)
RecordSelection (Dhall)
RecordType (Dhall)
RecursiveRecordMerge (Dhall::Operator)
RecursiveRecordTypeMerge (Dhall::Operator)
RelativePath (Dhall::Import)
RelativeToHomePath (Dhall::Import)
RelativeToParentPath (Dhall::Import)
ResolutionSet (Dhall::Resolvers)
Resolvers (Dhall)
RightBiasedRecordMerge (Dhall::Operator)
RubyObjectRaw (Dhall)

S

Scheme (Dhall::Parser)
Selector (Dhall::TypeChecker::RecordSelection)
Selector (Dhall::Parser)
SelectorExpression (Dhall::Parser)
SingleQuoteContinue (Dhall::Parser)
SingleQuoteLiteral (Dhall::Parser)
Sort (Dhall::Builtins)
SourceWithDeadline (Dhall::Resolvers)
Standard (Dhall::Resolvers)
StandardFileCache (Dhall::Resolvers)

T

Term (Dhall::TypeChecker::Forall::FunctionKind)
Text (Dhall::Builtins)
Text (Dhall::Import)
Text (Dhall)
TextConcatenate (Dhall::Operator)
TextLiteral (Dhall::TypeChecker)
TextLiteral (Dhall)
Text_show (Dhall::Builtins)
TimeoutException (Dhall)
Times (Dhall::Operator)
ToMap (Dhall::TypeChecker)
ToMap (Dhall)
ToRuby (Dhall::Coder)
Type (Dhall::Builtins)
TypeAnnotation (Dhall)
TypeAnnotation (Dhall::TypeChecker)
TypeChecker (Dhall)
TypeSelector (Dhall::TypeChecker::RecordSelection)
Types (Dhall)

U

URI (Dhall::Import)
Union (Dhall::TypeChecker)
Union (Dhall::AsDhall::ExpressionList)
Union (Dhall)
UnionInferer (Dhall::AsDhall)
UnionType (Dhall::TypeChecker)
UnionType (Dhall)
UnionTypeEntry (Dhall::Parser)
Unquoted (Dhall::Parser::Label)
UrlPath (Dhall::Parser)
Util (Dhall)

V

Variable (Dhall::TypeChecker)
Variable (Dhall)
Variable (Dhall::Parser)
Verifier (Dhall::Coder)