TArr | Inferno.Types.Syntax, Inferno.Types.Type |
TArray | Inferno.Types.Syntax, Inferno.Types.Type |
TBase | Inferno.Types.Syntax, Inferno.Types.Type |
TCons | Inferno.Types.Syntax |
TCScheme | Inferno.Types.Type |
TDouble | Inferno.Types.Syntax, Inferno.Types.Type |
TEnum | Inferno.Types.Syntax, Inferno.Types.Type |
TInt | Inferno.Types.Syntax, Inferno.Types.Type |
TList | Inferno.Types.Syntax |
tListFromList | Inferno.Types.Syntax |
tListToList | Inferno.Types.Syntax |
TNil | Inferno.Types.Syntax |
toEitherList | Inferno.Types.Syntax |
TOptional | Inferno.Types.Syntax, Inferno.Types.Type |
TRep | Inferno.Types.Syntax, Inferno.Types.Type |
TResolution | Inferno.Types.Syntax, Inferno.Types.Type |
TSeries | Inferno.Types.Syntax, Inferno.Types.Type |
TText | Inferno.Types.Syntax, Inferno.Types.Type |
TTime | Inferno.Types.Syntax, Inferno.Types.Type |
TTimeDiff | Inferno.Types.Syntax, Inferno.Types.Type |
TTuple | Inferno.Types.Syntax, Inferno.Types.Type |
Tuple | Inferno.Types.Syntax |
Tuple_ | Inferno.Types.Syntax |
TV | |
1 (Type/Class) | Inferno.Types.Syntax, Inferno.Types.Type |
2 (Data Constructor) | Inferno.Types.Syntax, Inferno.Types.Type |
TVar | Inferno.Types.Syntax, Inferno.Types.Type |
TWord16 | Inferno.Types.Syntax, Inferno.Types.Type |
TWord32 | Inferno.Types.Syntax, Inferno.Types.Type |
TWord64 | Inferno.Types.Syntax, Inferno.Types.Type |
ty | Inferno.Types.Type |
typeBool | Inferno.Types.Type |
TypeClass | |
1 (Type/Class) | Inferno.Types.Type |
2 (Data Constructor) | Inferno.Types.Type |
TypeClassShape | |
1 (Type/Class) | Inferno.Types.Type |
2 (Data Constructor) | Inferno.Types.Type |
typeDouble | Inferno.Types.Type |
typeInt | Inferno.Types.Type |
TypeMetadata | |
1 (Type/Class) | Inferno.Types.Type |
2 (Data Constructor) | Inferno.Types.Type |
TypeNamespace | Inferno.Types.Type |
TypeRep | Inferno.Types.Syntax |
TypeRep_ | Inferno.Types.Syntax |
typeResolution | Inferno.Types.Type |
typeText | Inferno.Types.Type |
typeTime | Inferno.Types.Type |
typeTimeDiff | Inferno.Types.Type |
typeWord16 | Inferno.Types.Type |
typeWord32 | Inferno.Types.Type |
typeWord64 | Inferno.Types.Type |
tySig | Inferno.Types.Type |