Types.Function

Documentation

data FunctionType

Constructors

FunctionType

Fields

• ftArgs :: Positional ValueType
• ftReturns :: Positional ValueType
• ftParams :: Positional ParamName
• ftFilters :: Positional [TypeFilter]

Instances

Show FunctionType

Defined in Types.Function

Methods

showsPrec :: Int -> FunctionType -> ShowS

show :: FunctionType -> String

showList :: [FunctionType] -> ShowS

Eq FunctionType

Defined in Types.Function

Methods

(==) :: FunctionType -> FunctionType -> Bool

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

assignFunctionParams :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> ParamValues -> Positional GeneralInstance -> FunctionType -> m FunctionType

checkFunctionConvert :: (CollectErrorsM m, TypeResolver r) => r -> ParamFilters -> ParamValues -> FunctionType -> FunctionType -> m ()

validatateFunctionType :: (CollectErrorsM m, TypeResolver r) => r -> Set ParamName -> ParamVariances -> FunctionType -> m ()