HaScalaM.Types.Pat

Documentation

data SmExtractP t p ac where

Constructors

SmExtractP

Fields

• :: (Term t, Pat p, ArgClauseP p ac)
• => { funXP :: t
•    , argClauseXP :: ac
•    } -> SmExtractP t p ac

Instances

(Term t, Pat p, ArgClauseP p ac) => Apply t p ac (SmExtractP t p ac)

Defined in HaScalaM.Instances.Pat

Methods

fun :: SmExtractP t p ac -> t

argClause :: SmExtractP t p ac -> ac

(Term t, Pat p, ArgClauseP p ac) => Tree (SmExtractP t p ac :: Type)

Defined in HaScalaM.Instances.Pat

data SmExtractInfixP tn p ac where

Constructors

SmExtractInfixP

Fields

• :: (NameT tn, Pat p, ArgClauseP p ac)
• => { lhsXxP :: p
•    , opXxP :: tn
•    , argClauseXxP :: ac
•    } -> SmExtractInfixP tn p ac

Instances

(NameT tn, Pat p, ArgClauseP p ac) => Infix p tn ac (SmExtractInfixP tn p ac)

Defined in HaScalaM.Instances.Pat

Methods

lhs :: SmExtractInfixP tn p ac -> p

op :: SmExtractInfixP tn p ac -> tn

arg :: SmExtractInfixP tn p ac -> ac

(NameT tn, Pat p, ArgClauseP p ac) => Tree (SmExtractInfixP tn p ac :: Type)

Defined in HaScalaM.Instances.Pat

data SmMacroP t where

Constructors

SmMacroP

Fields

• :: Term t
• => { bodyMP :: t
•    } -> SmMacroP t

Instances

Term t => Tree (SmMacroP t :: Type)

Defined in HaScalaM.Instances.Pat

Term t => WithBody t (SmMacroP t)

Defined in HaScalaM.Instances.Pat

Methods

body :: SmMacroP t -> t

data SmTupleP p where

Constructors

SmTupleP

Fields

• :: Pat p
• => { argsTP :: [p]
•    } -> SmTupleP p

Instances

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

Defined in HaScalaM.Instances.Pat

Pat p => Tuple p (SmTupleP p)

Defined in HaScalaM.Instances.Pat

Methods

args :: SmTupleP p -> [p]

data SmVarP tn where

Constructors

SmVarP

Fields

• :: NameT tn
• => { varVP :: tn
•    } -> SmVarP tn

Instances

NameT tn => Member tn (SmVarP tn)

Defined in HaScalaM.Instances.Pat

Methods

name :: SmVarP tn -> tn

NameT tn => Tree (SmVarP tn :: Type)

Defined in HaScalaM.Instances.Pat

NameT tn => MemberT tn (SmVarP tn)

Defined in HaScalaM.Instances.Pat