Types.TypeInstance

Documentation

data AnyTypeResolver

Constructors

forall r.TypeResolver r => AnyTypeResolver r

Instances

TypeResolver AnyTypeResolver

Defined in Types.TypeInstance

Methods

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

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

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

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

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

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

data CategoryName

Constructors

CategoryName

Fields

• tnName :: String

BuiltinBool

BuiltinChar

BuiltinInt

BuiltinFloat

BuiltinString

BuiltinFormatted

CategoryNone

Instances

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

Show CategoryName

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> CategoryName -> ShowS

show :: CategoryName -> String

showList :: [CategoryName] -> ShowS

ParseFromSource CategoryName

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m CategoryName

data DefinesInstance

Constructors

DefinesInstance

Fields

• diName :: CategoryName
• diParams :: InstanceParams

Instances

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

Show DefinesInstance

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> DefinesInstance -> ShowS

show :: DefinesInstance -> String

showList :: [DefinesInstance] -> ShowS

ParseFromSource DefinesInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m 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

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

Show InferredTypeGuess

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> InferredTypeGuess -> ShowS

show :: InferredTypeGuess -> String

showList :: [InferredTypeGuess] -> ShowS

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

newtype ParamName

Constructors

ParamName

Fields

• pnName :: String

Instances

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

Show ParamName

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> ParamName -> ShowS

show :: ParamName -> String

showList :: [ParamName] -> ShowS

ParseFromSource ParamName

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m 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

Instances

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

Show TypeFilter

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> TypeFilter -> ShowS

show :: TypeFilter -> String

showList :: [TypeFilter] -> ShowS

ParseFromSource TypeFilter

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m TypeFilter

data TypeInstance

Constructors

TypeInstance

Fields

• tiName :: CategoryName
• tiParams :: InstanceParams

Instances

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

Show TypeInstance

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> TypeInstance -> ShowS

show :: TypeInstance -> String

showList :: [TypeInstance] -> ShowS

ParseFromSource TypeInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m TypeInstance

data TypeInstanceOrParam

Constructors

JustTypeInstance

Fields

• jtiType :: TypeInstance

JustParamName

Fields

• jpnFixed :: Bool
• jpnName :: ParamName

JustInferredType

Fields

• jitParam :: ParamName

Instances

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

Show TypeInstanceOrParam

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> TypeInstanceOrParam -> ShowS

show :: TypeInstanceOrParam -> String

showList :: [TypeInstanceOrParam] -> ShowS

Show GeneralInstance

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> GeneralInstance -> ShowS

show :: GeneralInstance -> String

showList :: [GeneralInstance] -> ShowS

ParseFromSource TypeInstanceOrParam

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m TypeInstanceOrParam

ParseFromSource GeneralInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m GeneralInstance

class TypeResolver r where

Methods

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

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

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

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

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

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

Instances

TypeResolver AnyTypeResolver

Defined in Types.TypeInstance

Methods

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

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

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

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

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

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

Show c => TypeResolver (CategoryResolver c)

Defined in Types.TypeCategory

Methods

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

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

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

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

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

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

data ValueType

Constructors

ValueType

Fields

• vtRequired :: StorageType
• vtType :: GeneralInstance

Instances

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

Show ValueType

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> ValueType -> ShowS

show :: ValueType -> String

showList :: [ValueType] -> ShowS

ParseFromSource ValueType

Defined in Parser.TypeInstance

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m ValueType

checkDefinesMatch :: (CompileErrorM m, TypeResolver r) => r -> ParamFilters -> DefinesInstance -> DefinesInstance -> m ()

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

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

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

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

fixTypeParams :: GeneralInstance -> GeneralInstance

flipFilter :: FilterDirection -> FilterDirection

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

hasInferredParams :: GeneralInstance -> Bool

isDefinesFilter :: TypeFilter -> Bool

isRequiresFilter :: TypeFilter -> Bool

isWeakValue :: ValueType -> Bool

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

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

requiredParam :: ParamName -> ValueType

requiredSingleton :: CategoryName -> ValueType

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

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

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

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

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

unfixTypeParams :: GeneralInstance -> GeneralInstance

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

validateDefinesInstance :: (CompileErrorM m, TypeResolver r) => r -> ParamFilters -> DefinesInstance -> m ()

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

validateGeneralInstance :: (CompileErrorM m, TypeResolver r) => r -> ParamFilters -> GeneralInstance -> m ()

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

validateTypeFilter :: (CompileErrorM m, TypeResolver r) => r -> ParamFilters -> TypeFilter -> m ()

validateTypeInstance :: (CompileErrorM m, TypeResolver r) => r -> ParamFilters -> TypeInstance -> m ()