Language.PureScript.Types

Data types for types

Documentation

newtype SkolemScope

An identifier for the scope of a skolem variable

Constructors

SkolemScope

Fields

• runSkolemScope :: Int

Instances

Eq SkolemScope

Methods

(==) :: SkolemScope -> SkolemScope -> Bool

(/=) :: SkolemScope -> SkolemScope -> Bool

Ord SkolemScope

Methods

compare :: SkolemScope -> SkolemScope -> Ordering

(<) :: SkolemScope -> SkolemScope -> Bool

(<=) :: SkolemScope -> SkolemScope -> Bool

(>) :: SkolemScope -> SkolemScope -> Bool

(>=) :: SkolemScope -> SkolemScope -> Bool

max :: SkolemScope -> SkolemScope -> SkolemScope

min :: SkolemScope -> SkolemScope -> SkolemScope

Show SkolemScope

Methods

showsPrec :: Int -> SkolemScope -> ShowS

show :: SkolemScope -> String

showList :: [SkolemScope] -> ShowS

ToJSON SkolemScope

Methods

toJSON :: SkolemScope -> Value

toEncoding :: SkolemScope -> Encoding

toJSONList :: [SkolemScope] -> Value

toEncodingList :: [SkolemScope] -> Encoding

FromJSON SkolemScope

Methods

parseJSON :: Value -> Parser SkolemScope

parseJSONList :: Value -> Parser [SkolemScope]

data Type

The type of types

Constructors

TUnknown Int

A unification variable of type Type

TypeVar Text

A named type variable

TypeLevelString PSString

A type-level string

TypeWildcard SourceSpan

A type wildcard, as would appear in a partial type synonym

TypeConstructor (Qualified (ProperName TypeName))

A type constructor

TypeOp (Qualified (OpName TypeOpName))

A type operator. This will be desugared into a type constructor during the "operators" phase of desugaring.

TypeApp Type Type

A type application

ForAll Text Type (Maybe SkolemScope)

Forall quantifier

ConstrainedType Constraint Type

A type with a set of type class constraints

Skolem Text Int SkolemScope (Maybe SourceSpan)

A skolem constant

REmpty

An empty row

RCons Label Type Type

A non-empty row

KindedType Type Kind

A type with a kind annotation

PrettyPrintFunction Type Type

A placeholder used in pretty printing

PrettyPrintObject Type

A placeholder used in pretty printing

PrettyPrintForAll [Text] Type

A placeholder used in pretty printing

BinaryNoParensType Type Type Type

Binary operator application. During the rebracketing phase of desugaring, this data constructor will be removed.

ParensInType Type

Explicit parentheses. During the rebracketing phase of desugaring, this data constructor will be removed.

Note: although it seems this constructor is not used, it _is_ useful, since it prevents certain traversals from matching.

Instances

Eq Type

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Ord Type

Methods

compare :: Type -> Type -> Ordering

(<) :: Type -> Type -> Bool

(<=) :: Type -> Type -> Bool

(>) :: Type -> Type -> Bool

(>=) :: Type -> Type -> Bool

max :: Type -> Type -> Type

min :: Type -> Type -> Type

Show Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

ToJSON Type

Methods

toJSON :: Type -> Value

toEncoding :: Type -> Encoding

toJSONList :: [Type] -> Value

toEncodingList :: [Type] -> Encoding

FromJSON Type

Methods

parseJSON :: Value -> Parser Type

parseJSONList :: Value -> Parser [Type]

data ConstraintData

Additional data relevant to type class constraints

Constructors

PartialConstraintData [[Text]] Bool

Data to accompany a Partial constraint generated by the exhaustivity checker. It contains (rendered) binder information for those binders which were not matched, and a flag indicating whether the list was truncated or not. Note: we use Text here because using Binder would introduce a cyclic dependency in the module graph.

Instances

Eq ConstraintData

Methods

(==) :: ConstraintData -> ConstraintData -> Bool

(/=) :: ConstraintData -> ConstraintData -> Bool

Ord ConstraintData

Methods

compare :: ConstraintData -> ConstraintData -> Ordering

(<) :: ConstraintData -> ConstraintData -> Bool

(<=) :: ConstraintData -> ConstraintData -> Bool

(>) :: ConstraintData -> ConstraintData -> Bool

(>=) :: ConstraintData -> ConstraintData -> Bool

max :: ConstraintData -> ConstraintData -> ConstraintData

min :: ConstraintData -> ConstraintData -> ConstraintData

Show ConstraintData

Methods

showsPrec :: Int -> ConstraintData -> ShowS

show :: ConstraintData -> String

showList :: [ConstraintData] -> ShowS

ToJSON ConstraintData

Methods

toJSON :: ConstraintData -> Value

toEncoding :: ConstraintData -> Encoding

toJSONList :: [ConstraintData] -> Value

toEncodingList :: [ConstraintData] -> Encoding

FromJSON ConstraintData

Methods

parseJSON :: Value -> Parser ConstraintData

parseJSONList :: Value -> Parser [ConstraintData]

data Constraint

A typeclass constraint

Constructors

Constraint

Fields

• constraintClass :: Qualified (ProperName ClassName)

  constraint class name

• constraintArgs :: [Type]

  type arguments

• constraintData :: Maybe ConstraintData

  additional data relevant to this constraint

Instances

Eq Constraint

Methods

(==) :: Constraint -> Constraint -> Bool

(/=) :: Constraint -> Constraint -> Bool

Ord Constraint

Methods

compare :: Constraint -> Constraint -> Ordering

(<) :: Constraint -> Constraint -> Bool

(<=) :: Constraint -> Constraint -> Bool

(>) :: Constraint -> Constraint -> Bool

(>=) :: Constraint -> Constraint -> Bool

max :: Constraint -> Constraint -> Constraint

min :: Constraint -> Constraint -> Constraint

Show Constraint

Methods

showsPrec :: Int -> Constraint -> ShowS

show :: Constraint -> String

showList :: [Constraint] -> ShowS

ToJSON Constraint

Methods

toJSON :: Constraint -> Value

toEncoding :: Constraint -> Encoding

toJSONList :: [Constraint] -> Value

toEncodingList :: [Constraint] -> Encoding

FromJSON Constraint

Methods

parseJSON :: Value -> Parser Constraint

parseJSONList :: Value -> Parser [Constraint]

mapConstraintArgs :: ([Type] -> [Type]) -> Constraint -> Constraint

overConstraintArgs :: Functor f => ([Type] -> f [Type]) -> Constraint -> f Constraint

rowToList :: Type -> ([(Label, Type)], Type)

Convert a row to a list of pairs of labels and types

rowToSortedList :: Type -> ([(Label, Type)], Type)

Convert a row to a list of pairs of labels and types, sorted by the labels.

rowFromList :: ([(Label, Type)], Type) -> Type

Convert a list of labels and types to a row

isMonoType :: Type -> Bool

Check whether a type is a monotype

mkForAll :: [Text] -> Type -> Type

Universally quantify a type

replaceTypeVars :: Text -> Type -> Type -> Type

Replace a type variable, taking into account variable shadowing

replaceAllTypeVars :: [(Text, Type)] -> Type -> Type

Replace named type variables with types

usedTypeVariables :: Type -> [Text]

Collect all type variables appearing in a type

freeTypeVariables :: Type -> [Text]

Collect all free type variables appearing in a type

quantify :: Type -> Type

Universally quantify over all type variables appearing free in a type

moveQuantifiersToFront :: Type -> Type

Move all universal quantifiers to the front of a type

containsWildcards :: Type -> Bool

Check if a type contains wildcards

everywhereOnTypes :: (Type -> Type) -> Type -> Type

everywhereOnTypesTopDown :: (Type -> Type) -> Type -> Type

everywhereOnTypesM :: Monad m => (Type -> m Type) -> Type -> m Type

everywhereOnTypesTopDownM :: Monad m => (Type -> m Type) -> Type -> m Type

everythingOnTypes :: (r -> r -> r) -> (Type -> r) -> Type -> r

everythingWithContextOnTypes :: s -> r -> (r -> r -> r) -> (s -> Type -> (s, r)) -> Type -> r