HaScalaM.Types.Tilde

Documentation

data SmCaseCT p t where

Constructors

SmCaseC

Fields

• :: (p ~ SmPat, t ~ SmTerm, Pat p, Term t)
• => { patCCT :: p
•    , condCCT :: Maybe t
•    , bodyCCT :: t
•    } -> SmCaseCT p t

Instances

(Pat p, Term t) => CaseTree p t (SmCaseCT p t)

Defined in HaScalaM.Instances.Term

Methods

pat :: SmCaseCT p t -> p

(Pat p, Term t) => Case p t (SmCaseCT p t)

Defined in HaScalaM.Instances.Term

(Pat p, Term t) => Tree (SmCaseCT p t :: Type)

Defined in HaScalaM.Instances.Term

(Pat p, Term t) => WithBody t (SmCaseCT p t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmCaseCT p t -> t

(Pat p, Term t) => WithCondOpt t (SmCaseCT p t)

Defined in HaScalaM.Instances.Term

Methods

cond' :: SmCaseCT p t -> Maybe t

(p ~ SmPat, t ~ SmTerm) => Show (SmCaseCT p t)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmCaseCT p t -> ShowS

show :: SmCaseCT p t -> String

showList :: [SmCaseCT p t] -> ShowS

data SmType'CaseCT t' where

Constructors

SmType'CaseT'C

Fields

• :: (t' ~ SmType', Type' t')
• => { patT'CCT :: t'
•    , bodyT'CCT :: t'
•    } -> SmType'CaseCT t'

Instances

Type' t' => CaseTree t' t' (SmType'CaseCT t')

Defined in HaScalaM.Instances.Type

Methods

pat :: SmType'CaseCT t' -> t'

Type' t' => Tree (SmType'CaseCT t' :: Type)

Defined in HaScalaM.Instances.Type

Type' t' => WithBody t' (SmType'CaseCT t')

Defined in HaScalaM.Instances.Type

Methods

body :: SmType'CaseCT t' -> t'

Type' t' => Type'Case t' (SmType'CaseCT t')

Defined in HaScalaM.Instances.Type

t' ~ SmType' => Show (SmType'CaseCT t')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmType'CaseCT t' -> ShowS

show :: SmType'CaseCT t' -> String

showList :: [SmType'CaseCT t'] -> ShowS

data SmCtorPrimary m n p t' t pc where

Constructors

SmCtorPrimary

Fields

• :: (m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, pc ~ SmParamClauseT m n p t' t, ParamClauseT m n p t' t pc)
• => { modsCP :: [m]
•    , nameCP :: n
•    , paramClausesCP :: [pc]
•    } -> SmCtorPrimary m n p t' t pc

Instances

ParamClauseT m n p t' t pc => Primary m n p t' t pc (SmCtorPrimary m n p t' t pc)

Defined in HaScalaM.Instances.Tilde

Methods

mods :: SmCtorPrimary m n p t' t pc -> [m]

ParamClauseT m n p t' t pc => WithParamClauses m n p t' t pc (SmCtorPrimary m n p t' t pc)

Defined in HaScalaM.Instances.Tilde

Methods

paramClauses :: SmCtorPrimary m n p t' t pc -> [pc]

ParamClauseT m n p t' t pc => Ctor (SmCtorPrimary m n p t' t pc :: Type)

Defined in HaScalaM.Instances.Tilde

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

Defined in HaScalaM.Instances.Tilde

(m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, p ~ SmParamT m n t' t, pc ~ SmParamClauseT m n p t' t) => Show (SmCtorPrimary m n p t' t pc)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmCtorPrimary m n p t' t pc -> ShowS

show :: SmCtorPrimary m n p t' t pc -> String

showList :: [SmCtorPrimary m n p t' t pc] -> ShowS

data SmEnumerator where

Constructors

ECaseGenerator :: (p ~ SmPat, b ~ SmTerm, Pat p, Term b) => SmCaseGeneratorE p b -> SmEnumerator

EGenerator :: (p ~ SmPat, b ~ SmTerm, Pat p, Term b) => SmGeneratorE p b -> SmEnumerator

EGuard :: (b ~ SmTerm, Term b) => SmGuardE b -> SmEnumerator

EVal :: (p ~ SmPat, b ~ SmTerm, Pat p, Term b) => SmValE p b -> SmEnumerator

Instances

Show SmEnumerator

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmEnumerator -> ShowS

show :: SmEnumerator -> String

showList :: [SmEnumerator] -> ShowS

Tree SmEnumerator

Defined in HaScalaM.Instances.Enums

Enumerator SmEnumerator

Defined in HaScalaM.Instances.Enums

data SmImportee where

Constructors

SmGivenI

Fields

• :: (t' ~ SmType', Type' t')
• => { tpeGI :: t'
•    } -> SmImportee

SmGivenAllI :: SmImportee

SmNameI

Fields

• :: (n ~ SmName, Name n)
• => { nameNI :: n
•    } -> SmImportee

SmRenameI

Fields

• :: (n ~ SmName, Name n)
• => { nameRI :: n
•    , renameRI :: n
•    } -> SmImportee

SmUnimportI

Fields

• :: (n ~ SmName, Name n)
• => { nameUI :: n
•    } -> SmImportee

SmWildcardI :: SmImportee

Instances

Show SmImportee

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmImportee -> ShowS

show :: SmImportee -> String

showList :: [SmImportee] -> ShowS

Tree SmImportee

Defined in HaScalaM.Instances.Stat

Importee SmImportee

Defined in HaScalaM.Instances.Stat

data SmImporter r i where

Constructors

SmImporter

Fields

• :: (r ~ SmRef, i ~ SmImportee, RefT r, Importee i)
• => { refII :: r
•    , importeesII :: [i]
•    } -> SmImporter r i

Instances

(r ~ SmRef, i ~ SmImportee, RefT r, Importee i) => Importer r i (SmImporter r i)

Defined in HaScalaM.Instances.Stat

Methods

ref :: SmImporter r i -> r

importees :: SmImporter r i -> [i]

(RefT r, Importee i) => Tree (SmImporter r i :: Type)

Defined in HaScalaM.Instances.Stat

Show (SmImporter r i)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmImporter r i -> ShowS

show :: SmImporter r i -> String

showList :: [SmImporter r i] -> ShowS

data SmInit m n t' t ac where

Constructors

SmInit

Fields

• :: (m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, Name n, Type' t', ArgClauseT m t ac)
• => { tpeI :: t'
•    , nameI :: n
•    , argClausesI :: [ac]
•    } -> SmInit m n t' t ac

Instances

(m ~ SmMod, n ~ SmName, t' ~ SmType', ac ~ SmArgClauseT m t, Name n, Type' t', ArgClauseT m t ac) => Init m n t' t ac (SmInit m n t' t ac)

Defined in HaScalaM.Instances.Base

Methods

tpe :: SmInit m n t' t ac -> t'

name' :: SmInit m n t' t ac -> n

argClauses :: SmInit m n t' t ac -> [ac]

(Name n, Type' t', ArgClauseT m t ac) => Tree (SmInit m n t' t ac :: Type)

Defined in HaScalaM.Instances.Base

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

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmInit m n t' t ac -> ShowS

show :: SmInit m n t' t ac -> String

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

data SmMod where

Constructors

MAnnot :: (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) => SmAnnotM m n t' t ac i -> SmMod

MMod :: SmModM -> SmMod

MAccess :: (r ~ SmRef_, Ref r) => SmAccessM r -> SmMod

Instances

(i ~ SmInit m n t' t ac, r ~ SmRef_) => Show SmMod

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmMod -> ShowS

show :: SmMod -> String

showList :: [SmMod] -> ShowS

ArgsType SmMod

Defined in HaScalaM.Instances.Tilde

Mod SmMod

Defined in HaScalaM.Instances.Tilde

ParamsType SmMod

Defined in HaScalaM.Instances.Tilde

Tree SmMod

Defined in HaScalaM.Instances.Tilde

Variant SmMod

Defined in HaScalaM.Instances.Tilde

data SmName where

Constructors

NAnonymous :: SmAnonymousRT -> SmName

NName :: SmNameN -> SmName

NTName :: SmNameT -> SmName

NT'Name :: SmNameT' -> SmName

Instances

Show SmName

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmName -> ShowS

show :: SmName -> String

showList :: [SmName] -> ShowS

Name SmName

Defined in HaScalaM.Instances.Ref

Methods

value :: SmName -> String

Tree SmName

Defined in HaScalaM.Instances.Ref

data SmNameT where

Constructors

SmNameT

Fields

• :: { valueNT :: String
•    } -> SmNameT

Instances

Show SmNameT

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmNameT -> ShowS

show :: SmNameT -> String

showList :: [SmNameT] -> ShowS

Name SmNameT

Defined in HaScalaM.Instances.Ref

Methods

value :: SmNameT -> String

NameT SmNameT

Defined in HaScalaM.Instances.Ref

Tree SmNameT

Defined in HaScalaM.Instances.Ref

Stat s => Member SmNameT (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

name :: SmPkgS SmRef s -> SmNameT

Stat s => MemberT SmNameT (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

data SmNameT' where

Constructors

SmNameT'

Fields

• :: { valueNT' :: String
•    } -> SmNameT'

Instances

Show SmNameT'

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmNameT' -> ShowS

show :: SmNameT' -> String

showList :: [SmNameT'] -> ShowS

Name SmNameT'

Defined in HaScalaM.Instances.Ref

Methods

value :: SmNameT' -> String

NameT' SmNameT'

Defined in HaScalaM.Instances.Ref

Tree SmNameT'

Defined in HaScalaM.Instances.Ref

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

Constructors

SmParamClauseGroup

Fields

• :: (m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', ParamClauseT' m n p' t' b' pc', ParamClauseT m n p t' t pc)
• => { t'paramClausePCG :: pc'
•    , paramClausesPCG :: [pc]
•    } -> SmParamClauseGroup m n p p' t' b' t pc pc'

Instances

(ParamClauseT' m n p' t' b' pc', ParamClauseT m n p t' t pc) => ParamClauseGroup m n p p' t' b' t pc pc' (SmParamClauseGroup m n p p' t' b' t pc pc')

Defined in HaScalaM.Instances.Tilde

Methods

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

paramClauses' :: SmParamClauseGroup m n p p' t' b' t pc pc' -> [pc]

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

Defined in HaScalaM.Instances.Tilde

Show (SmParamClauseGroup m n p p' t' b' t pc pc')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmParamClauseGroup m n p p' t' b' t pc pc' -> ShowS

show :: SmParamClauseGroup m n p p' t' b' t pc pc' -> String

showList :: [SmParamClauseGroup m n p p' t' b' t pc pc'] -> ShowS

data SmPatP where

Constructors

SmAlternativeP

Fields

• :: (p ~ SmPat, Pat p)
• => { lhsAP :: p
•    , rhsAP :: p
•    } -> SmPatP

SmBindP

Fields

• :: (p ~ SmPat, Pat p)
• => { lhsBP :: p
•    , rhsBP :: p
•    } -> SmPatP

SmGivenP

Fields

• :: (t' ~ SmType', Type' t')
• => { tpeGP :: t'
•    } -> SmPatP

SmInterpolateP

Fields

• :: (tn ~ SmNameT, l ~ SmLit, p ~ SmPat, NameT tn, Lit l, Pat p)
• => { prefixIP :: tn
•    , partsIP :: [l]
•    , argsIP :: [p]
•    } -> SmPatP

SmNameP

Fields

• :: (tn ~ SmNameT, NameT tn)
• => { nameP :: tn
•    } -> SmPatP

SmRepeatedP

Fields

• :: (tn ~ SmNameT, NameT tn)
• => { nameRP :: tn
•    } -> SmPatP

SmSelectP

Fields

• :: (tn ~ SmNameT, t ~ SmTerm, NameT tn, Term t)
• => { seleP :: SmSelectRT tn t
•    } -> SmPatP

SmSeqWildcardP :: SmPatP

SmTypedP

Fields

• :: (p ~ SmPat, t' ~ SmType', Type' t', Pat p, Type' t')
• => { lhsTP :: p
•    , rhsTP :: t'
•    } -> SmPatP

SmWildcardP :: SmPatP

SmXmlP

Fields

• :: (l ~ SmLit, p ~ SmPat, Lit l, Pat p)
• => { partsXP :: [l]
•    , argsXP :: [p]
•    } -> SmPatP

Instances

Tree SmPatP

Defined in HaScalaM.Instances.Pat

data SmPat where

Constructors

PExtract :: (t ~ SmTerm, p ~ SmPat, ac ~ SmArgClauseP p, Term t, Pat p, ArgClauseP p ac) => SmExtractP t p ac -> SmPat

PExtractInfix :: (tn ~ SmNameT, p ~ SmPat, ac ~ SmArgClauseP p, NameT tn, Pat p, ArgClauseP p ac) => SmExtractInfixP tn p ac -> SmPat

PLit :: SmLit -> SmPat

PMacro :: (t ~ SmTerm, Term t) => SmMacroP t -> SmPat

PPat :: SmPatP -> SmPat

PTuple :: (p ~ SmPat, Pat p) => SmTupleP p -> SmPat

PVar :: (tn ~ SmNameT, NameT tn) => SmVarP tn -> SmPat

Instances

Show SmPat

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmPat -> ShowS

show :: SmPat -> String

showList :: [SmPat] -> ShowS

Tree SmPat

Defined in HaScalaM.Instances.Pat

Pat SmPat

Defined in HaScalaM.Instances.Pat

data SmArgClauseP p where

Constructors

SmArgClauseP

Fields

• :: (p ~ SmPat, Pat p)
• => { valuesACP :: [p]
•    } -> SmArgClauseP p

Instances

Pat p => ArgClause p (SmArgClauseP p)

Defined in HaScalaM.Instances.Pat

Pat p => SyntaxValuesClauses p (SmArgClauseP p)

Defined in HaScalaM.Instances.Pat

Methods

values :: SmArgClauseP p -> [p]

Pat p => Tree (SmArgClauseP p :: Type)

Defined in HaScalaM.Instances.Pat

Pat p => ArgClauseP p (SmArgClauseP p)

Defined in HaScalaM.Instances.Pat

Pat p => WithPats p (SmArgClauseP p)

Defined in HaScalaM.Instances.Pat

Methods

pats :: SmArgClauseP p -> [p]

Show (SmArgClauseP p)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmArgClauseP p -> ShowS

show :: SmArgClauseP p -> String

showList :: [SmArgClauseP p] -> ShowS

data SmRef_ where

Constructors

RImportee :: SmImportee -> SmRef_

RInit :: (m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, Name n, Type' t', ArgClauseT m t ac) => SmInit m n t' t ac -> SmRef_

RName :: SmName -> SmRef_

R_TRef :: SmRef -> SmRef_

R_T'Ref :: SmRef' -> SmRef_

Instances

Show SmRef_

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmRef_ -> ShowS

show :: SmRef_ -> String

showList :: [SmRef_] -> ShowS

Ref SmRef_

Defined in HaScalaM.Instances.Ref

Tree SmRef_

Defined in HaScalaM.Instances.Ref

data SmRef where

Constructors

RTAnonymous :: SmAnonymousRT -> SmRef

RTName :: SmNameT -> SmRef

RTRef :: (n ~ SmNameT, t ~ SmTerm) => SmRefT n t -> SmRef

RTSelect :: (tn ~ SmNameT, t ~ SmTerm, Name tn, Term t) => SmSelectRT tn t -> SmRef

Instances

Show SmRef

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmRef -> ShowS

show :: SmRef -> String

showList :: [SmRef] -> ShowS

Tree SmRef

Defined in HaScalaM.Instances.Ref

RefT SmRef

Defined in HaScalaM.Instances.Ref

Stat s => Member SmNameT (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

name :: SmPkgS SmRef s -> SmNameT

Stat s => Tree (SmPkgS SmRef s :: Type)

Defined in HaScalaM.Instances.Stat

Stat s => WithExprs s (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

exprs :: SmPkgS SmRef s -> [s]

Stat s => WithStats s (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

stats :: SmPkgS SmRef s -> [s]

Stat s => MemberT SmNameT (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

data SmRef' where

Constructors

RT'Name :: SmNameT' -> SmRef'

RT'Ref :: (t'n ~ SmNameT', t' ~ SmType', r ~ SmRef) => SmRefT' t'n t' r -> SmRef'

Instances

Show SmRef'

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmRef' -> ShowS

show :: SmRef' -> String

showList :: [SmRef'] -> ShowS

Tree SmRef'

Defined in HaScalaM.Instances.Ref

RefT' SmRef'

Defined in HaScalaM.Instances.Ref

data SmSelf n t' where

Constructors

SmSelf

Fields

• :: (n ~ SmName, t' ~ SmType', Name n, Type' t')
• => { nameS :: n
•    , decltpeOptS :: Maybe t'
•    } -> SmSelf n t'

Instances

(n ~ SmName, t' ~ SmType', Name n, Type' t') => Self n t' (SmSelf n t')

Defined in HaScalaM.Instances.Tilde

(Name n, Type' t') => Member n (SmSelf n t')

Defined in HaScalaM.Instances.Tilde

Methods

name :: SmSelf n t' -> n

(Name n, Type' t') => Tree (SmSelf n t' :: Type)

Defined in HaScalaM.Instances.Tilde

(Name n, Type' t') => WithDeclTpeOpt t' (SmSelf n t')

Defined in HaScalaM.Instances.Tilde

Methods

decltpe' :: SmSelf n t' -> Maybe t'

(n ~ SmName, t' ~ SmType') => Show (SmSelf n t')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmSelf n t' -> ShowS

show :: SmSelf n t' -> String

showList :: [SmSelf n t'] -> ShowS

data SmStat where

Constructors

S'' :: String -> SmStat

SCtorSecondary :: (m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, t' ~ SmType', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, s ~ SmStat, ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => SmCtorSecondaryS m n p t' t pc ac i s -> SmStat

SDef' :: (m ~ SmMod, n ~ SmName, tn ~ SmNameT, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', g ~ SmParamClauseGroup m n p p' t' b' t pc pc', NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => SmDef'S m n tn p p' t' b' t pc pc' g -> SmStat

SGiven' :: (m ~ SmMod, n ~ SmName, tn ~ SmNameT, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', g ~ SmParamClauseGroup m n p p' t' b' t pc pc', NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => SmGiven'S m n tn p p' t' b' t pc pc' g -> SmStat

SType' :: (m ~ SmMod, n ~ SmName, t'n ~ SmNameT', p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', pc' ~ SmParamClauseT' m n p' t' b', NameT' t'n, ParamClauseT' m n p' t' b' pc') => SmType'S m n t'n p' t' b' pc' -> SmStat

SVal' :: (m ~ SmMod, p ~ SmPat, t' ~ SmType', Mod m, Pat p, Type' t') => SmVal'S m p t' -> SmStat

SVar' :: (m ~ SmMod, p ~ SmPat, t' ~ SmType', Mod m, Pat p, Type' t') => SmVar'S m p t' -> SmStat

SClass :: (m ~ SmMod, n ~ SmName, t'n ~ SmNameT', p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', c ~ SmCtorPrimary m n p t' t pc, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, f ~ SmSelf n t', s ~ SmStat, e ~ SmTemplate m n t' t ac i f s, NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => SmClassS m n t'n p p' t' b' t pc pc' c ac i f s e -> SmStat

SDef :: (m ~ SmMod, n ~ SmName, tn ~ SmNameT, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', g ~ SmParamClauseGroup m n p p' t' b' t pc pc', NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => SmDefS m n tn p p' t' b' t pc pc' g -> SmStat

SEnum :: (m ~ SmMod, n ~ SmName, t'n ~ SmNameT', p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', c ~ SmCtorPrimary m n p t' t pc, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, f ~ SmSelf n t', s ~ SmStat, e ~ SmTemplate m n t' t ac i f s, NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => SmEnumS m n t'n p p' t' b' t pc pc' c ac i f s e -> SmStat

SEnumCase :: (m ~ SmMod, n ~ SmName, tn ~ SmNameT, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', c ~ SmCtorPrimary m n p t' t pc, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, NameT tn, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Init m n t' t ac i) => SmEnumCaseS m n tn p p' t' b' t pc pc' c ac i -> SmStat

SExtensionGroup :: (m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', s ~ SmStat, g ~ SmParamClauseGroup m n p p' t' b' t pc pc', ParamClauseGroup m n p p' t' b' t pc pc' g, Stat s) => SmExtensionGroupS m n p p' t' b' t pc pc' s g -> SmStat

SGiven :: (m ~ SmMod, n ~ SmName, tn ~ SmNameT, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', g ~ SmParamClauseGroup m n p p' t' b' t pc pc', ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, f ~ SmSelf n t', s ~ SmStat, e ~ SmTemplate m n t' t ac i f s, ParamClauseGroup m n p p' t' b' t pc pc' g, Template m n t' t ac i f s e) => SmGivenS m n p p' t' b' t pc pc' ac i f s e g -> SmStat

SImpExp :: (r ~ SmRef, i ~ SmImportee, t ~ SmImporter r i, Importer r i t) => SmImportExportStatS r i t -> SmStat

SGivenAlias :: (m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', g ~ SmParamClauseGroup m n p p' t' b' t pc pc', ParamClauseGroup m n p p' t' b' t pc pc' g) => SmGivenAliasS m n p p' t' b' t pc pc' g -> SmStat

SMacro :: (m ~ SmMod, n ~ SmName, tn ~ SmNameT, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', g ~ SmParamClauseGroup m n p p' t' b' t pc pc', NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => SmMacroS m n tn p p' t' b' t pc pc' g -> SmStat

SObject :: (m ~ SmMod, n ~ SmName, tn ~ SmNameT, p ~ SmParamT m n t' t, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, f ~ SmSelf n t', s ~ SmStat, e ~ SmTemplate m n t' t ac i f s, NameT tn, Template m n t' t ac i f s e) => SmObjectS m n tn t' t ac i f s e -> SmStat

SPkg :: (r ~ SmRef, s ~ SmStat, RefT r, Stat s) => SmPkgS r s -> SmStat

SPkgObject :: (m ~ SmMod, n ~ SmName, tn ~ SmNameT, p ~ SmParamT m n t' t, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, f ~ SmSelf n t', s ~ SmStat, e ~ SmTemplate m n t' t ac i f s, NameT tn, Template m n t' t ac i f s e) => SmPkgObjectS m n tn t' t ac i f s e -> SmStat

SRepeatedEnumCase :: (m ~ SmMod, tn ~ SmNameT, Mod m, NameT tn) => SmRepeatedEnumCase m tn -> SmStat

STerm :: SmTerm -> SmStat

STrait :: (m ~ SmMod, n ~ SmName, t'n ~ SmNameT', p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', c ~ SmCtorPrimary m n p t' t pc, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, f ~ SmSelf n t', s ~ SmStat, e ~ SmTemplate m n t' t ac i f s, NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => SmTraitS m n t'n p p' t' b' t pc pc' c ac i f s e -> SmStat

SType :: (m ~ SmMod, n ~ SmName, t'n ~ SmNameT', p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', pc' ~ SmParamClauseT' m n p' t' b', NameT' t'n, ParamClauseT' m n p' t' b' pc') => SmTypeS m n t'n p' t' b' pc' -> SmStat

SVal :: (m ~ SmMod, p ~ SmPat, t' ~ SmType', t ~ SmTerm, Mod m, Pat p, Type' t', Term t) => SmValS m p t' t -> SmStat

SVar :: (m ~ SmMod, p ~ SmPat, t' ~ SmType', t ~ SmTerm, Mod m, Pat p, Type' t', Term t) => SmVarS m p t' t -> SmStat

Instances

Show SmStat

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmStat -> ShowS

show :: SmStat -> String

showList :: [SmStat] -> ShowS

Stat SmStat

Defined in HaScalaM.Instances.Stat

Tree SmStat

Defined in HaScalaM.Instances.Stat

data SmSource s where

Constructors

SmSource

Fields

• :: (s ~ SmStat, Stat s)
• => { statsS :: [s]
•    } -> SmSource s

Instances

Stat s => Source s (SmSource s)

Defined in HaScalaM.Instances.Tilde

Stat s => Tree (SmSource s :: Type)

Defined in HaScalaM.Instances.Tilde

Stat s => WithExprs s (SmSource s)

Defined in HaScalaM.Instances.Tilde

Methods

exprs :: SmSource s -> [s]

Stat s => WithStats s (SmSource s)

Defined in HaScalaM.Instances.Tilde

Methods

stats :: SmSource s -> [s]

Show (SmSource s)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmSource s -> ShowS

show :: SmSource s -> String

showList :: [SmSource s] -> ShowS

data SmTemplate m n t' t ac i p s where

Constructors

SmTemplate

Fields

• :: (m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, s ~ SmStat, p ~ SmSelf n t', Init m n t' t ac i, Stat s, Self n t' p)
• => { earlyT :: [s]
•    , initsT :: [i]
•    , selfT :: p
•    , statsT :: [s]
•    , derivesT :: [t']
•    } -> SmTemplate m n t' t ac i p s

Instances

(Init m n t' t ac i, Stat s, Self n t' p) => Template m n t' t ac i p s (SmTemplate m n t' t ac i p s)

Defined in HaScalaM.Instances.Tilde

Methods

early :: SmTemplate m n t' t ac i p s -> [s]

inits :: SmTemplate m n t' t ac i p s -> [i]

self :: SmTemplate m n t' t ac i p s -> p

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

derives :: SmTemplate m n t' t ac i p s -> [t']

(Init m n t' t ac i, Stat s, Self n t' p) => Tree (SmTemplate m n t' t ac i p s :: Type)

Defined in HaScalaM.Instances.Tilde

(Init m n t' t ac i, Stat s, Self n t' p) => WithExprs s (SmTemplate m n t' t ac i p s)

Defined in HaScalaM.Instances.Tilde

Methods

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

(Init m n t' t ac i, Stat s, Self n t' p) => WithStats s (SmTemplate m n t' t ac i p s)

Defined in HaScalaM.Instances.Tilde

Methods

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

Show (SmTemplate m n t' t ac i p s)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmTemplate m n t' t ac i p s -> ShowS

show :: SmTemplate m n t' t ac i p s -> String

showList :: [SmTemplate m n t' t ac i p s] -> ShowS

data SmTermT where

Constructors

SmAnnotateT

Fields

• :: (m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, n ~ SmName, a ~ SmAnnotM m n t' t ac i, Annot m n t' t ac i a)
• => { exprAnnT :: t
•    , annotsAnnT :: [a]
•    } -> SmTermT

SmAnonymousFunctionT

Fields

• :: (t ~ SmTerm, Term t)
• => { bodyAFT :: t
•    } -> SmTermT

SmAscribeT

Fields

• :: (t ~ SmTerm, t' ~ SmType', Term t, Type' t')
• => { exprAscrT :: t
•    , tpeAscrT :: t'
•    } -> SmTermT

SmEndMarkerT

Fields

• :: (tn ~ SmNameT, NameT tn)
• => { nameEMT :: tn
•    } -> SmTermT

SmEtaT

Fields

• :: (t ~ SmTerm, Term t)
• => { exprEtaT :: t
•    } -> SmTermT

SmInterpolateT

Fields

• :: (tn ~ SmNameT, l ~ SmLit, t ~ SmTerm, NameT tn, Lit l, Term t)
• => { prefixIT :: tn
•    , partsIT :: [l]
•    , argsIT :: [t]
•    } -> SmTermT

SmNewT

Fields

• :: (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)
• => { initN :: i
•    } -> SmTermT

SmPlaceholder :: SmTermT

SmQuotedMacroExprT

Fields

• :: (t ~ SmTerm, Term t)
• => { bodyQMET :: t
•    } -> SmTermT

SmQuotedMacroType'T

Fields

• :: (t' ~ SmType', Type' t')
• => { tpeQMT'T :: t'
•    } -> SmTermT

SmRepeatedT

Fields

• :: (t ~ SmTerm, Term t)
• => { exprRepT :: t
•    } -> SmTermT

SmReturnT

Fields

• :: (t ~ SmTerm, Term t)
• => { exprRetT :: t
•    } -> SmTermT

SmSplicedMacroExprT

Fields

• :: (t ~ SmTerm, Term t)
• => { bodySMET :: t
•    } -> SmTermT

SmSplicedMacroPatT

Fields

• :: (p ~ SmPat, Pat p)
• => { patSMPT :: p
•    } -> SmTermT

SmThrowT

Fields

• :: (t ~ SmTerm, Term t)
• => { exprThrT :: t
•    } -> SmTermT

SmTryWithHandlerT

Fields

• :: (t ~ SmTerm, Term t)
• => { exprTWHT :: t
•    , catchpTWHT :: t
•    , finallypTWHT :: t
•    } -> SmTermT

SmXmlT

Fields

• :: (l ~ SmLit, t ~ SmTerm, Lit l, Term t)
• => { partsXT :: [l]
•    , argsXT :: [t]
•    } -> SmTermT

data SmTerm where

Constructors

T'' :: String -> SmTerm

TApply :: (m ~ SmMod, t ~ SmTerm, ac ~ SmArgClauseT m t, ArgClauseT m t ac) => SmApplyT m t ac -> SmTerm

TApplyInfix :: (m ~ SmMod, tn ~ SmNameT, t' ~ SmType', t ~ SmTerm, ac' ~ SmArgClauseT' t', ac ~ SmArgClauseT m t, NameT tn, ArgClauseT' t' ac', ArgClauseT m t ac) => SmApplyInfixT m tn t t' ac' ac -> SmTerm

TApplyType' :: (t ~ SmTerm, t' ~ SmType', ac' ~ SmArgClauseT' t', Term t, ArgClauseT' t' ac') => SmApplyType'T t t' ac' -> SmTerm

TAssign :: (t ~ SmTerm, Term t) => SmAssignT t -> SmTerm

TBlock :: (s ~ SmStat, Stat s) => SmBlockT s -> SmTerm

TContextFunction :: (m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, t' ~ SmType', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, ParamClauseT m n p t' t pc) => SmContextFunctionT m n p t' t pc -> SmTerm

TDo :: (t ~ SmTerm, Term t) => SmDoT t -> SmTerm

TFor :: (e ~ SmEnumerator, t ~ SmTerm, Enumerator e, Term t) => SmForT e t -> SmTerm

TForYield :: (e ~ SmEnumerator, t ~ SmTerm, Enumerator e, Term t) => SmForYieldT e t -> SmTerm

TFunction :: (m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, t' ~ SmType', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, ParamClauseT m n p t' t pc) => SmFunctionT m n p t' t pc -> SmTerm

TIf :: (m ~ SmMod, t ~ SmTerm, Mod m, Term t) => SmIfT m t -> SmTerm

TLit :: SmLit -> SmTerm

TMatch :: (p ~ SmPat, t ~ SmTerm, ct ~ SmCaseCT p t, Case p t ct) => SmMatchT p t ct -> SmTerm

TNewAnonymous :: (m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, p ~ SmSelf n t', s ~ SmStat, e ~ SmTemplate m n t' t ac i p s, Template m n t' t ac i p s e) => SmNewAnonymousT m n t' t ac i p s e -> SmTerm

TPartialFunction :: (p ~ SmPat, t ~ SmTerm, ct ~ SmCaseCT p t, Case p t ct) => SmPartialFunctionT p t ct -> SmTerm

TPolyFunction :: (m ~ SmMod, n ~ SmName, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', pc' ~ SmParamClauseT' m n p' t' b', t ~ SmTerm, ParamClauseT' m n p' t' b' pc', Term t) => SmPolyFunctionT m n p' t' b' pc' t -> SmTerm

TRef :: SmRef -> SmTerm

TTerm :: SmTermT -> SmTerm

TTry :: (p ~ SmPat, t ~ SmTerm, ct ~ SmCaseCT p t, Case p t ct) => SmTryT p t ct -> SmTerm

TTuple :: (t ~ SmTerm, Term t) => SmTupleT t -> SmTerm

TWhile :: (t ~ SmTerm, Term t) => SmWhileT t -> SmTerm

Instances

Show SmTerm

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmTerm -> ShowS

show :: SmTerm -> String

showList :: [SmTerm] -> ShowS

Tree SmTerm

Defined in HaScalaM.Instances.Term

Term SmTerm

Defined in HaScalaM.Instances.Term

data SmArgClauseT m t where

Constructors

SmArgClauseT

Fields

• :: (m ~ SmMod, t ~ SmTerm, ArgsType m, Term t)
• => { valuesACT :: [t]
•    , modACT :: Maybe m
•    } -> SmArgClauseT m t

Instances

(m ~ SmMod, t ~ SmTerm, ArgsType m, Term t) => ArgClauseT m t (SmArgClauseT m t)

Defined in HaScalaM.Instances.Term

Methods

mod :: SmArgClauseT m t -> Maybe m

(t ~ SmTerm, ArgsType m, Term t) => ArgClause t (SmArgClauseT m t)

Defined in HaScalaM.Instances.Term

(t ~ SmTerm, ArgsType m, Term t) => SyntaxValuesClauses t (SmArgClauseT m t)

Defined in HaScalaM.Instances.Term

Methods

values :: SmArgClauseT m t -> [t]

(ArgsType m, Term t) => Tree (SmArgClauseT m t :: Type)

Defined in HaScalaM.Instances.Term

(m ~ SmMod, t ~ SmTerm) => Show (SmArgClauseT m t)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmArgClauseT m t -> ShowS

show :: SmArgClauseT m t -> String

showList :: [SmArgClauseT m t] -> ShowS

data SmParamT m n t' t where

Constructors

SmParamT

Fields

• :: (m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, Mod m, Name n, Type' t', Term t)
• => { modsPT :: [m]
•    , namePT :: n
•    , decltpeOptPT :: Maybe t'
•    , defaultOptPT :: Maybe t
•    } -> SmParamT m n t' t

Instances

(Mod m, Name n, Type' t', Term t) => Param m n (SmParamT m n t' t)

Defined in HaScalaM.Instances.Term

Methods

mods' :: SmParamT m n t' t -> [m]

(Mod m, Name n, Type' t', Term t) => ParamT m n (SmParamT m n t' t) t' t

Defined in HaScalaM.Instances.Term

Methods

defaultOpt :: SmParamT m n t' t -> Maybe t

(Mod m, Name n, Type' t', Term t) => Member n (SmParamT m n t' t)

Defined in HaScalaM.Instances.Term

Methods

name :: SmParamT m n t' t -> n

(Mod m, Name n, Type' t', Term t) => Tree (SmParamT m n t' t :: Type)

Defined in HaScalaM.Instances.Term

(Mod m, Name n, Type' t', Term t) => WithDeclTpeOpt t' (SmParamT m n t' t)

Defined in HaScalaM.Instances.Term

Methods

decltpe' :: SmParamT m n t' t -> Maybe t'

(m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm) => Show (SmParamT m n t' t)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmParamT m n t' t -> ShowS

show :: SmParamT m n t' t -> String

showList :: [SmParamT m n t' t] -> ShowS

data SmParamClauseT m n p t' t where

Constructors

SmParamClauseT

Fields

• :: (p ~ SmParamT m n t' t, ParamsType m, ParamT m n p t' t)
• => { valuesPCT :: [p]
•    , modPCT :: Maybe m
•    } -> SmParamClauseT m n p t' t

Instances

(p ~ SmParamT m n t' t, ParamsType m, ParamT m n p t' t) => ParamClauseT m n p t' t (SmParamClauseT m n p t' t)

Defined in HaScalaM.Instances.Term

Methods

mod' :: SmParamClauseT m n p t' t -> Maybe m

(p ~ SmParamT m n t' t, ParamsType m, ParamT m n p t' t) => ParamClause m n p (SmParamClauseT m n p t' t)

Defined in HaScalaM.Instances.Term

(p ~ SmParamT m n t' t, ParamsType m, ParamT m n p t' t) => SyntaxValuesClauses p (SmParamClauseT m n p t' t)

Defined in HaScalaM.Instances.Term

Methods

values :: SmParamClauseT m n p t' t -> [p]

(p ~ SmParamT m n t' t, ParamsType m, ParamT m n p t' t) => Tree (SmParamClauseT m n p t' t :: Type)

Defined in HaScalaM.Instances.Term

(m ~ SmMod, t' ~ SmType', n ~ SmName, t ~ SmTerm, p ~ SmParamT m n t' t) => Show (SmParamClauseT m n p t' t)

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmParamClauseT m n p t' t -> ShowS

show :: SmParamClauseT m n p t' t -> String

showList :: [SmParamClauseT m n p t' t] -> ShowS

data SmType'T' where

Constructors

SmAndT'

Fields

• :: (t' ~ SmType', Type' t')
• => { lhsAndT' :: t'
•    , rhsAndT' :: t'
•    } -> SmType'T'

SmAnnotateT'

Fields

• :: (m ~ SmMod, n ~ SmName, t' ~ SmType', ac ~ SmArgClauseT m t, a ~ SmAnnotM m n t' t ac i, i ~ SmInit m n t' t ac, Annot m n t' t ac i a)
• => { tpeAnnT' :: t'
•    , annotsAnnT' :: [a]
•    } -> SmType'T'

SmAnonymousLambdaT'

Fields

• :: (t' ~ SmType', Type' t')
• => { tpeALT' :: t'
•    } -> SmType'T'

SmAnonymousNameT' :: SmType'T'

SmAnonymousParamT'

Fields

• :: (m ~ SmMod, Variant m)
• => { variantAPT' :: Maybe m
•    } -> SmType'T'

SmBlockT'

Fields

• :: (m ~ SmMod, n ~ SmName, t'n ~ SmNameT', p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', pc' ~ SmParamClauseT' m n p' t' b', t'd ~ SmType'Def m n t'n p' t' b' pc', Type'Def m n t'n p' t' b' pc' t'd)
• => { type'DefsBT' :: [t'd]
•    , tpeBT' :: t'
•    } -> SmType'T'

SmByNameT'

Fields

• :: (t' ~ SmType', Type' t')
• => { tpeBNT' :: t'
•    } -> SmType'T'

SmImplicitFunctionT'

Fields

• :: (t' ~ SmType', Type' t')
• => { paramsIFT' :: [t']
•    , resIFT' :: t'
•    } -> SmType'T'

SmMethodT'

Fields

• :: (m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, t ~ SmTerm, t' ~ SmType', pc ~ SmParamClauseT m n p t' t, ParamClauseT m n p t' t pc)
• => { paramClausesMT' :: [pc]
•    , tpeMthT' :: t'
•    } -> SmType'T'

SmOrT'

Fields

• :: (t' ~ SmType', Type' t')
• => { lhsOrT' :: t'
•    , rhsOrT' :: t'
•    } -> SmType'T'

SmRepeatedT'

Fields

• :: (t' ~ SmType', Type' t')
• => { tpeRpT' :: t'
•    } -> SmType'T'

SmPatWildcardT' :: SmType'T'

SmWithT'

Fields

• :: (t' ~ SmType', Type' t')
• => { lhsWT' :: t'
•    , rhsWT' :: t'
•    } -> SmType'T'

SmWildcardT'

Fields

• :: (t' ~ SmType', b' ~ SmBounds' t', Type' t', Bounds' t' b')
• => { boundsWT' :: b'
•    } -> SmType'T'

data SmType' where

Constructors

T'Apply :: (n ~ SmName, t' ~ SmType', ac' ~ SmArgClauseT' t', ArgClauseT' t' ac') => SmApplyT' t' ac' -> SmType'

T'ApplyInfix :: (t'n ~ SmNameT', t' ~ SmType', NameT' t'n, Type' t') => SmApplyInfixT' t'n t' -> SmType'

T'ContextFunction :: (t' ~ SmType', Type' t') => SmContextFunctionT' t' -> SmType'

T'Existential :: (t' ~ SmType', s ~ SmStat, Type' t', Stat s) => SmExistentialT' t' s -> SmType'

T'Function :: (t' ~ SmType', Type' t') => SmFunctionT' t' -> SmType'

T'Lambda :: (m ~ SmMod, n ~ SmName, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', pc' ~ SmParamClauseT' m n p' t' b', ParamClauseT' m n p' t' b' pc') => SmLambdaT' m n p' t' b' pc' -> SmType'

T'Lit :: SmLit -> SmType'

T'Macro :: (t ~ SmTerm, Term t) => SmMacroT' t -> SmType'

T'Match :: (t' ~ SmType', ct ~ SmType'CaseCT t', Type'Case t' ct) => SmMatchT' t' ct -> SmType'

T'PolyFunction :: (m ~ SmMod, n ~ SmName, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', pc' ~ SmParamClauseT' m n p' t' b', ParamClauseT' m n p' t' b' pc') => SmPolyFunctionT' m n p' t' b' pc' -> SmType'

T'Ref :: SmRef' -> SmType'

T'Refine :: (t' ~ SmType', s ~ SmStat, Type' t', Stat s) => SmRefineT' t' s -> SmType'

T'Tuple :: (t' ~ SmType', Type' t') => SmTupleT' t' -> SmType'

T'Type' :: SmType'T' -> SmType'

T'Var :: (t'n ~ SmNameT', NameT' t'n) => SmVarT' t'n -> SmType'

Instances

Show SmType'

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmType' -> ShowS

show :: SmType' -> String

showList :: [SmType'] -> ShowS

Tree SmType'

Defined in HaScalaM.Instances.Type

Type' SmType'

Defined in HaScalaM.Instances.Type

data SmArgClauseT' t' where

Constructors

SmArgClauseT'

Fields

• :: (t' ~ SmType', Type' t')
• => { valuesACACT' :: [t']
•    } -> SmArgClauseT' t'

Instances

Type' t' => ArgClause t' (SmArgClauseT' t')

Defined in HaScalaM.Instances.Type

Type' t' => SyntaxValuesClauses t' (SmArgClauseT' t')

Defined in HaScalaM.Instances.Type

Methods

values :: SmArgClauseT' t' -> [t']

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

Defined in HaScalaM.Instances.Type

Type' t' => ArgClauseT' t' (SmArgClauseT' t')

Defined in HaScalaM.Instances.Type

t' ~ SmType' => Show (SmArgClauseT' t')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmArgClauseT' t' -> ShowS

show :: SmArgClauseT' t' -> String

showList :: [SmArgClauseT' t'] -> ShowS

data SmBounds' t' where

Constructors

SmBounds'

Fields

• :: (t' ~ SmType', Type' t')
• => { loB' :: Maybe t'
•    , hiB' :: Maybe t'
•    } -> SmBounds' t'

Instances

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

Defined in HaScalaM.Instances.Type

Type' t' => Bounds' t' (SmBounds' t')

Defined in HaScalaM.Instances.Type

Methods

lo :: SmBounds' t' -> Maybe t'

hi :: SmBounds' t' -> Maybe t'

t' ~ SmType' => Show (SmBounds' t')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmBounds' t' -> ShowS

show :: SmBounds' t' -> String

showList :: [SmBounds' t'] -> ShowS

data SmType'Def m n t'n p' t' b' pc' where

Constructors

T'DType' :: SmType'S m n t'n p' t' b' pc' -> SmType'Def m n t'n p' t' b' pc'

T'DType :: SmTypeS m n t'n p' t' b' pc' -> SmType'Def m n t'n p' t' b' pc'

Instances

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Type'Def m n t'n p' t' b' pc' (SmType'Def m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

bounds' :: SmType'Def m n t'n p' t' b' pc' -> b'

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => WithT'ParamClause m n p' t' b' pc' (SmType'Def m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

t'paramClause :: SmType'Def m n t'n p' t' b' pc' -> pc'

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Member t'n (SmType'Def m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

name :: SmType'Def m n t'n p' t' b' pc' -> t'n

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Tree (SmType'Def m n t'n p' t' b' pc' :: Type)

Defined in HaScalaM.Instances.Type

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => WithMods m (SmType'Def m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

mods :: SmType'Def m n t'n p' t' b' pc' -> [m]

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => MemberT' t'n (SmType'Def m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Type

(m ~ SmMod, n ~ SmName, t'n ~ SmNameT', p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', pc' ~ SmParamClauseT' m n p' t' b') => Show (SmType'Def m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmType'Def m n t'n p' t' b' pc' -> ShowS

show :: SmType'Def m n t'n p' t' b' pc' -> String

showList :: [SmType'Def m n t'n p' t' b' pc'] -> ShowS

data SmParamT' m n t' b' where

Constructors

SmParamT'

Fields

• :: (n ~ SmName, p' ~ SmParamT' m n t' b', pc' ~ SmParamClauseT' m n p' t' b', Mod m, Name n, Bounds' t' b')
• => { modsPT' :: [m]
•    , namePT' :: n
•    , t'paramClausePT' :: pc'
•    , tboundsPT' :: b'
•    , vboundsPT' :: [t']
•    , cboundsPT' :: [t']
•    } -> SmParamT' m n t' b'

Instances

(p' ~ SmParamT' m n t' b', pc' ~ SmParamClauseT' m n p' t' b', Mod m, Name n, Bounds' t' b', ParamT' m n p' t' b' pc', ParamClauseT' m n p' t' b' pc') => WithT'ParamClause m n p' t' b' pc' (SmParamT' m n t' b')

Defined in HaScalaM.Instances.Type

Methods

t'paramClause :: SmParamT' m n t' b' -> pc'

(Mod m, Name n, Bounds' t' b') => Param m n (SmParamT' m n t' b')

Defined in HaScalaM.Instances.Type

Methods

mods' :: SmParamT' m n t' b' -> [m]

(p' ~ SmParamT' m n t' b', pc' ~ SmParamClauseT' m n p' t' b', Mod m, Name n, Bounds' t' b') => ParamT' m n (SmParamT' m n t' b') t' b' pc'

Defined in HaScalaM.Instances.Type

Methods

tbounds' :: SmParamT' m n t' b' -> b'

vbounds' :: SmParamT' m n t' b' -> [t']

cbounds' :: SmParamT' m n t' b' -> [t']

(Mod m, Name n, Bounds' t' b') => Member n (SmParamT' m n t' b')

Defined in HaScalaM.Instances.Type

Methods

name :: SmParamT' m n t' b' -> n

(Mod m, Name n, Bounds' t' b') => Tree (SmParamT' m n t' b' :: Type)

Defined in HaScalaM.Instances.Type

(m ~ SmMod, n ~ SmName, t' ~ SmType', b' ~ SmBounds' t', p' ~ SmParamT' m n t' b', pc' ~ SmParamClauseT' m n p' t' b') => Show (SmParamT' m n t' b')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmParamT' m n t' b' -> ShowS

show :: SmParamT' m n t' b' -> String

showList :: [SmParamT' m n t' b'] -> ShowS

data SmParamClauseT' m n p' t' b' where

Constructors

SmParamClauseT'

Fields

• :: (p' ~ SmParamT' m n t' b', Mod m, Name n, Bounds' t' b')
• => { valuesPCT' :: [p']
•    } -> SmParamClauseT' m n p' t' b'

Instances

(p' ~ SmParamT' m n t' b', Mod m, Name n, Bounds' t' b') => ParamClauseT' m n p' t' b' (SmParamClauseT' m n p' t' b')

Defined in HaScalaM.Instances.Type

(p' ~ SmParamT' m n t' b', Mod m, Name n, Bounds' t' b') => ParamClause m n p' (SmParamClauseT' m n p' t' b')

Defined in HaScalaM.Instances.Type

(p' ~ SmParamT' m n t' b', Mod m, Name n, Bounds' t' b') => SyntaxValuesClauses p' (SmParamClauseT' m n p' t' b')

Defined in HaScalaM.Instances.Type

Methods

values :: SmParamClauseT' m n p' t' b' -> [p']

(Mod m, Name n, Bounds' t' b') => Tree (SmParamClauseT' m n p' t' b' :: Type)

Defined in HaScalaM.Instances.Type

(m ~ SmMod, n ~ SmName, t' ~ SmType', b' ~ SmBounds' t', p' ~ SmParamT' m n t' b') => Show (SmParamClauseT' m n p' t' b')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> SmParamClauseT' m n p' t' b' -> ShowS

show :: SmParamClauseT' m n p' t' b' -> String

showList :: [SmParamClauseT' m n p' t' b'] -> ShowS