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)

MarshalOps Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

dynHandler :: StaHandler s Stream a -> DynHandler s Stream a

dynCont :: StaCont s Stream a x -> DynCont s Stream a x

RecBuilder Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

buildRec :: forall r (rs :: [Type]) s a. MVar r -> Regs rs -> Ctx s Stream a -> Machine s Stream '[] One r a -> DynFunc 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

HandlerOps Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

bindHandler :: forall s (xs :: [Type]) (n :: Nat) r a. Γ s Stream xs n r a -> (Code (Rep Stream) -> StaHandler s Stream a) -> (Γ s Stream xs ('Succ n) r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe 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