Safe Haskell	None
Language	GHC2024

Elara.TypeInfer.Convert

Synopsis

freeTypeVars :: KindedType -> [Located (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 :: Located (Unique LowerAlphaName) -> Located UniqueTyVar
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

Documentation

freeTypeVars :: KindedType -> [Located (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 :: Located (Unique LowerAlphaName) -> Located UniqueTyVar 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 #

ReportableError TypeConvertError Source #

Instance details

Defined in Elara.TypeInfer.Convert

Methods

errorCode :: TypeConvertError -> Maybe ErrorCode Source #

getReport :: TypeConvertError -> Maybe (Report (Doc AnsiStyle)) Source #

report :: forall (r :: [Effect]). DiagnosticWriter (Doc AnsiStyle) :> r => TypeConvertError -> Eff r () Source #

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)))