Documentation for finitio (0.12.0)

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

AdType (Finitio)
AdType (Finitio::Syntax)
AliasType (Finitio)
AnyType (Finitio)
AnyType (Finitio::Syntax)
ArithOp (Finitio::Syntax::Expr)
Attribute (Finitio)
Attribute (Finitio::Syntax)

B

Boolean (Finitio::Syntax::Literal)
BuiltinType (Finitio::Syntax)
BuiltinType (Finitio)

C

ClassHelpers (Finitio::Syntax::Node)
CollectionType (Finitio)
Comparison (Finitio::Syntax::Expr)
Compilation (Finitio)
Constant (Finitio::Generation::Heuristic)
Constraint (Finitio)
ConstraintDef (Finitio::Syntax)
Constraints (Finitio::Syntax)
Contract (Finitio::Syntax)
Contract (Finitio)

D

Definitions (Finitio::Syntax)
DressHelper (Finitio)

E

Error (Finitio::JsonSchema)
Error (Finitio)
Expr (Finitio::Syntax)
Expression (Finitio::Syntax)
ExternalPair (Finitio::Syntax)

F

FetchScope (Finitio)
Finitio
FnCall (Finitio::Syntax::Expr)

G

Generation (Finitio)

H

HashBasedType (Finitio)
Heading (Finitio::Syntax)
Heading (Finitio)
HeadingBasedType (Finitio)
HeadingExtra (Finitio::Syntax)
Heuristic (Finitio::Generation)
HighOrderType (Finitio)
HighOrderTypeInstantiation (Finitio::Syntax)
HighOrderVars (Finitio::Syntax)

I

Identifier (Finitio::Syntax::Expr)
Import (Finitio::Syntax)
Imports (Finitio::Syntax)
Inference (Finitio)
InlinePair (Finitio::Syntax)
Integer (Finitio::Syntax::Literal)

J

JsonSchema (Finitio)

L

LambdaExpr (Finitio::Syntax)
Literal (Finitio::Syntax::Expr)
Literal (Finitio::Syntax)
LogicDyadic (Finitio::Syntax::Expr)
LogicNot (Finitio::Syntax::Expr)

M

MainType (Finitio::Syntax)
Metadata (Finitio::Syntax)
Metadata (Finitio)
MetadataAttr (Finitio::Syntax)
MultiRelationType (Finitio)
MultiTupleType (Finitio)

N

NamedConstraint (Finitio::Syntax)
Node (Finitio::Syntax)

O

OOCall (Finitio::Syntax::Expr)

P

Parenthesized (Finitio::Syntax::Expr)
ProcWithCode (Finitio)
ProxyResolver (Finitio)
ProxyType (Finitio)

R

Random (Finitio::Generation::Heuristic)
Real (Finitio::Syntax::Literal)
RelBasedType (Finitio)
RelationType (Finitio)
RelationType (Finitio::Syntax)

S

SeqType (Finitio::Syntax)
SeqType (Finitio)
SetType (Finitio::Syntax)
SetType (Finitio)
String (Finitio::Syntax::Literal)
StructType (Finitio::Syntax)
StructType (Finitio)
SubType (Finitio::Syntax)
SubType (Finitio)
Support (Finitio)
Syntax (Finitio)
System (Finitio::Syntax)
System (Finitio)

T

TupleType (Finitio)
TupleType (Finitio::Syntax)
Type (Finitio)
TypeDef (Finitio::Syntax)
TypeError (Finitio)
TypeFactory (Finitio)
TypeRef (Finitio::Syntax)

U

UnaryMinusOp (Finitio::Syntax::Expr)
UnionType (Finitio)
UnionType (Finitio::Syntax)
UnnamedConstraint (Finitio::Syntax)

V

Version (Finitio)