Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data SmApplyT' t' ac' where Source #
SmApplyT' | |
|
data SmApplyInfixT' t'n t' where Source #
Instances
(NameT' t'n, Type' t') => Infix t' t'n t' (SmApplyInfixT' t'n t') Source # | |
Defined in HaScalaM.Instances.Type 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 # | |
Defined in HaScalaM.Instances.Type |
data SmContextFunctionT' t' where Source #
SmContextFunctionT' | |
|
Instances
Type' t' => Tree (SmContextFunctionT' t' :: Type) Source # | |
Defined in HaScalaM.Instances.Type | |
Type' t' => WithBody t' (SmContextFunctionT' t') Source # | |
Defined in HaScalaM.Instances.Type body :: SmContextFunctionT' t' -> t' Source # | |
Type' t' => FunctionT' t' (SmContextFunctionT' t') Source # | |
Defined in HaScalaM.Instances.Type res :: SmContextFunctionT' t' -> t' Source # | |
Type' t' => Function t' (FuncParamClause' t') t' (SmContextFunctionT' t') Source # | |
Defined in HaScalaM.Instances.Type paramClause :: SmContextFunctionT' t' -> FuncParamClause' t' Source # |
data SmFunctionT' t' where Source #
SmFunctionT' | |
|
Instances
Type' t' => Tree (SmFunctionT' t' :: Type) Source # | |
Defined in HaScalaM.Instances.Type | |
Type' t' => WithBody t' (SmFunctionT' t') Source # | |
Defined in HaScalaM.Instances.Type body :: SmFunctionT' t' -> t' Source # | |
Type' t' => FunctionT' t' (SmFunctionT' t') Source # | |
Defined in HaScalaM.Instances.Type res :: SmFunctionT' t' -> t' Source # | |
Type' t' => Function t' (FuncParamClause' t') t' (SmFunctionT' t') Source # | |
Defined in HaScalaM.Instances.Type paramClause :: SmFunctionT' t' -> FuncParamClause' t' Source # |
data SmLambdaT' m n p' t' b' pc' where Source #
SmLambdaT' | |
|
Instances
ParamClauseT' m n p' t' b' pc' => WithT'ParamClause m n p' t' b' pc' (SmLambdaT' m n p' t' b' pc') Source # | |
Defined in HaScalaM.Instances.Type 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 # | |
Defined in HaScalaM.Instances.Type 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 # | |
Defined in HaScalaM.Instances.Type | |
ParamClauseT' m n p' t' b' pc' => WithBody t' (SmLambdaT' m n p' t' b' pc') Source # | |
Defined in HaScalaM.Instances.Type body :: SmLambdaT' m n p' t' b' pc' -> t' Source # |
data SmMatchT' t' ct where Source #
SmMatchT' | |
|
data SmPolyFunctionT' m n p' t' b' pc' where Source #
SmPolyFunctionT' | |
|
Instances
ParamClauseT' m n p' t' b' pc' => WithT'ParamClause m n p' t' b' pc' (SmPolyFunctionT' m n p' t' b' pc') Source # | |
Defined in HaScalaM.Instances.Type 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 # | |
Defined in HaScalaM.Instances.Type |