HaScalaM.Types.Type

Documentation

data SmApplyT' t' ac' where

Constructors

SmApplyT'

Fields

• :: ArgClauseT' t' ac'
• => { tpeAT' :: t'
•    , argClauseAT' :: ac'
•    } -> SmApplyT' t' ac'

Instances

ArgClauseT' t' ac' => Apply t' t' ac' (SmApplyT' t' ac')

Defined in HaScalaM.Instances.Type

Methods

fun :: SmApplyT' t' ac' -> t'

argClause :: SmApplyT' t' ac' -> ac'

ArgClauseT' t' ac' => Tree (SmApplyT' t' ac' :: Type)

Defined in HaScalaM.Instances.Type

data SmApplyInfixT' t'n t' where

Constructors

SmApplyInfixT'

Fields

• :: (NameT' t'n, Type' t')
• => { lhsAIxT' :: t'
•    , opAIxT' :: t'n
•    , rhsAIxT' :: t'
•    } -> SmApplyInfixT' t'n t'

Instances

(NameT' t'n, Type' t') => Infix t' t'n t' (SmApplyInfixT' t'n t')

Defined in HaScalaM.Instances.Type

Methods

lhs :: SmApplyInfixT' t'n t' -> t'

op :: SmApplyInfixT' t'n t' -> t'n

arg :: SmApplyInfixT' t'n t' -> t'

(NameT' t'n, Type' t') => Tree (SmApplyInfixT' t'n t' :: Type)

Defined in HaScalaM.Instances.Type

data SmContextFunctionT' t' where

Constructors

SmContextFunctionT'

Fields

• :: Type' t'
• => { paramClauseCFT' :: FuncParamClause' t'
•    , resCFT' :: t'
•    } -> SmContextFunctionT' t'

Instances

Type' t' => Tree (SmContextFunctionT' t' :: Type)

Defined in HaScalaM.Instances.Type

Type' t' => WithBody t' (SmContextFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

body :: SmContextFunctionT' t' -> t'

Type' t' => FunctionT' t' (SmContextFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

res :: SmContextFunctionT' t' -> t'

Type' t' => Function t' (FuncParamClause' t') t' (SmContextFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

paramClause :: SmContextFunctionT' t' -> FuncParamClause' t'

data SmExistentialT' t' s where

Constructors

SmExistentialT'

Fields

• :: (Type' t', Stat s)
• => { tpeET' :: t'
•    , statsET' :: [s]
•    } -> SmExistentialT' t' s

Instances

(Type' t', Stat s) => Tree (SmExistentialT' t' s :: Type)

Defined in HaScalaM.Instances.Type

(Type' t', Stat s) => WithExprs s (SmExistentialT' t' s)

Defined in HaScalaM.Instances.Type

Methods

exprs :: SmExistentialT' t' s -> [s]

(Type' t', Stat s) => WithStats s (SmExistentialT' t' s)

Defined in HaScalaM.Instances.Type

Methods

stats :: SmExistentialT' t' s -> [s]

data SmFunctionT' t' where

Constructors

SmFunctionT'

Fields

• :: Type' t'
• => { paramClauseFT' :: FuncParamClause' t'
•    , resFT' :: t'
•    } -> SmFunctionT' t'

Instances

Type' t' => Tree (SmFunctionT' t' :: Type)

Defined in HaScalaM.Instances.Type

Type' t' => WithBody t' (SmFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

body :: SmFunctionT' t' -> t'

Type' t' => FunctionT' t' (SmFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

res :: SmFunctionT' t' -> t'

Type' t' => Function t' (FuncParamClause' t') t' (SmFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

paramClause :: SmFunctionT' t' -> FuncParamClause' t'

data SmLambdaT' m n p' t' b' pc' where

Constructors

SmLambdaT'

Fields

• :: ParamClauseT' m n p' t' b' pc'
• => { t'paramClauseLT' :: pc'
•    , tpeLT' :: t'
•    } -> SmLambdaT' m n p' t' b' pc'

Instances

ParamClauseT' m n p' t' b' pc' => WithT'ParamClause m n p' t' b' pc' (SmLambdaT' m n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

t'paramClause :: SmLambdaT' m n p' t' b' pc' -> pc'

ParamClauseT' m n p' t' b' pc' => Function p' pc' t' (SmLambdaT' m n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

paramClause :: SmLambdaT' m n p' t' b' pc' -> pc'

ParamClauseT' m n p' t' b' pc' => Tree (SmLambdaT' m n p' t' b' pc' :: Type)

Defined in HaScalaM.Instances.Type

ParamClauseT' m n p' t' b' pc' => WithBody t' (SmLambdaT' m n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

body :: SmLambdaT' m n p' t' b' pc' -> t'

data SmMacroT' t where

Constructors

SmMacroT'

Fields

• :: Term t
• => { bodyMcrT' :: t
•    } -> SmMacroT' t

Instances

Term t => Tree (SmMacroT' t :: Type)

Defined in HaScalaM.Instances.Type

Term t => WithBody t (SmMacroT' t)

Defined in HaScalaM.Instances.Type

Methods

body :: SmMacroT' t -> t

data SmMatchT' t' ct where

Constructors

SmMatchT'

Fields

• :: Type'Case t' ct
• => { tpeMtchT' :: t'
•    , casesMtchT' :: [ct]
•    } -> SmMatchT' t' ct

Instances

Type'Case t' ct => WithCases t' t' ct (SmMatchT' t' ct)

Defined in HaScalaM.Instances.Type

Methods

cases :: SmMatchT' t' ct -> [ct]

Type'Case t' ct => Tree (SmMatchT' t' ct :: Type)

Defined in HaScalaM.Instances.Type

(Tree ct, Type'Case t' ct) => WithExprs ct (SmMatchT' t' ct)

Defined in HaScalaM.Instances.Type

Methods

exprs :: SmMatchT' t' ct -> [ct]

data SmPolyFunctionT' m n p' t' b' pc' where

Constructors

SmPolyFunctionT'

Fields

• :: ParamClauseT' m n p' t' b' pc'
• => { t'ParamClausePFT' :: pc'
•    , bodyPFT' :: t'
•    } -> SmPolyFunctionT' m n p' t' b' pc'

Instances

ParamClauseT' m n p' t' b' pc' => WithT'ParamClause m n p' t' b' pc' (SmPolyFunctionT' m n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

t'paramClause :: SmPolyFunctionT' m n p' t' b' pc' -> pc'

ParamClauseT' m n p' t' b' pc' => Tree (SmPolyFunctionT' m n p' t' b' pc' :: Type)

Defined in HaScalaM.Instances.Type

data SmRefineT' t' s where

Constructors

SmRefineT'

Fields

• :: (Type' t', Stat s)
• => { tpeRfT' :: Maybe t'
•    , statsRfT' :: [s]
•    } -> SmRefineT' t' s

Instances

(Type' t', Stat s) => Tree (SmRefineT' t' s :: Type)

Defined in HaScalaM.Instances.Type

(Type' t', Stat s) => WithExprs s (SmRefineT' t' s)

Defined in HaScalaM.Instances.Type

Methods

exprs :: SmRefineT' t' s -> [s]

(Type' t', Stat s) => WithStats s (SmRefineT' t' s)

Defined in HaScalaM.Instances.Type

Methods

stats :: SmRefineT' t' s -> [s]

data SmTupleT' t' where

Constructors

SmTupleT'

Fields

• :: Type' t'
• => { argsTT' :: [t']
•    } -> SmTupleT' t'

Instances

Type' t' => Tree (SmTupleT' t' :: Type)

Defined in HaScalaM.Instances.Type

Type' t' => Tuple t' (SmTupleT' t')

Defined in HaScalaM.Instances.Type

Methods

args :: SmTupleT' t' -> [t']

data SmVarT' t'n where

Constructors

SmVarT'

Fields

• :: NameT' t'n
• => { nameVT' :: t'n
•    } -> SmVarT' t'n

Instances

NameT' n => Member n (SmVarT' n)

Defined in HaScalaM.Instances.Type

Methods

name :: SmVarT' n -> n

NameT' n => Tree (SmVarT' n :: Type)

Defined in HaScalaM.Instances.Type

NameT' n => MemberT' n (SmVarT' n)

Defined in HaScalaM.Instances.Type