| Safe Haskell | None |
|---|
Language.PureScript.Types
Description
Data types for types
- newtype SkolemScope = SkolemScope {}
- data Type
- = TUnknown Unknown
- | Object Type
- | TypeVar String
- | TypeConstructor (Qualified ProperName)
- | TypeApp Type Type
- | SaturatedTypeSynonym (Qualified ProperName) [Type]
- | ForAll String Type (Maybe SkolemScope)
- | ConstrainedType [(Qualified ProperName, Type)] Type
- | Skolem Int SkolemScope
- | REmpty
- | RCons String Type Type
- | PrettyPrintFunction Type Type
- | PrettyPrintArray Type
- tyFunction :: Type
- tyString :: Type
- tyNumber :: Type
- tyBoolean :: Type
- tyArray :: Type
- function :: Type -> Type -> Type
- rowToList :: Type -> ([(String, Type)], Type)
- rowFromList :: ([(String, Type)], Type) -> Type
- isMonoType :: Type -> Bool
- mkForAll :: [String] -> Type -> Type
- unit :: Type
- replaceTypeVars :: String -> Type -> Type -> Type
- usedTypeVariables :: Type -> [String]
- freeTypeVariables :: Type -> [String]
- quantify :: Type -> Type
Documentation
newtype SkolemScope Source
An identifier for the scope of a skolem variable
Constructors
| SkolemScope | |
Fields | |
The type of types
Constructors
| TUnknown Unknown | A unification variable of type Type |
| Object Type | Javascript numbers |
| TypeVar String | A named type variable |
| TypeConstructor (Qualified ProperName) | A type constructor |
| TypeApp Type Type | A type application |
| SaturatedTypeSynonym (Qualified ProperName) [Type] | A type synonym which is "saturated", i.e. fully applied |
| ForAll String Type (Maybe SkolemScope) | Forall quantifier |
| ConstrainedType [(Qualified ProperName, Type)] Type | A type with a set of type class constraints |
| Skolem Int SkolemScope | A skolem constant |
| REmpty | An empty row |
| RCons String Type Type | A non-empty row |
| PrettyPrintFunction Type Type | A placeholder used in pretty printing |
| PrettyPrintArray Type | A placeholder used in pretty printing |
Type constructor for functions
rowToList :: Type -> ([(String, Type)], Type)Source
Convert a row to a list of pairs of labels and types
isMonoType :: Type -> BoolSource
Check whether a type is a monotype
replaceTypeVars :: String -> Type -> Type -> TypeSource
Replace a type variable, taking into account variable shadowing
usedTypeVariables :: Type -> [String]Source
Collect all type variables appearing in a type
freeTypeVariables :: Type -> [String]Source
Collect all free type variables appearing in a type