HaScalaM.Types.Base

Documentation

data SmAnnotM m n t' t ac i where

Constructors

SmAnnotM

Fields

• :: Init m n t' t ac i
• => { initA :: i
•    } -> SmAnnotM m n t' t ac i

Instances

(m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, Init m n t' t ac i) => Annot m n t' t ac i (SmAnnotM m n t' t ac i)

Defined in HaScalaM.Instances

Methods

init :: SmAnnotM m n t' t ac i -> i

Init m n t' t ac i => Tree (SmAnnotM m n t' t ac i :: Type)

Defined in HaScalaM.Instances

(m ~ SmMod, n ~ SmName, t' ~ SmType', ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac) => Show (SmAnnotM m n t' t ac i)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmAnnotM m n t' t ac i -> ShowS

show :: SmAnnotM m n t' t ac i -> String

showList :: [SmAnnotM m n t' t ac i] -> ShowS

data SmCtorSecondaryS m n p t' t pc ac i s where

Constructors

SmCtorSecondaryS

Fields

• :: (ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s)
• => { modsCSS :: [m]
•    , nameCSS :: n
•    , paramsClausesCSS :: [pc]
•    , initCSS :: i
•    , statsCSS :: [s]
•    } -> SmCtorSecondaryS m n p t' t pc ac i s

Instances

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => Secondary m n p t' t pc ac i (s :: Type) (SmCtorSecondaryS m n p t' t pc ac i s)

Defined in HaScalaM.Instances

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithParamClauses m n p t' t pc (SmCtorSecondaryS m n p t' t pc ac i s)

Defined in HaScalaM.Instances

Methods

paramClauses :: SmCtorSecondaryS m n p t' t pc ac i s -> [pc]

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => Ctor (SmCtorSecondaryS m n p t' t pc ac i s :: Type)

Defined in HaScalaM.Instances

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => Tree (SmCtorSecondaryS m n p t' t pc ac i s :: Type)

Defined in HaScalaM.Instances

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithExprs s (SmCtorSecondaryS m n p t' t pc ac i s)

Defined in HaScalaM.Instances

Methods

exprs :: SmCtorSecondaryS m n p t' t pc ac i s -> [s]

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithMods m (SmCtorSecondaryS m n p t' t pc ac i s)

Defined in HaScalaM.Instances

Methods

mods :: SmCtorSecondaryS m n p t' t pc ac i s -> [m]

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithStats s (SmCtorSecondaryS m n p t' t pc ac i s)

Defined in HaScalaM.Instances

Methods

stats :: SmCtorSecondaryS m n p t' t pc ac i s -> [s]

data SmLit where

Constructors

SmBooleanL

Fields

• :: { valueBL :: Bool
•    } -> SmLit

SmByteL

Fields

• :: { valueByL :: Int8
•    } -> SmLit

SmCharL

Fields

• :: { valueChL :: Char
•    } -> SmLit

SmDoubleL

Fields

• :: { valueDL :: Double
•    } -> SmLit

SmFloatL

Fields

• :: { valueFL :: Float
•    } -> SmLit

SmIntL

Fields

• :: { valueIL :: Int
•    } -> SmLit

SmLongL

Fields

• :: { valueLL :: Int64
•    } -> SmLit

SmNullL :: SmLit

SmShortL

Fields

• :: { valueShL :: Int16
•    } -> SmLit

SmStringL

Fields

• :: { valueSL :: String
•    } -> SmLit

SmSymbolL

Fields

• :: { valueSyL :: Symbol
•    } -> SmLit

SmUnitL :: SmLit

Instances

Show SmLit

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmLit -> ShowS

show :: SmLit -> String

showList :: [SmLit] -> ShowS

Lit SmLit

Defined in HaScalaM.Instances.Base

Tree SmLit

Defined in HaScalaM.Instances.Base

data SmModM where

Constructors

SmAbstractM :: SmModM

SmCaseM :: SmModM

SmCovariantM :: Variant m => SmModM

SmContravariantM :: Variant m => SmModM

SmErasedM :: SmModM

SmFinalM :: SmModM

SmImplicitM :: ParamsType m => SmModM

SmInfixM :: SmModM

SmInlineM :: SmModM

SmLazyM :: SmModM

SmOpaqueM :: SmModM

SmOpenM :: SmModM

SmOverrideM :: SmModM

SmSealedM :: SmModM

SmSuperM :: SmModM

SmTransparentM :: SmModM

SmUsingM :: (ArgsType m, ParamsType m) => SmModM

SmValParamM :: SmModM

SmVarParamM :: SmModM

Instances

Tree SmModM

Defined in HaScalaM.Instances.Base

data SmAccessM r where

Constructors

SmPrivateM

Fields

• :: Ref r
• => { withinPrivAM :: r
•    } -> SmAccessM r

SmProtectedM

Fields

• :: Ref r
• => { withinProtAM :: r
•    } -> SmAccessM r

Instances

Ref r => Tree (SmAccessM r :: Type)

Defined in HaScalaM.Instances.Base

Ref r => WithWithin r (SmAccessM r)

Defined in HaScalaM.Instances.Base

Methods

within :: SmAccessM r -> r

data SmNameN where

Constructors

SmAnonymousN :: SmNameN

SmIndeterminateN

Fields

• :: { valueNI :: String
•    } -> SmNameN

SmPlaceholderN :: SmNameN

SmThisN :: SmNameN

newtype Symbol

Constructors

Symbol

Fields

• name :: String

Instances

Show Symbol

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS