Parsley.Internal.Backend.Machine.InputRep

Documentation

type family Rep input where ...

Equations

Rep [Char] = Int#

Rep (UArray Int Char) = Int#

Rep Text16 = Int#

Rep ByteString = Int#

Rep Text = Text

Rep ByteString = UnpackedLazyByteString

Rep CharList = (# Int#, String #)

Rep Stream = (# Int#, Stream #)

type family RepKind input where ...

Equations

RepKind [Char] = IntRep

RepKind (UArray Int Char) = IntRep

RepKind Text16 = IntRep

RepKind ByteString = IntRep

RepKind Text = LiftedRep

RepKind ByteString = 'TupleRep '[IntRep, AddrRep, LiftedRep, IntRep, IntRep, LiftedRep]

RepKind CharList = 'TupleRep '[IntRep, LiftedRep]

RepKind Stream = 'TupleRep '[IntRep, LiftedRep]

intSame :: Code Int# -> Code Int# -> Code Bool

intLess :: Code Int# -> Code Int# -> Code Bool

min# :: Int# -> Int# -> Int#

max# :: Int# -> Int# -> Int#

type OffWith ts = (# Int#, ts #)

offWith :: Code ts -> Code (OffWith ts)

offWithSame :: Code (# Int#, ts #) -> Code (# Int#, ts #) -> Code Bool

offWithShiftRight :: Code (Int -> ts -> ts) -> Code (# Int#, ts #) -> Code Int# -> Code (# Int#, ts #)

type UnpackedLazyByteString = (# Int#, Addr#, ForeignPtrContents, Int#, Int#, ByteString #)

emptyUnpackedLazyByteString :: Code Int# -> Code UnpackedLazyByteString

data Stream

An input type that represents an infinite stream of input characters.

Since: 0.1.0.0

Instances

PositionOps Stream

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

same :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Proxy Stream -> Code rep -> Code rep -> Code Bool

shiftRight :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Proxy Stream -> Code rep -> Code Int# -> Code rep

InputPrep Stream

Defined in Parsley.Internal.Backend.Machine.InputOps

Methods

prepare :: forall (rep :: TYPE (RepKind Stream)). rep ~ Rep Stream => Code Stream -> Code (InputDependant rep)

LogHandler Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

logHandler :: forall s a (xs :: [Type]) (n :: Nat) ks. (?ops :: InputOps (Rep Stream)) => String -> Ctx s Stream a -> Γ s Stream xs ('Succ n) ks a -> Code (Rep Stream) -> Code (Handler s Stream a)

RecBuilder Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

buildIter :: ReturnOps Stream => Ctx s Stream a -> MVar Void -> Machine s Stream '[] One Void a -> (Code (Rep Stream) -> Code (Handler s Stream a)) -> Code (Rep Stream) -> Code (ST s (Maybe a))

buildRec :: forall (rs :: [Type]) s a r. Regs rs -> Ctx s Stream a -> Machine s Stream '[] One r a -> Code (Func rs s Stream a r)

JoinBuilder Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

setupJoinPoint :: forall x s (xs :: [Type]) (n :: Nat) r a. ΦVar x -> Machine s Stream (x ': xs) n r a -> Machine s Stream xs n r a -> MachineMonad s Stream xs n r a

ReturnOps Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s Stream a a)

noreturn :: Code (Cont s Stream a Void)

ContOps Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

suspend :: forall s x (xs :: [Type]) (n :: Nat) r a. (Γ s Stream (x ': xs) n r a -> Code (ST s (Maybe a))) -> Γ s Stream xs n r a -> Code (Cont s Stream a x)

HandlerOps Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

buildHandler :: forall s (xs :: [Type]) (n :: Nat) r a. Γ s Stream xs n r a -> (Γ s Stream (Stream ': xs) n r a -> Code (ST s (Maybe a))) -> Code (Rep Stream) -> Code (Handler s Stream a)

fatal :: Code (Handler s Stream a)

Input Stream

Defined in Parsley.Internal.Backend.Machine

dropStream :: Int -> Stream -> Stream

offsetText :: Code Text -> Code Int

representationTypes :: [Q Type]

textShiftRight :: Text -> Int -> Text

textShiftLeft :: Text -> Int -> Text

byteStringShiftRight :: UnpackedLazyByteString -> Int# -> UnpackedLazyByteString

byteStringShiftLeft :: UnpackedLazyByteString -> Int# -> UnpackedLazyByteString