Types.TypeInstance

Documentation

data AnyTypeResolver

Constructors

forall r.TypeResolver r => AnyTypeResolver r

Instances

TypeResolver AnyTypeResolver

Defined in Types.TypeInstance

Methods

trRefines :: CollectErrorsM m => AnyTypeResolver -> TypeInstance -> CategoryName -> m InstanceParams

trDefines :: CollectErrorsM m => AnyTypeResolver -> TypeInstance -> CategoryName -> m InstanceParams

trVariance :: CollectErrorsM m => AnyTypeResolver -> CategoryName -> m InstanceVariances

trTypeFilters :: CollectErrorsM m => AnyTypeResolver -> TypeInstance -> m InstanceFilters

trDefinesFilters :: CollectErrorsM m => AnyTypeResolver -> DefinesInstance -> m InstanceFilters

trConcrete :: CollectErrorsM m => AnyTypeResolver -> CategoryName -> m Bool

trImmutable :: CollectErrorsM m => AnyTypeResolver -> CategoryName -> m Bool

data CategoryName

Constructors

CategoryName

Fields

• tnName :: String

BuiltinBool

BuiltinChar

BuiltinCharBuffer

BuiltinInt

BuiltinFloat

BuiltinString

BuiltinPointer

BuiltinIdentifier

BuiltinFormatted

BuiltinOrder

BuiltinTestcase

CategoryNone

Instances

Show CategoryName

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> CategoryName -> ShowS

show :: CategoryName -> String

showList :: [CategoryName] -> ShowS

Eq CategoryName

Defined in Types.TypeInstance

Methods

(==) :: CategoryName -> CategoryName -> Bool

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

Ord CategoryName

Defined in Types.TypeInstance

Methods

compare :: CategoryName -> CategoryName -> Ordering

(<) :: CategoryName -> CategoryName -> Bool

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

(>) :: CategoryName -> CategoryName -> Bool

(>=) :: CategoryName -> CategoryName -> Bool

max :: CategoryName -> CategoryName -> CategoryName

min :: CategoryName -> CategoryName -> CategoryName

ParseFromSource CategoryName

Defined in Parser.TypeInstance

Methods

sourceParser :: TextParser CategoryName

ConfigFormat (CategoryName, CategorySpec SourceContext)

Defined in Module.ParseMetadata

Methods

readConfig :: TextParser (CategoryName, CategorySpec SourceContext)

writeConfig :: CollectErrorsM m => (CategoryName, CategorySpec SourceContext) -> m [String]

data DefinesInstance

Constructors

DefinesInstance

Fields

• diName :: CategoryName
• diParams :: InstanceParams

Instances

Show DefinesInstance

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> DefinesInstance -> ShowS

show :: DefinesInstance -> String

showList :: [DefinesInstance] -> ShowS

Eq DefinesInstance

Defined in Types.TypeInstance

Methods

(==) :: DefinesInstance -> DefinesInstance -> Bool

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

Ord DefinesInstance

Defined in Types.TypeInstance

Methods

compare :: DefinesInstance -> DefinesInstance -> Ordering

(<) :: DefinesInstance -> DefinesInstance -> Bool

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

(>) :: DefinesInstance -> DefinesInstance -> Bool

(>=) :: DefinesInstance -> DefinesInstance -> Bool

max :: DefinesInstance -> DefinesInstance -> DefinesInstance

min :: DefinesInstance -> DefinesInstance -> DefinesInstance

ParseFromSource DefinesInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: TextParser DefinesInstance

data FilterDirection

Constructors

FilterRequires

FilterAllows

Instances

Eq FilterDirection

Defined in Types.TypeInstance

Methods

(==) :: FilterDirection -> FilterDirection -> Bool

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

Ord FilterDirection

Defined in Types.TypeInstance

Methods

compare :: FilterDirection -> FilterDirection -> Ordering

(<) :: FilterDirection -> FilterDirection -> Bool

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

(>) :: FilterDirection -> FilterDirection -> Bool

(>=) :: FilterDirection -> FilterDirection -> Bool

max :: FilterDirection -> FilterDirection -> FilterDirection

min :: FilterDirection -> FilterDirection -> FilterDirection

type GeneralInstance = GeneralType TypeInstanceOrParam

data InferredTypeGuess

Constructors

InferredTypeGuess

Fields

• itgParam :: ParamName
• itgGuess :: GeneralInstance
• itgVariance :: Variance

Instances

Show InferredTypeGuess

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> InferredTypeGuess -> ShowS

show :: InferredTypeGuess -> String

showList :: [InferredTypeGuess] -> ShowS

Eq InferredTypeGuess

Defined in Types.TypeInstance

Methods

(==) :: InferredTypeGuess -> InferredTypeGuess -> Bool

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

Ord InferredTypeGuess

Defined in Types.TypeInstance

Methods

compare :: InferredTypeGuess -> InferredTypeGuess -> Ordering

(<) :: InferredTypeGuess -> InferredTypeGuess -> Bool

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

(>) :: InferredTypeGuess -> InferredTypeGuess -> Bool

(>=) :: InferredTypeGuess -> InferredTypeGuess -> Bool

max :: InferredTypeGuess -> InferredTypeGuess -> InferredTypeGuess

min :: InferredTypeGuess -> InferredTypeGuess -> InferredTypeGuess

type InstanceFilters = Positional [TypeFilter]

type InstanceParams = Positional GeneralInstance

type InstanceVariances = Positional Variance

type ParamFilters = Map ParamName [TypeFilter]

type ParamValues = Map ParamName GeneralInstance

type ParamVariances = Map ParamName Variance

data ParamName

Constructors

ParamName

Fields

• pnName :: String

ParamSelf

Instances

Show ParamName

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> ParamName -> ShowS

show :: ParamName -> String

showList :: [ParamName] -> ShowS

Eq ParamName

Defined in Types.TypeInstance

Methods

(==) :: ParamName -> ParamName -> Bool

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

Ord ParamName

Defined in Types.TypeInstance

Methods

compare :: ParamName -> ParamName -> Ordering

(<) :: ParamName -> ParamName -> Bool

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

(>) :: ParamName -> ParamName -> Bool

(>=) :: ParamName -> ParamName -> Bool

max :: ParamName -> ParamName -> ParamName

min :: ParamName -> ParamName -> ParamName

ParseFromSource ParamName

Defined in Parser.TypeInstance

Methods

sourceParser :: TextParser ParamName

data StorageType

Constructors

WeakValue

OptionalValue

RequiredValue

Instances

Eq StorageType

Defined in Types.TypeInstance

Methods

(==) :: StorageType -> StorageType -> Bool

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

Ord StorageType

Defined in Types.TypeInstance

Methods

compare :: StorageType -> StorageType -> Ordering

(<) :: StorageType -> StorageType -> Bool

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

(>) :: StorageType -> StorageType -> Bool

(>=) :: StorageType -> StorageType -> Bool

max :: StorageType -> StorageType -> StorageType

min :: StorageType -> StorageType -> StorageType

data TypeFilter

Constructors

TypeFilter

Fields

• tfDirection :: FilterDirection
• tfType :: GeneralInstance

DefinesFilter

Fields

• dfType :: DefinesInstance

ImmutableFilter

Instances

Show TypeFilter

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> TypeFilter -> ShowS

show :: TypeFilter -> String

showList :: [TypeFilter] -> ShowS

Eq TypeFilter

Defined in Types.TypeInstance

Methods

(==) :: TypeFilter -> TypeFilter -> Bool

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

Ord TypeFilter

Defined in Types.TypeInstance

Methods

compare :: TypeFilter -> TypeFilter -> Ordering

(<) :: TypeFilter -> TypeFilter -> Bool

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

(>) :: TypeFilter -> TypeFilter -> Bool

(>=) :: TypeFilter -> TypeFilter -> Bool

max :: TypeFilter -> TypeFilter -> TypeFilter

min :: TypeFilter -> TypeFilter -> TypeFilter

ParseFromSource TypeFilter

Defined in Parser.TypeInstance

Methods

sourceParser :: TextParser TypeFilter

data TypeInstance

Constructors

TypeInstance

Fields

• tiName :: CategoryName
• tiParams :: InstanceParams

Instances

Show TypeInstance

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> TypeInstance -> ShowS

show :: TypeInstance -> String

showList :: [TypeInstance] -> ShowS

Eq TypeInstance

Defined in Types.TypeInstance

Methods

(==) :: TypeInstance -> TypeInstance -> Bool

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

Ord TypeInstance

Defined in Types.TypeInstance

Methods

compare :: TypeInstance -> TypeInstance -> Ordering

(<) :: TypeInstance -> TypeInstance -> Bool

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

(>) :: TypeInstance -> TypeInstance -> Bool

(>=) :: TypeInstance -> TypeInstance -> Bool

max :: TypeInstance -> TypeInstance -> TypeInstance

min :: TypeInstance -> TypeInstance -> TypeInstance

ParseFromSource TypeInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: TextParser TypeInstance

data TypeInstanceOrParam

Constructors

JustTypeInstance

Fields

• jtiType :: TypeInstance

JustParamName

Fields

• jpnFixed :: Bool
• jpnName :: ParamName

JustInferredType

Fields

• jitParam :: ParamName

Instances

Show GeneralInstance

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> GeneralInstance -> ShowS

show :: GeneralInstance -> String

showList :: [GeneralInstance] -> ShowS

Show TypeInstanceOrParam

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> TypeInstanceOrParam -> ShowS

show :: TypeInstanceOrParam -> String

showList :: [TypeInstanceOrParam] -> ShowS

Eq TypeInstanceOrParam

Defined in Types.TypeInstance

Methods

(==) :: TypeInstanceOrParam -> TypeInstanceOrParam -> Bool

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

Ord TypeInstanceOrParam

Defined in Types.TypeInstance

Methods

compare :: TypeInstanceOrParam -> TypeInstanceOrParam -> Ordering

(<) :: TypeInstanceOrParam -> TypeInstanceOrParam -> Bool

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

(>) :: TypeInstanceOrParam -> TypeInstanceOrParam -> Bool

(>=) :: TypeInstanceOrParam -> TypeInstanceOrParam -> Bool

max :: TypeInstanceOrParam -> TypeInstanceOrParam -> TypeInstanceOrParam

min :: TypeInstanceOrParam -> TypeInstanceOrParam -> TypeInstanceOrParam

ParseFromSource GeneralInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: TextParser GeneralInstance

ParseFromSource TypeInstanceOrParam

Defined in Parser.TypeInstance

Methods

sourceParser :: TextParser TypeInstanceOrParam

class TypeResolver r where

Methods

trRefines :: CollectErrorsM m => r -> TypeInstance -> CategoryName -> m InstanceParams

trDefines :: CollectErrorsM m => r -> TypeInstance -> CategoryName -> m InstanceParams

trVariance :: CollectErrorsM m => r -> CategoryName -> m InstanceVariances

trTypeFilters :: CollectErrorsM m => r -> TypeInstance -> m InstanceFilters

trDefinesFilters :: CollectErrorsM m => r -> DefinesInstance -> m InstanceFilters

trConcrete :: CollectErrorsM m => r -> CategoryName -> m Bool

trImmutable :: CollectErrorsM m => r -> CategoryName -> m Bool

Instances

TypeResolver AnyTypeResolver

Defined in Types.TypeInstance

Methods

trRefines :: CollectErrorsM m => AnyTypeResolver -> TypeInstance -> CategoryName -> m InstanceParams

trDefines :: CollectErrorsM m => AnyTypeResolver -> TypeInstance -> CategoryName -> m InstanceParams

trVariance :: CollectErrorsM m => AnyTypeResolver -> CategoryName -> m InstanceVariances

trTypeFilters :: CollectErrorsM m => AnyTypeResolver -> TypeInstance -> m InstanceFilters

trDefinesFilters :: CollectErrorsM m => AnyTypeResolver -> DefinesInstance -> m InstanceFilters

trConcrete :: CollectErrorsM m => AnyTypeResolver -> CategoryName -> m Bool

trImmutable :: CollectErrorsM m => AnyTypeResolver -> CategoryName -> m Bool

Show c => TypeResolver (CategoryResolver c)

Defined in Types.TypeCategory

Methods

trRefines :: CollectErrorsM m => CategoryResolver c -> TypeInstance -> CategoryName -> m InstanceParams

trDefines :: CollectErrorsM m => CategoryResolver c -> TypeInstance -> CategoryName -> m InstanceParams

trVariance :: CollectErrorsM m => CategoryResolver c -> CategoryName -> m InstanceVariances

trTypeFilters :: CollectErrorsM m => CategoryResolver c -> TypeInstance -> m InstanceFilters

trDefinesFilters :: CollectErrorsM m => CategoryResolver c -> DefinesInstance -> m InstanceFilters

trConcrete :: CollectErrorsM m => CategoryResolver c -> CategoryName -> m Bool

trImmutable :: CollectErrorsM m => CategoryResolver c -> CategoryName -> m Bool

data ValueType

Constructors

ValueType

Fields

• vtRequired :: StorageType
• vtType :: GeneralInstance

Instances

Show ValueType

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> ValueType -> ShowS

show :: ValueType -> String

showList :: [ValueType] -> ShowS

Eq ValueType

Defined in Types.TypeInstance

Methods

(==) :: ValueType -> ValueType -> Bool

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

Ord ValueType

Defined in Types.TypeInstance

Methods

compare :: ValueType -> ValueType -> Ordering

(<) :: ValueType -> ValueType -> Bool

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

(>) :: ValueType -> ValueType -> Bool

(>=) :: ValueType -> ValueType -> Bool

max :: ValueType -> ValueType -> ValueType

min :: ValueType -> ValueType -> ValueType

ParseFromSource ValueType

Defined in Parser.TypeInstance

Methods

sourceParser :: TextParser ValueType

checkDefinesMatch :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> DefinesInstance -> DefinesInstance -> m (MergeTree InferredTypeGuess)

checkGeneralMatch :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> Variance -> GeneralInstance -> GeneralInstance -> m (MergeTree InferredTypeGuess)

checkValueAssignment :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> ValueType -> ValueType -> m ()

checkValueTypeImmutable :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> ValueType -> m ()

checkValueTypeMatch :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> Variance -> ValueType -> ValueType -> m (MergeTree InferredTypeGuess)

dedupGeneralInstance :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> GeneralInstance -> m GeneralInstance

filterLookup :: ErrorContextM m => ParamFilters -> ParamName -> m [TypeFilter]

fixTypeParams :: GeneralInstance -> GeneralInstance

flipFilter :: FilterDirection -> FilterDirection

getValueForParam :: ErrorContextM m => ParamValues -> ParamName -> m GeneralInstance

hasInferredParams :: GeneralInstance -> Bool

isDefinesFilter :: TypeFilter -> Bool

isOptionalValue :: ValueType -> Bool

isRequiresFilter :: TypeFilter -> Bool

isWeakValue :: ValueType -> Bool

mapTypeGuesses :: MergeTree InferredTypeGuess -> Map ParamName (MergeTree InferredTypeGuess)

noInferredTypes :: CollectErrorsM m => m (MergeTree InferredTypeGuess) -> m ()

replaceSelfFilter :: CollectErrorsM m => GeneralInstance -> TypeFilter -> m TypeFilter

replaceSelfInstance :: CollectErrorsM m => GeneralInstance -> GeneralInstance -> m GeneralInstance

replaceSelfSingle :: CollectErrorsM m => GeneralInstance -> TypeInstance -> m TypeInstance

replaceSelfValueType :: CollectErrorsM m => GeneralInstance -> ValueType -> m ValueType

requiredParam :: ParamName -> ValueType

requiredSingleton :: CategoryName -> ValueType

reverseSelfInstance :: CollectErrorsM m => TypeInstance -> GeneralInstance -> m GeneralInstance

selfType :: GeneralInstance

uncheckedSubFilter :: CollectErrorsM m => (ParamName -> m GeneralInstance) -> TypeFilter -> m TypeFilter

uncheckedSubFilters :: CollectErrorsM m => (ParamName -> m GeneralInstance) -> ParamFilters -> m ParamFilters

uncheckedSubInstance :: CollectErrorsM m => (ParamName -> m GeneralInstance) -> GeneralInstance -> m GeneralInstance

uncheckedSubSingle :: CollectErrorsM m => (ParamName -> m GeneralInstance) -> TypeInstance -> m TypeInstance

uncheckedSubValueType :: CollectErrorsM m => (ParamName -> m GeneralInstance) -> ValueType -> m ValueType

unfixTypeParams :: GeneralInstance -> GeneralInstance

validateAssignment :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> GeneralInstance -> [TypeFilter] -> m ()

validateDefinesInstance :: (CollectErrorsM m, TypeResolver r) => r -> Set ParamName -> DefinesInstance -> m ()

validateDefinesVariance :: (CollectErrorsM m, TypeResolver r) => r -> ParamVariances -> Variance -> DefinesInstance -> m ()

validateGeneralInstance :: (CollectErrorsM m, TypeResolver r) => r -> Set ParamName -> GeneralInstance -> m ()

validateGeneralInstanceForCall :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> GeneralInstance -> m ()

validateInstanceVariance :: (CollectErrorsM m, TypeResolver r) => r -> ParamVariances -> Variance -> GeneralInstance -> m ()

validateTypeInstance :: (CollectErrorsM m, TypeResolver r) => r -> Set ParamName -> TypeInstance -> m ()

validateTypeInstanceForCall :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> TypeInstance -> m ()

validateTypeFilter :: (CollectErrorsM m, TypeResolver r) => r -> Set ParamName -> TypeFilter -> m ()