Types.TypeCategory

Documentation

data AnyCategory c

Constructors

ValueInterface

Fields

• viContext :: [c]
• viNamespace :: Namespace
• viName :: CategoryName
• viParams :: [ValueParam c]
• viRefines :: [ValueRefine c]
• viParamFilter :: [ParamFilter c]
• viFunctions :: [ScopedFunction c]

InstanceInterface

Fields

• iiContext :: [c]
• iiNamespace :: Namespace
• iiName :: CategoryName
• iiParams :: [ValueParam c]
• iiParamFilter :: [ParamFilter c]
• iiFunctions :: [ScopedFunction c]

ValueConcrete

Fields

• vcContext :: [c]
• vcNamespace :: Namespace
• vcName :: CategoryName
• vcParams :: [ValueParam c]
• vcRefines :: [ValueRefine c]
• vcDefines :: [ValueDefine c]
• vcParamFilter :: [ParamFilter c]
• vcFunctions :: [ScopedFunction c]

Instances

Show c => Show (AnyCategory c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> AnyCategory c -> ShowS

show :: AnyCategory c -> String

showList :: [AnyCategory c] -> ShowS

ParseFromSource (AnyCategory SourcePos)

Defined in Parser.TypeCategory

Methods

sourceParser :: Parser (AnyCategory SourcePos)

type CategoryMap c = Map CategoryName (AnyCategory c)

newtype CategoryResolver c

Constructors

CategoryResolver

Fields

• crCategories :: CategoryMap c

Instances

Show c => TypeResolver (CategoryResolver c)

Defined in Types.TypeCategory

Methods

trRefines :: (MergeableM m, CompileErrorM m) => CategoryResolver c -> TypeInstance -> CategoryName -> m InstanceParams

trDefines :: (MergeableM m, CompileErrorM m) => CategoryResolver c -> TypeInstance -> CategoryName -> m InstanceParams

trVariance :: (MergeableM m, CompileErrorM m) => CategoryResolver c -> CategoryName -> m InstanceVariances

trTypeFilters :: (MergeableM m, CompileErrorM m) => CategoryResolver c -> TypeInstance -> m InstanceFilters

trDefinesFilters :: (MergeableM m, CompileErrorM m) => CategoryResolver c -> DefinesInstance -> m InstanceFilters

trConcrete :: (MergeableM m, CompileErrorM m) => CategoryResolver c -> CategoryName -> m Bool

data FunctionName

Constructors

FunctionName

Fields

• fnName :: String

BuiltinPresent

BuiltinReduce

BuiltinRequire

BuiltinStrong

BuiltinTypename

Instances

Eq FunctionName

Defined in Types.TypeCategory

Methods

(==) :: FunctionName -> FunctionName -> Bool

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

Ord FunctionName

Defined in Types.TypeCategory

Methods

compare :: FunctionName -> FunctionName -> Ordering

(<) :: FunctionName -> FunctionName -> Bool

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

(>) :: FunctionName -> FunctionName -> Bool

(>=) :: FunctionName -> FunctionName -> Bool

max :: FunctionName -> FunctionName -> FunctionName

min :: FunctionName -> FunctionName -> FunctionName

Show FunctionName

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> FunctionName -> ShowS

show :: FunctionName -> String

showList :: [FunctionName] -> ShowS

ParseFromSource FunctionName

Defined in Parser.TypeCategory

Methods

sourceParser :: Parser FunctionName

data Namespace

Constructors

StaticNamespace

Fields

• snName :: String

NoNamespace

DynamicNamespace

Instances

Eq Namespace

Defined in Types.TypeCategory

Methods

(==) :: Namespace -> Namespace -> Bool

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

Ord Namespace

Defined in Types.TypeCategory

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

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

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

Show Namespace

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

data ParamFilter c

Constructors

ParamFilter

Fields

• pfContext :: [c]
• pfParam :: ParamName
• pfFilter :: TypeFilter

Instances

Show c => Show (ParamFilter c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> ParamFilter c -> ShowS

show :: ParamFilter c -> String

showList :: [ParamFilter c] -> ShowS

data PassedValue c

Constructors

PassedValue

Fields

• pvContext :: [c]
• pvType :: ValueType

Instances

Show c => Show (PassedValue c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> PassedValue c -> ShowS

show :: PassedValue c -> String

showList :: [PassedValue c] -> ShowS

data ScopedFunction c

Constructors

ScopedFunction

Fields

• sfContext :: [c]
• sfName :: FunctionName
• sfType :: CategoryName
• sfScope :: SymbolScope
• sfArgs :: Positional (PassedValue c)
• sfReturns :: Positional (PassedValue c)
• sfParams :: Positional (ValueParam c)
• sfFilters :: [ParamFilter c]
• sfMerges :: [ScopedFunction c]

Instances

Show c => Show (ScopedFunction c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> ScopedFunction c -> ShowS

show :: ScopedFunction c -> String

showList :: [ScopedFunction c] -> ShowS

data SymbolScope

Constructors

LocalScope

CategoryScope

TypeScope

ValueScope

Instances

Eq SymbolScope

Defined in Types.TypeCategory

Methods

(==) :: SymbolScope -> SymbolScope -> Bool

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

Ord SymbolScope

Defined in Types.TypeCategory

Methods

compare :: SymbolScope -> SymbolScope -> Ordering

(<) :: SymbolScope -> SymbolScope -> Bool

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

(>) :: SymbolScope -> SymbolScope -> Bool

(>=) :: SymbolScope -> SymbolScope -> Bool

max :: SymbolScope -> SymbolScope -> SymbolScope

min :: SymbolScope -> SymbolScope -> SymbolScope

Show SymbolScope

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> SymbolScope -> ShowS

show :: SymbolScope -> String

showList :: [SymbolScope] -> ShowS

data ValueDefine c

Constructors

ValueDefine

Fields

• vdContext :: [c]
• vdType :: DefinesInstance

Instances

Show c => Show (ValueDefine c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> ValueDefine c -> ShowS

show :: ValueDefine c -> String

showList :: [ValueDefine c] -> ShowS

data ValueParam c

Constructors

ValueParam

Fields

• vpContext :: [c]
• vpParam :: ParamName
• vpVariance :: Variance

Instances

Show c => Show (ValueParam c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> ValueParam c -> ShowS

show :: ValueParam c -> String

showList :: [ValueParam c] -> ShowS

data ValueRefine c

Constructors

ValueRefine

Fields

• vrContext :: [c]
• vrType :: TypeInstance

Instances

Show c => Show (ValueRefine c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> ValueRefine c -> ShowS

show :: ValueRefine c -> String

showList :: [ValueRefine c] -> ShowS

checkCategoryInstances :: (Show c, MergeableM m, CompileErrorM m) => CategoryMap c -> [AnyCategory c] -> m ()

checkConnectedTypes :: (Show c, MergeableM m, CompileErrorM m) => CategoryMap c -> [AnyCategory c] -> m ()

checkConnectionCycles :: (Show c, MergeableM m, CompileErrorM m) => CategoryMap c -> [AnyCategory c] -> m ()

checkParamVariances :: (Show c, MergeableM m, CompileErrorM m) => CategoryMap c -> [AnyCategory c] -> m ()

declareAllTypes :: (Show c, CompileErrorM m) => CategoryMap c -> [AnyCategory c] -> m (CategoryMap c)

flattenAllConnections :: (Show c, MergeableM m, CompileErrorM m) => CategoryMap c -> [AnyCategory c] -> m [AnyCategory c]

formatFullContext :: Show a => [a] -> String

formatFullContextBrace :: Show a => [a] -> String

getCategory :: (Show c, CompileErrorM m) => CategoryMap c -> ([c], CategoryName) -> m ([c], AnyCategory c)

getCategoryContext :: AnyCategory c -> [c]

getCategoryDefines :: AnyCategory c -> [ValueDefine c]

getCategoryDeps :: AnyCategory c -> Set CategoryName

getCategoryFilterMap :: AnyCategory c -> ParamFilters

getCategoryFilters :: AnyCategory c -> [ParamFilter c]

getCategoryFunctions :: AnyCategory c -> [ScopedFunction c]

getCategoryName :: AnyCategory c -> CategoryName

getCategoryNamespace :: AnyCategory c -> Namespace

getCategoryParams :: AnyCategory c -> [ValueParam c]

getCategoryRefines :: AnyCategory c -> [ValueRefine c]

getConcreteCategory :: (Show c, CompileErrorM m) => CategoryMap c -> ([c], CategoryName) -> m ([c], AnyCategory c)

getFilterMap :: [ValueParam c] -> [ParamFilter c] -> ParamFilters

getFunctionFilterMap :: ScopedFunction c -> ParamFilters

getInstanceCategory :: (Show c, CompileErrorM m) => CategoryMap c -> ([c], CategoryName) -> m ([c], AnyCategory c)

getValueCategory :: (Show c, CompileErrorM m) => CategoryMap c -> ([c], CategoryName) -> m ([c], AnyCategory c)

includeNewTypes :: (Show c, MergeableM m, CompileErrorM m) => CategoryMap c -> [AnyCategory c] -> m (CategoryMap c)

inferParamTypes :: (MergeableM m, CompileErrorM m, TypeResolver r) => r -> ParamFilters -> Map ParamName GeneralInstance -> [(ValueType, ValueType)] -> m (Map ParamName GeneralInstance)

isInstanceInterface :: AnyCategory c -> Bool

isDynamicNamespace :: Namespace -> Bool

isNoNamespace :: Namespace -> Bool

isStaticNamespace :: Namespace -> Bool

isValueConcrete :: AnyCategory c -> Bool

isValueInterface :: AnyCategory c -> Bool

mergeDefines :: (MergeableM m, CompileErrorM m, TypeResolver r) => r -> ParamFilters -> [ValueDefine c] -> m [ValueDefine c]

mergeFunctions :: (Show c, MergeableM m, CompileErrorM m, TypeResolver r) => r -> CategoryMap c -> ParamFilters -> [ValueRefine c] -> [ValueDefine c] -> [ScopedFunction c] -> m [ScopedFunction c]

mergeInferredTypes :: (MergeableM m, CompileErrorM m, TypeResolver r) => r -> ParamFilters -> MergeTree InferredTypeGuess -> m [InferredTypeGuess]

mergeRefines :: (MergeableM m, CompileErrorM m, TypeResolver r) => r -> ParamFilters -> [ValueRefine c] -> m [ValueRefine c]

noDuplicateDefines :: (Show c, MergeableM m, CompileErrorM m) => [c] -> CategoryName -> [ValueDefine c] -> m ()

noDuplicateRefines :: (Show c, MergeableM m, CompileErrorM m) => [c] -> CategoryName -> [ValueRefine c] -> m ()

parsedToFunctionType :: (Show c, MergeableM m, CompileErrorM m) => ScopedFunction c -> m FunctionType

partitionByScope :: (a -> SymbolScope) -> [a] -> ([a], [a], [a])

setCategoryNamespace :: Namespace -> AnyCategory c -> AnyCategory c

topoSortCategories :: (Show c, MergeableM m, CompileErrorM m) => CategoryMap c -> [AnyCategory c] -> m [AnyCategory c]

uncheckedSubFunction :: (Show c, MergeableM m, CompileErrorM m) => Map ParamName GeneralInstance -> ScopedFunction c -> m (ScopedFunction c)

validateCategoryFunction :: (Show c, MergeableM m, CompileErrorM m, TypeResolver r) => r -> AnyCategory c -> ScopedFunction c -> m ()