Language.PureScript.TypeChecker.Monad

Documentation

data NameKind

Constructors

Value

Extern

Alias ModuleName Ident

LocalVariable

DataConstructor

Instances

Show NameKind

data TypeDeclarationKind

Constructors

Data

ExternData

TypeSynonym

DataAlias ModuleName ProperName

LocalTypeVariable

Instances

Show TypeDeclarationKind

data Environment

Constructors

Environment

Fields

names :: Map (ModuleName, Ident) (Type, NameKind)

types :: Map (ModuleName, ProperName) (Kind, TypeDeclarationKind)

dataConstructors :: Map (ModuleName, ProperName) (Type, NameKind)

typeSynonyms :: Map (ModuleName, ProperName) ([String], Type)

members :: Map (ModuleName, Ident) String

Instances

Show Environment

emptyEnvironment :: Environment

bindNames :: MonadState CheckState m => Map (ModuleName, Ident) (Type, NameKind) -> m a -> m a

bindTypes :: MonadState CheckState m => Map (ModuleName, ProperName) (Kind, TypeDeclarationKind) -> m a -> m a

bindLocalVariables :: (Functor m, MonadState CheckState m) => ModuleName -> [(Ident, Type)] -> m a -> m a

bindLocalTypeVariables :: (Functor m, MonadState CheckState m) => ModuleName -> [(ProperName, Kind)] -> m a -> m a

lookupVariable :: (Functor m, MonadState CheckState m, MonadError String m) => ModuleName -> Qualified Ident -> m Type

lookupTypeVariable :: (Functor m, MonadState CheckState m, MonadError String m) => ModuleName -> Qualified ProperName -> m Kind

data AnyUnifiable where

Constructors

AnyUnifiable :: forall t. Unifiable t => t -> AnyUnifiable

data CheckState

Constructors

CheckState

Fields

checkEnv :: Environment

checkNextVar :: Int

Instances

MonadState CheckState Subst

MonadState CheckState Check

newtype Check a

Constructors

Check

Fields

unCheck :: StateT CheckState (Either String) a

Instances

Monad Check

Functor Check

MonadPlus Check

Applicative Check

MonadError String Check

MonadState CheckState Check

getEnv :: (Functor m, MonadState CheckState m) => m Environment

putEnv :: MonadState CheckState m => Environment -> m ()

modifyEnv :: MonadState CheckState m => (Environment -> Environment) -> m ()

runCheck :: Check a -> Either String (a, Environment)

guardWith :: MonadError e m => e -> Bool -> m ()

rethrow :: MonadError e m => (e -> e) -> m a -> m a

newtype Substitution

Constructors

Substitution

Fields

runSubstitution :: forall t. Unifiable t => Unknown t -> t

Instances

Monoid Substitution

data SubstState

Constructors

SubstState

Fields

substSubst :: Substitution

substFutureEscapeChecks :: [AnyUnifiable]

newtype SubstContext

Constructors

SubstContext

Fields

substCurrentModule :: ModuleName

Instances

Show SubstContext

MonadReader SubstContext Subst

newtype Subst a

Constructors

Subst

Fields

unSubst :: ReaderT SubstContext (StateT SubstState Check) a

Instances

Monad Subst

Functor Subst

MonadPlus Subst

Applicative Subst

MonadError String Subst

MonadReader SubstContext Subst

MonadState CheckState Subst

liftCheck :: Check a -> Subst a

runSubst :: Unifiable a => SubstContext -> Subst a -> Check (a, Substitution, [AnyUnifiable])

substituteWith :: Typeable t => (Unknown t -> t) -> Substitution

substituteOne :: Unifiable t => Unknown t -> t -> Substitution

replace :: Unifiable t => Unknown t -> t -> Subst ()

class (Typeable t, Data t, Show t) => Unifiable t where

Methods

unknown :: Unknown t -> t

(~~) :: t -> t -> Subst ()

isUnknown :: t -> Maybe (Unknown t)

apply :: Substitution -> t -> t

unknowns :: t -> [Int]

Instances

Unifiable Kind

Unifiable Type

Unifiable a => Unifiable [a]

occursCheck :: Unifiable t => Unknown s -> t -> Subst ()

fresh' :: Subst Int

fresh :: Unifiable t => Subst t

escapeCheckLater :: Unifiable t => t -> Subst ()