HaScalaM.Types.Ref

Documentation

data SmRefT n t where

Constructors

SmApplyUnaryRT

Fields

• :: (Name n, Term t)
• => { opAURT :: n
•    , argAURT :: t
•    } -> SmRefT n t

SmSuperRT

Fields

• :: Name n
• => { thispSRT :: n
•    , superpSRT :: n
•    } -> SmRefT n t

SmThisRT

Fields

• :: Name n
• => { nameThRT :: n
•    } -> SmRefT n t

data SmAnonymousRT where

Constructors

SmAnonymousRT :: SmAnonymousRT

data SmSelectRT tn t where

Constructors

SmSelectRT

Fields

• :: (Name tn, Term t)
• => { qualSRT :: t
•    , nameSRT :: tn
•    } -> SmSelectRT tn t

data SmRefT' t'n t' r where

Constructors

SmProjectRT'

Fields

• :: (NameT' t'n, Type' t')
• => { qualPRT' :: t'
•    , namePRT' :: t'n
•    } -> SmRefT' t'n t' r

SmSelectRT'

Fields

• :: (NameT' t'n, RefT r)
• => { qualSRT' :: r
•    , nameSRT' :: t'n
•    } -> SmRefT' t'n t' r

SmSingletonRT'

Fields

• :: RefT r
• => { refSRT' :: r
•    } -> SmRefT' t'n t' r