License	BSD-3-Clause
Maintainer	Jamie Willis
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Parsley.Internal.Core.Identifiers

Description

This module defines "identifiers", which are used to uniquely identify different nodes in the combinator tree (and abstract machine).

Since: 1.0.0.0

Synopsis

newtype MVar (a :: Type) = MVar IMVar
data IMVar
newtype ΣVar (a :: Type) = ΣVar IΣVar
data IΣVar
data SomeΣVar = forall r. SomeΣVar (ΣVar r)
getIΣVar :: SomeΣVar -> IΣVar

Documentation

newtype MVar (a :: Type) Source #

An identifier representing let-bound parsers, recursion, and iteration.

Since: 0.1.0.0

Constructors

MVar IMVar

Instances

Instances details

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

data IMVar Source #

Underlying untyped identifier, which is numeric but otherwise opaque.

Since: 0.1.0.0

Instances

Instances details

Enum IMVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods succ :: IMVar -> IMVar # pred :: IMVar -> IMVar # toEnum :: Int -> IMVar # fromEnum :: IMVar -> Int # enumFrom :: IMVar -> [IMVar] # enumFromThen :: IMVar -> IMVar -> [IMVar] # enumFromTo :: IMVar -> IMVar -> [IMVar] # enumFromThenTo :: IMVar -> IMVar -> IMVar -> [IMVar] #
Ix IMVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods range :: (IMVar, IMVar) -> [IMVar] # index :: (IMVar, IMVar) -> IMVar -> Int # unsafeIndex :: (IMVar, IMVar) -> IMVar -> Int # inRange :: (IMVar, IMVar) -> IMVar -> Bool # rangeSize :: (IMVar, IMVar) -> Int # unsafeRangeSize :: (IMVar, IMVar) -> Int #
Num IMVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods (+) :: IMVar -> IMVar -> IMVar # (-) :: IMVar -> IMVar -> IMVar # (*) :: IMVar -> IMVar -> IMVar # negate :: IMVar -> IMVar # abs :: IMVar -> IMVar # signum :: IMVar -> IMVar # fromInteger :: Integer -> IMVar #
Show IMVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods showsPrec :: Int -> IMVar -> ShowS # show :: IMVar -> String # showList :: [IMVar] -> ShowS #
Eq IMVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods (==) :: IMVar -> IMVar -> Bool # (/=) :: IMVar -> IMVar -> Bool #
Ord IMVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods compare :: IMVar -> IMVar -> Ordering # (<) :: IMVar -> IMVar -> Bool # (<=) :: IMVar -> IMVar -> Bool # (>) :: IMVar -> IMVar -> Bool # (>=) :: IMVar -> IMVar -> Bool # max :: IMVar -> IMVar -> IMVar # min :: IMVar -> IMVar -> IMVar #

newtype ΣVar (a :: Type) Source #

An identifier representing concrete registers and mutable state.

Since: 0.1.0.0

Constructors

ΣVar IΣVar

Instances

Instances details

GCompare ΣVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods gcompare :: forall (a :: k) (b :: k). ΣVar a -> ΣVar b -> GOrdering a b #
GEq ΣVar Source #
Instance details Defined in Parsley.Internal.Core.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.Core.Identifiers Methods showsPrec :: Int -> ΣVar a -> ShowS # show :: ΣVar a -> String # showList :: [ΣVar a] -> ShowS #

data IΣVar Source #

Underlying untyped identifier, which is numeric but otherwise opaque.

Since: 0.1.0.0

Instances

Instances details

Enum IΣVar Source #
Instance details Defined in Parsley.Internal.Core.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] #
Ix IΣVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods range :: (IΣVar, IΣVar) -> [IΣVar] # index :: (IΣVar, IΣVar) -> IΣVar -> Int # unsafeIndex :: (IΣVar, IΣVar) -> IΣVar -> Int # inRange :: (IΣVar, IΣVar) -> IΣVar -> Bool # rangeSize :: (IΣVar, IΣVar) -> Int # unsafeRangeSize :: (IΣVar, IΣVar) -> Int #
Num IΣVar Source #
Instance details Defined in Parsley.Internal.Core.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.Core.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.Core.Identifiers Methods (==) :: IΣVar -> IΣVar -> Bool # (/=) :: IΣVar -> IΣVar -> Bool #
Ord IΣVar Source #
Instance details Defined in Parsley.Internal.Core.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 #

data SomeΣVar Source #

An identifier representing some concrete register, but where the type is existential.

Since: 0.1.0.0

Constructors

forall r. SomeΣVar (ΣVar r)

Instances

Instances details

Show SomeΣVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods showsPrec :: Int -> SomeΣVar -> ShowS # show :: SomeΣVar -> String # showList :: [SomeΣVar] -> ShowS #
Eq SomeΣVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods (==) :: SomeΣVar -> SomeΣVar -> Bool # (/=) :: SomeΣVar -> SomeΣVar -> Bool #
Ord SomeΣVar Source #
Instance details Defined in Parsley.Internal.Core.Identifiers Methods compare :: SomeΣVar -> SomeΣVar -> Ordering # (<) :: SomeΣVar -> SomeΣVar -> Bool # (<=) :: SomeΣVar -> SomeΣVar -> Bool # (>) :: SomeΣVar -> SomeΣVar -> Bool # (>=) :: SomeΣVar -> SomeΣVar -> Bool # max :: SomeΣVar -> SomeΣVar -> SomeΣVar # min :: SomeΣVar -> SomeΣVar -> SomeΣVar #

getIΣVar :: SomeΣVar -> IΣVar Source #

Fetch the untyped identifier from under the existential.

Since: 0.1.0.0