Language.PureScript.Types

newtype SkolemScope

An identifier for the scope of a skolem variable

Constructors

• SkolemScope Int

Instances

• Eq SkolemScope
• Ord SkolemScope
• Newtype SkolemScope _
• Generic SkolemScope _
• Show SkolemScope

fromSkolemScope :: SkolemScope -> Json

toSkolemScope :: Json -> Either DecodeError SkolemScope

data WildcardData

Constructors

• HoleWildcard String
• UnnamedWildcard
• IgnoredWildcard

Instances

• Eq WildcardData
• Ord WildcardData
• Generic WildcardData _
• Show WildcardData

fromWildcardData :: WildcardData -> Json

toWildcardData :: Json -> Either DecodeError WildcardData

data TypeVarVisibility

Constructors

• TypeVarVisible
• TypeVarInvisible

Instances

• Eq TypeVarVisibility
• Ord TypeVarVisibility
• Generic TypeVarVisibility _
• Show TypeVarVisibility

fromTypeVarVisibility :: TypeVarVisibility -> Json

toTypeVarVisibility :: Json -> Either DecodeError TypeVarVisibility

type SourceType = Type SourceAnn

data Type a

Constructors

• TUnknown a Int
• TypeVar a String
• TypeLevelString a PSString
• TypeLevelInt a Int
• TypeWildcard a WildcardData
• TypeConstructor a (Qualified (ProperName TypeName))
• TypeOp a (Qualified (OpName TypeOpName))
• TypeApp a (Type a) (Type a)
• KindApp a (Type a) (Type a)
• ForAll a TypeVarVisibility String (Maybe (Type a)) (Type a) (Maybe SkolemScope)
• ConstrainedType a (Constraint a) (Type a)
• Skolem a String (Maybe (Type a)) Int SkolemScope
• REmpty a
• RCons a Label (Type a) (Type a)
• KindedType a (Type a) (Type a)
• BinaryNoParensType a (Type a) (Type a) (Type a)
• ParensInType a (Type a)

Instances

• Functor Type
• Foldable Type
• Traversable Type
• Generic (Type a) _
• (Show a) => Show (Type a)
• Eq (Type a)
• Ord (Type a)

srcTypeConstructor :: Qualified (ProperName TypeName) -> SourceType

fromType :: forall a. (a -> Json) -> Type a -> Json

toSourceType :: (Json -> Either DecodeError SourceAnn) -> Json -> Either DecodeError (Type SourceAnn)

toTypeUnit :: Json -> Either DecodeError (Type Unit)

toType' :: forall a. Either DecodeError a -> (Json -> Either DecodeError a) -> Json -> Either DecodeError (Type a)

data ConstraintData

Additional data relevant to type class constraints

Constructors

• PartialConstraintData (Array (Array String)) Boolean

Instances

• Eq ConstraintData
• Ord ConstraintData
• Generic ConstraintData _
• Show ConstraintData

fromConstraintData :: ConstraintData -> Json

toConstraintData :: Json -> Either DecodeError ConstraintData

type SourceConstraint = Constraint SourceAnn

newtype Constraint a

A typeclass constraint

Constructors

• Constraint { ann :: a, args :: Array (Type a), class :: Qualified (ProperName ClassName), data :: Maybe ConstraintData, kindArgs :: Array (Type a) }

Instances

• Newtype (Constraint a) _
• Generic (Constraint a) _
• Functor Constraint
• Foldable Constraint
• Traversable Constraint
• (Show a) => Show (Constraint a)
• Eq (Constraint a)
• Ord (Constraint a)

fromConstraint :: forall a. (a -> Json) -> Constraint a -> Json

toSourceConstraint :: (Json -> Either DecodeError SourceAnn) -> Json -> Either DecodeError (Constraint SourceAnn)

toConstraintUnit :: (Json -> Either DecodeError Unit) -> Json -> Either DecodeError (Constraint Unit)

toConstraint' :: forall a. Either DecodeError a -> (Json -> Either DecodeError a) -> Json -> Either DecodeError (Constraint a)

newtype RowListItem a

Constructors

• RowListItem { ann :: a, label :: Label, type :: Type a }

Instances

• (Eq a) => Eq (RowListItem a)
• (Ord a) => Ord (RowListItem a)
• Newtype (RowListItem a) _
• Generic (RowListItem a) _
• (Show a) => Show (RowListItem a)
• Functor RowListItem
• Foldable RowListItem
• Traversable RowListItem

eqType :: forall a b. Type a -> Type b -> Boolean

eqMaybeType :: forall a b. Maybe (Type a) -> Maybe (Type b) -> Boolean

compareType :: forall a b. Type a -> Type b -> Ordering

compareMaybeType :: forall a b. Maybe (Type a) -> Maybe (Type b) -> Ordering

eqConstraint :: forall a b. Constraint a -> Constraint b -> Boolean

compareConstraint :: forall a b. Constraint a -> Constraint b -> Ordering