Safe Haskell	Safe-Inferred
Language	GHC2021

HaScalaM.Types.Type

Documentation

data SmApplyT' t' ac' where Source #

Constructors

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

Instances

Instances details

ArgClauseT' t' ac' => Apply t' t' ac' (SmApplyT' t' ac') Source #
Instance details Defined in HaScalaM.Instances.Type Methods fun :: SmApplyT' t' ac' -> t' Source # argClause :: SmApplyT' t' ac' -> ac' Source #
ArgClauseT' t' ac' => Tree (SmApplyT' t' ac' :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type

data SmApplyInfixT' t'n t' where Source #

Constructors

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

Instances

Instances details

(NameT' t'n, Type' t') => Infix t' t'n t' (SmApplyInfixT' t'n t') Source #
Instance details Defined in HaScalaM.Instances.Type Methods lhs :: SmApplyInfixT' t'n t' -> t' Source # op :: SmApplyInfixT' t'n t' -> t'n Source # arg :: SmApplyInfixT' t'n t' -> t' Source #
(NameT' t'n, Type' t') => Tree (SmApplyInfixT' t'n t' :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type

data SmContextFunctionT' t' where Source #

Constructors

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

Instances

Instances details

Type' t' => Tree (SmContextFunctionT' t' :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type
Type' t' => WithBody t' (SmContextFunctionT' t') Source #
Instance details Defined in HaScalaM.Instances.Type Methods body :: SmContextFunctionT' t' -> t' Source #
Type' t' => FunctionT' t' (SmContextFunctionT' t') Source #
Instance details Defined in HaScalaM.Instances.Type Methods res :: SmContextFunctionT' t' -> t' Source #
Type' t' => Function t' (FuncParamClause' t') t' (SmContextFunctionT' t') Source #
Instance details Defined in HaScalaM.Instances.Type Methods paramClause :: SmContextFunctionT' t' -> FuncParamClause' t' Source #

data SmFunctionT' t' where Source #

Constructors

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

Instances

Instances details

Type' t' => Tree (SmFunctionT' t' :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type
Type' t' => WithBody t' (SmFunctionT' t') Source #
Instance details Defined in HaScalaM.Instances.Type Methods body :: SmFunctionT' t' -> t' Source #
Type' t' => FunctionT' t' (SmFunctionT' t') Source #
Instance details Defined in HaScalaM.Instances.Type Methods res :: SmFunctionT' t' -> t' Source #
Type' t' => Function t' (FuncParamClause' t') t' (SmFunctionT' t') Source #
Instance details Defined in HaScalaM.Instances.Type Methods paramClause :: SmFunctionT' t' -> FuncParamClause' t' Source #

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

Constructors

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

Instances

Instances details

ParamClauseT' m n p' t' b' pc' => WithT'ParamClause m n p' t' b' pc' (SmLambdaT' m n p' t' b' pc') Source #
Instance details Defined in HaScalaM.Instances.Type Methods t'paramClause :: SmLambdaT' m n p' t' b' pc' -> pc' Source #
ParamClauseT' m n p' t' b' pc' => Function p' pc' t' (SmLambdaT' m n p' t' b' pc') Source #
Instance details Defined in HaScalaM.Instances.Type Methods paramClause :: SmLambdaT' m n p' t' b' pc' -> pc' Source #
ParamClauseT' m n p' t' b' pc' => Tree (SmLambdaT' m n p' t' b' pc' :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type
ParamClauseT' m n p' t' b' pc' => WithBody t' (SmLambdaT' m n p' t' b' pc') Source #
Instance details Defined in HaScalaM.Instances.Type Methods body :: SmLambdaT' m n p' t' b' pc' -> t' Source #

data SmMacroT' t where Source #

Constructors

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

Instances

Instances details

Term t => Tree (SmMacroT' t :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type
Term t => WithBody t (SmMacroT' t) Source #
Instance details Defined in HaScalaM.Instances.Type Methods body :: SmMacroT' t -> t Source #

data SmMatchT' t' ct where Source #

Constructors

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

Instances

Instances details

Type'Case t' ct => WithCases t' t' ct (SmMatchT' t' ct) Source #
Instance details Defined in HaScalaM.Instances.Type Methods cases :: SmMatchT' t' ct -> [ct] Source #
Type'Case t' ct => Tree (SmMatchT' t' ct :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type

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

Constructors

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

Instances

Instances details

ParamClauseT' m n p' t' b' pc' => WithT'ParamClause m n p' t' b' pc' (SmPolyFunctionT' m n p' t' b' pc') Source #
Instance details Defined in HaScalaM.Instances.Type Methods t'paramClause :: SmPolyFunctionT' m n p' t' b' pc' -> pc' Source #
ParamClauseT' m n p' t' b' pc' => Tree (SmPolyFunctionT' m n p' t' b' pc' :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type

data SmTupleT' t' where Source #

Constructors

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

Instances

Instances details

Type' t' => Tree (SmTupleT' t' :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type
Type' t' => Tuple t' (SmTupleT' t') Source #
Instance details Defined in HaScalaM.Instances.Type Methods args :: SmTupleT' t' -> [t'] Source #

data SmVarT' t'n where Source #

Constructors

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

Instances

Instances details

NameT' n => Member n (SmVarT' n) Source #
Instance details Defined in HaScalaM.Instances.Type Methods name :: SmVarT' n -> n Source #
NameT' n => Tree (SmVarT' n :: Type) Source #
Instance details Defined in HaScalaM.Instances.Type
NameT' n => MemberT' n (SmVarT' n) Source #
Instance details Defined in HaScalaM.Instances.Type