elara

Safe Haskell	None
Language	GHC2024

Elara.TypeInfer.Convert

Synopsis

freeTypeVars :: KindedType -> [TaggedLocate 'TypeNode SourceRegion (Unique LowerAlphaName)]
astTypeToGeneralisedInferType :: forall (r :: [Effect]). Error TypeConvertError :> r => KindedType -> Eff r (Type SourceRegion)
astTypeToInferType :: forall (r :: [Effect]). Error TypeConvertError :> r => KindedType -> Eff r (Monotype SourceRegion)
astTypeToInferTypeWithKind :: forall (r :: [Effect]). Error TypeConvertError :> r => KindedType -> Eff r (Monotype SourceRegion, ElaraKind)
convertTyVar :: TaggedLocate 'TypeNode SourceRegion (Unique LowerAlphaName) -> TaggedLocate 'TypeNode SourceRegion (Unique (Maybe Text))
astTypeToInferType' :: forall (r :: [Effect]). Error TypeConvertError :> r => SourceRegion -> KindedType' -> Eff r (Monotype SourceRegion)
assertMonotype :: forall (r :: [Effect]). Error TypeConvertError :> r => Type SourceRegion -> Eff r (Monotype SourceRegion)
data TypeConvertError
- = HigherRankTypesNotSupported (Polytype SourceRegion)
- | NotSupported Text
kindedToTypedType :: Type SourceRegion Kinded -> Type SourceRegion Typed
kindedToTypedType' :: Type' SourceRegion Kinded -> Type' SourceRegion Typed

Documentation

freeTypeVars :: KindedType -> [TaggedLocate 'TypeNode SourceRegion (Unique LowerAlphaName)] Source #

Collect free type variables from a type

astTypeToGeneralisedInferType :: forall (r :: [Effect]). Error TypeConvertError :> r => KindedType -> Eff r (Type SourceRegion) Source #

astTypeToInferType :: forall (r :: [Effect]). Error TypeConvertError :> r => KindedType -> Eff r (Monotype SourceRegion) Source #

astTypeToInferTypeWithKind :: forall (r :: [Effect]). Error TypeConvertError :> r => KindedType -> Eff r (Monotype SourceRegion, ElaraKind) Source #

convertTyVar :: TaggedLocate 'TypeNode SourceRegion (Unique LowerAlphaName) -> TaggedLocate 'TypeNode SourceRegion (Unique (Maybe Text)) Source #

astTypeToInferType' :: forall (r :: [Effect]). Error TypeConvertError :> r => SourceRegion -> KindedType' -> Eff r (Monotype SourceRegion) Source #

assertMonotype :: forall (r :: [Effect]). Error TypeConvertError :> r => Type SourceRegion -> Eff r (Monotype SourceRegion) Source #

data TypeConvertError Source #

Constructors

HigherRankTypesNotSupported (Polytype SourceRegion)
NotSupported Text

Instances

Instances details

Pretty TypeConvertError Source #

Instance details

Defined in Elara.TypeInfer.Convert

Methods

pretty :: TypeConvertError -> Doc AnsiStyle Source #

ElaraDiagnostic TypeConvertError Source #

Instance details

Defined in Elara.TypeInfer.Convert

Methods

diagnosticReports :: TypeConvertError -> [ElaraReport] Source #

diagnosticSeverity :: TypeConvertError -> ElaraSeverity Source #

diagnosticCode :: TypeConvertError -> Maybe ErrorCode Source #

diagnosticMessage :: TypeConvertError -> Doc AnsiStyle Source #

diagnosticMarkers :: TypeConvertError -> [ElaraMarker] Source #

diagnosticNotes :: TypeConvertError -> [ElaraNote] Source #

Exception TypeConvertError Source #

Instance details

Defined in Elara.TypeInfer.Convert

Methods

toException :: TypeConvertError -> SomeException #

fromException :: SomeException -> Maybe TypeConvertError #

displayException :: TypeConvertError -> String #

backtraceDesired :: TypeConvertError -> Bool #

Generic TypeConvertError Source #

Instance details

Defined in Elara.TypeInfer.Convert

Associated Types

type Rep TypeConvertError

Instance details

Defined in Elara.TypeInfer.Convert

type Rep TypeConvertError = D1 ('MetaData "TypeConvertError" "Elara.TypeInfer.Convert" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "HigherRankTypesNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Polytype SourceRegion))) :+: C1 ('MetaCons "NotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: TypeConvertError -> Rep TypeConvertError x #

to :: Rep TypeConvertError x -> TypeConvertError #

Show TypeConvertError Source #

Instance details

Defined in Elara.TypeInfer.Convert

Methods

showsPrec :: Int -> TypeConvertError -> ShowS #

show :: TypeConvertError -> String #

showList :: [TypeConvertError] -> ShowS #

Eq TypeConvertError Source #

Instance details

Defined in Elara.TypeInfer.Convert

Methods

(==) :: TypeConvertError -> TypeConvertError -> Bool #

(/=) :: TypeConvertError -> TypeConvertError -> Bool #

type Rep TypeConvertError Source #

Instance details

Defined in Elara.TypeInfer.Convert

type Rep TypeConvertError = D1 ('MetaData "TypeConvertError" "Elara.TypeInfer.Convert" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "HigherRankTypesNotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Polytype SourceRegion))) :+: C1 ('MetaCons "NotSupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

kindedToTypedType :: Type SourceRegion Kinded -> Type SourceRegion Typed Source #

Convert from a Kinded type, to a Typed type. A very simple traversal, since the only significant difference between the two is with type variables

kindedToTypedType' :: Type' SourceRegion Kinded -> Type' SourceRegion Typed Source #