| Safe Haskell | None |
|---|
Language.PureScript.Environment
Description
- data Environment = Environment {
- names :: Map (ModuleName, Ident) (Type, NameKind)
- types :: Map (Qualified ProperName) (Kind, TypeKind)
- dataConstructors :: Map (Qualified ProperName) (ProperName, Type)
- typeSynonyms :: Map (Qualified ProperName) ([String], Type)
- typeClassDictionaries :: [TypeClassDictionaryInScope]
- typeClasses :: Map (Qualified ProperName) ([String], [(Ident, Type)], [(Qualified ProperName, [Type])])
- initEnvironment :: Environment
- data ForeignImportType
- data NameKind
- data TypeKind
- = DataType [String] [(ProperName, [Type])]
- | TypeSynonym
- | ExternData
- | LocalTypeVariable
- primName :: String -> Qualified ProperName
- primTy :: String -> Type
- tyFunction :: Type
- tyString :: Type
- tyNumber :: Type
- tyBoolean :: Type
- tyArray :: Type
- tyObject :: Type
- function :: Type -> Type -> Type
- primTypes :: Map (Qualified ProperName) (Kind, TypeKind)
Documentation
data Environment Source
The Environment defines all values and types which are currently in scope:
Constructors
| Environment | |
Fields
| |
Instances
initEnvironment :: EnvironmentSource
The initial environment with no values and only the default javascript types defined
data ForeignImportType Source
The type of a foreign import
Constructors
| ForeignImport | A regular foreign import |
| InlineJavascript | A foreign import which contains inline Javascript as a string literal |
| TypeClassAccessorImport | A type class dictionary member accessor import, generated during desugaring of type class declarations |
The kind of a name
Constructors
| Value | A value introduced as a binding in a module |
| Extern ForeignImportType | A foreign import |
| LocalVariable | A local name introduced using a lambda abstraction, variable introduction or binder |
| DataConstructor | A data constructor |
| TypeInstanceDictionaryValue | A type class dictionary, generated during desugaring of type class declarations |
The kinds of a type
Constructors
| DataType [String] [(ProperName, [Type])] | Data type |
| TypeSynonym | Type synonym |
| ExternData | Foreign data |
| LocalTypeVariable | A local type variable |
primName :: String -> Qualified ProperNameSource
Construct a ProperName in the Prim module
Type constructor for functions