Types.TypeCategory

Documentation

data AnyCategory c

Constructors

ValueInterface

Fields

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

InstanceInterface

Fields

• iiContext :: [c]
• iiNamespace :: Namespace
• iiName :: CategoryName
• iiPragmas :: [PragmaCategory c]
• iiParams :: [ValueParam c]
• iiFunctions :: [ScopedFunction c]

ValueConcrete

Fields

• vcContext :: [c]
• vcNamespace :: Namespace
• vcName :: CategoryName
• vcPragmas :: [PragmaCategory c]
• vcVisibility :: [FunctionVisibility c]
• 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 SourceContext)

Defined in Parser.TypeCategory

Methods

sourceParser :: TextParser (AnyCategory SourceContext)

data CallArgLabel c

Constructors

CallArgLabel

Fields

• calContext :: [c]
• calName :: String

Instances

Show c => Show (CallArgLabel c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> CallArgLabel c -> ShowS

show :: CallArgLabel c -> String

showList :: [CallArgLabel c] -> ShowS

Eq c => Eq (CallArgLabel c)

Defined in Types.TypeCategory

Methods

(==) :: CallArgLabel c -> CallArgLabel c -> Bool

(/=) :: CallArgLabel c -> CallArgLabel c -> Bool

Ord c => Ord (CallArgLabel c)

Defined in Types.TypeCategory

Methods

compare :: CallArgLabel c -> CallArgLabel c -> Ordering

(<) :: CallArgLabel c -> CallArgLabel c -> Bool

(<=) :: CallArgLabel c -> CallArgLabel c -> Bool

(>) :: CallArgLabel c -> CallArgLabel c -> Bool

(>=) :: CallArgLabel c -> CallArgLabel c -> Bool

max :: CallArgLabel c -> CallArgLabel c -> CallArgLabel c

min :: CallArgLabel c -> CallArgLabel c -> CallArgLabel c

ParseFromSource (CallArgLabel SourceContext)

Defined in Parser.TypeCategory

Methods

sourceParser :: TextParser (CallArgLabel SourceContext)

data CategoryMap c

Constructors

CategoryMap

Fields

• cmKnown :: Map CategoryName [c]
• cmAvailable :: 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 :: 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 FunctionName

Constructors

FunctionName

Fields

• fnName :: String

BuiltinPresent

BuiltinReduce

BuiltinRequire

BuiltinStrong

BuiltinIdentify

BuiltinTypename

Instances

Show FunctionName

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> FunctionName -> ShowS

show :: FunctionName -> String

showList :: [FunctionName] -> ShowS

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

ParseFromSource FunctionName

Defined in Parser.TypeCategory

Methods

sourceParser :: TextParser FunctionName

data FunctionVisibility c

Constructors

FunctionVisibility

Fields

• fvContext :: [c]
• fvTypes :: [([c], GeneralInstance)]

FunctionVisibilityDefault

Instances

Show c => Show (FunctionVisibility c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> FunctionVisibility c -> ShowS

show :: FunctionVisibility c -> String

showList :: [FunctionVisibility c] -> ShowS

Eq c => Eq (FunctionVisibility c)

Defined in Types.TypeCategory

Methods

(==) :: FunctionVisibility c -> FunctionVisibility c -> Bool

(/=) :: FunctionVisibility c -> FunctionVisibility c -> Bool

ParseFromSource (FunctionVisibility SourceContext)

Defined in Parser.TypeCategory

Methods

sourceParser :: TextParser (FunctionVisibility SourceContext)

data Namespace

Constructors

StaticNamespace

Fields

• snName :: String

NoNamespace

PublicNamespace

PrivateNamespace

Instances

Show Namespace

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

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

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 PatternMatch

Constructors

TypePattern

Fields

• tpVariance :: Variance
• tpData :: ValueType
• tpPattern :: ValueType

DefinesPattern

Fields

• dpData :: TypeInstance
• dpPattern :: DefinesInstance

Instances

Show PatternMatch

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> PatternMatch -> ShowS

show :: PatternMatch -> String

showList :: [PatternMatch] -> ShowS

data PragmaCategory c

Constructors

CategoryImmutable

Fields

• ciContext :: [c]

Instances

Show c => Show (PragmaCategory c)

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> PragmaCategory c -> ShowS

show :: PragmaCategory c -> String

showList :: [PragmaCategory c] -> ShowS

data ScopedFunction c

Constructors

ScopedFunction

Fields

• sfContext :: [c]
• sfName :: FunctionName
• sfType :: CategoryName
• sfScope :: SymbolScope
• sfVisibility :: FunctionVisibility c
• sfArgs :: Positional (PassedValue c, Maybe (CallArgLabel 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

Show SymbolScope

Defined in Types.TypeCategory

Methods

showsPrec :: Int -> SymbolScope -> ShowS

show :: SymbolScope -> String

showList :: [SymbolScope] -> ShowS

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

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, CollectErrorsM m) => CategoryMap c -> [AnyCategory c] -> m ()

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

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

checkFunctionCallVisibility :: (Show c, CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> ScopedFunction c -> GeneralInstance -> m ()

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

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

emptyCategoryMap :: CategoryMap c

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

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

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

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

getCategoryContext :: AnyCategory c -> [c]

getCategoryDefines :: AnyCategory c -> [ValueDefine c]

getCategoryDeps :: AnyCategory c -> Set CategoryName

getCategoryFilterMap :: CollectErrorsM m => AnyCategory c -> m ParamFilters

getCategoryFilters :: AnyCategory c -> [ParamFilter c]

getCategoryFunctions :: AnyCategory c -> [ScopedFunction c]

getCategoryName :: AnyCategory c -> CategoryName

getCategoryNamespace :: AnyCategory c -> Namespace

getCategoryParamMap :: AnyCategory c -> ParamValues

getCategoryParamSet :: CollectErrorsM m => AnyCategory c -> m (Set ParamName)

getCategoryParams :: AnyCategory c -> [ValueParam c]

getCategoryPragmas :: AnyCategory c -> [PragmaCategory c]

getCategoryRefines :: AnyCategory c -> [ValueRefine c]

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

getFilterMap :: CollectErrorsM m => [ValueParam c] -> [ParamFilter c] -> m ParamFilters

getFunctionFilterMap :: CollectErrorsM m => ScopedFunction c -> m ParamFilters

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

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

guessesFromFilters :: CollectErrorsM m => ParamFilters -> ValueType -> ValueType -> m [PatternMatch]

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

inferParamTypes :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> ParamValues -> [PatternMatch] -> m (MergeTree InferredTypeGuess)

instanceFromCategory :: AnyCategory c -> GeneralInstance

isCategoryImmutable :: PragmaCategory c -> Bool

isInstanceInterface :: AnyCategory c -> Bool

isNoNamespace :: Namespace -> Bool

isPrivateNamespace :: Namespace -> Bool

isPublicNamespace :: Namespace -> Bool

isStaticNamespace :: Namespace -> Bool

isValueConcrete :: AnyCategory c -> Bool

isValueInterface :: AnyCategory c -> Bool

matchesCallArgLabel :: CallArgLabel c -> String -> Bool

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

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

mergeInferredTypes :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> ParamFilters -> ParamValues -> MergeTree InferredTypeGuess -> m ParamValues

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

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

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

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

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

prependCategoryPragmaContext :: [c] -> PragmaCategory c -> PragmaCategory c

replaceSelfFunction :: (Show c, CollectErrorsM m) => GeneralInstance -> ScopedFunction c -> m (ScopedFunction c)

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

singleFromCategory :: AnyCategory c -> TypeInstance

toCategoryMap :: [(CategoryName, AnyCategory c)] -> CategoryMap c

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

uncheckedSubFunction :: (Show c, CollectErrorsM m) => ParamValues -> ScopedFunction c -> m (ScopedFunction c)

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