Parsley.Internal.Backend.Machine.Identifiers

Description

This module extends Parsley.Internal.Core.Identifiers with ΦVar, which is used for join points. Re-exports other identifiers.

Since: 1.0.0.0

Synopsis

Documentation

newtype ΦVar (a :: Type) Source #

Represents a join point which requires an argument. of type a.

Since: 1.0.0.0

Constructors

Instances details

GCompare ΦVar Source #
Instance details Defined in Parsley.Internal.Backend.Machine.Identifiers Methods gcompare :: forall (a :: k) (b :: k). ΦVar a -> ΦVar b -> GOrdering a b #
GEq ΦVar Source #
Instance details Defined in Parsley.Internal.Backend.Machine.Identifiers Methods geq :: forall (a :: k) (b :: k). ΦVar a -> ΦVar b -> Maybe (a :~: b) #
Show (ΦVar a) Source #
Instance details Defined in Parsley.Internal.Backend.Machine.Identifiers Methods showsPrec :: Int -> ΦVar a -> ShowS # show :: ΦVar a -> String # showList :: [ΦVar a] -> ShowS #

Underlying untyped identifier, which is numeric but otherwise opaque.

Since: 1.0.0.0

Instances details

Enum IΦVar Source #
Instance details Defined in Parsley.Internal.Backend.Machine.Identifiers Methods succ :: IΦVar -> IΦVar # pred :: IΦVar -> IΦVar # toEnum :: Int -> IΦVar # fromEnum :: IΦVar -> Int # enumFrom :: IΦVar -> [IΦVar] # enumFromThen :: IΦVar -> IΦVar -> [IΦVar] # enumFromTo :: IΦVar -> IΦVar -> [IΦVar] # enumFromThenTo :: IΦVar -> IΦVar -> IΦVar -> [IΦVar] #
Num IΦVar Source #
Instance details Defined in Parsley.Internal.Backend.Machine.Identifiers Methods (+) :: IΦVar -> IΦVar -> IΦVar # (-) :: IΦVar -> IΦVar -> IΦVar # (*) :: IΦVar -> IΦVar -> IΦVar # negate :: IΦVar -> IΦVar # abs :: IΦVar -> IΦVar # signum :: IΦVar -> IΦVar # fromInteger :: Integer -> IΦVar #
Show IΦVar Source #
Instance details Defined in Parsley.Internal.Backend.Machine.Identifiers Methods showsPrec :: Int -> IΦVar -> ShowS # show :: IΦVar -> String # showList :: [IΦVar] -> ShowS #
Eq IΦVar Source #
Instance details Defined in Parsley.Internal.Backend.Machine.Identifiers Methods (==) :: IΦVar -> IΦVar -> Bool # (/=) :: IΦVar -> IΦVar -> Bool #
Ord IΦVar Source #
Instance details Defined in Parsley.Internal.Backend.Machine.Identifiers Methods compare :: IΦVar -> IΦVar -> Ordering # (<) :: IΦVar -> IΦVar -> Bool # (<=) :: IΦVar -> IΦVar -> Bool # (>) :: IΦVar -> IΦVar -> Bool # (>=) :: IΦVar -> IΦVar -> Bool # max :: IΦVar -> IΦVar -> IΦVar # min :: IΦVar -> IΦVar -> IΦVar #