Parsley.Internal.Backend.Machine.Identifiers

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

Since: 1.0.0.0

Documentation

newtype ΦVar (a :: Type)

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

Since: 1.0.0.0

Constructors

ΦVar IΦVar

Instances

GCompare ΦVar

Defined in Parsley.Internal.Backend.Machine.Identifiers

Methods

gcompare :: forall (a :: k) (b :: k). ΦVar a -> ΦVar b -> GOrdering a b

GEq ΦVar

Defined in Parsley.Internal.Backend.Machine.Identifiers

Methods

geq :: forall (a :: k) (b :: k). ΦVar a -> ΦVar b -> Maybe (a :~: b)

Show (ΦVar a)

Defined in Parsley.Internal.Backend.Machine.Identifiers

Methods

showsPrec :: Int -> ΦVar a -> ShowS

show :: ΦVar a -> String

showList :: [ΦVar a] -> ShowS

data IΦVar

Underlying untyped identifier, which is numeric but otherwise opaque.

Since: 1.0.0.0

Instances

Enum IΦVar

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

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

Defined in Parsley.Internal.Backend.Machine.Identifiers

Methods

showsPrec :: Int -> IΦVar -> ShowS

show :: IΦVar -> String

showList :: [IΦVar] -> ShowS

Eq IΦVar

Defined in Parsley.Internal.Backend.Machine.Identifiers

Methods

(==) :: IΦVar -> IΦVar -> Bool

(/=) :: IΦVar -> IΦVar -> Bool

Ord IΦVar

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

module Parsley.Internal.Core.Identifiers