Parsley.Internal.Backend.Machine.Ops

Documentation

class (PositionOps o, LogOps (Rep o)) => LogHandler o where

Methods

logHandler :: (?ops :: InputOps (Rep o)) => String -> Ctx s o a -> Γ s o xs (Succ n) ks a -> Code (Rep o) -> Code (Handler s o a)

Instances

LogHandler ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

LogHandler ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

LogHandler Text

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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)

LogHandler CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

LogHandler Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

LogHandler [Char]

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

LogHandler (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

class RecBuilder o where

Methods

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

buildRec :: Regs rs -> Ctx s o a -> Machine s o '[] One r a -> Code (Func rs s o a r)

Instances

RecBuilder ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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

RecBuilder ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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

RecBuilder Text

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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

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)

RecBuilder CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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

RecBuilder Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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

RecBuilder [Char]

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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

RecBuilder (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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

class JoinBuilder o where

Methods

setupJoinPoint :: ΦVar x -> Machine s o (x ': xs) n r a -> Machine s o xs n r a -> MachineMonad s o xs n r a

Instances

JoinBuilder ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

JoinBuilder ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

JoinBuilder Text

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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

JoinBuilder CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

JoinBuilder Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

JoinBuilder [Char]

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

JoinBuilder (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

class ReturnOps o where

Methods

halt :: Code (Cont s o a a)

noreturn :: Code (Cont s o a Void)

Instances

ReturnOps ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s ByteString a a)

noreturn :: Code (Cont s ByteString a Void)

ReturnOps ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s ByteString a a)

noreturn :: Code (Cont s ByteString a Void)

ReturnOps Text

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s Text a a)

noreturn :: Code (Cont s Text a Void)

ReturnOps Stream

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s Stream a a)

noreturn :: Code (Cont s Stream a Void)

ReturnOps CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s CharList a a)

noreturn :: Code (Cont s CharList a Void)

ReturnOps Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s Text16 a a)

noreturn :: Code (Cont s Text16 a Void)

ReturnOps [Char]

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s [Char] a a)

noreturn :: Code (Cont s [Char] a Void)

ReturnOps (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

halt :: Code (Cont s (UArray Int Char) a a)

noreturn :: Code (Cont s (UArray Int Char) a Void)

class ContOps o where

Methods

suspend :: (Γ s o (x ': xs) n r a -> Code (ST s (Maybe a))) -> Γ s o xs n r a -> Code (Cont s o a x)

Instances

ContOps ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

ContOps ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

ContOps Text

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

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)

ContOps CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

ContOps Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

ContOps [Char]

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

ContOps (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

class HandlerOps o where

Methods

buildHandler :: Γ s o xs n r a -> (Γ s o (o ': xs) n r a -> Code (ST s (Maybe a))) -> Code (Rep o) -> Code (Handler s o a)

fatal :: Code (Handler s o a)

Instances

HandlerOps ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

fatal :: Code (Handler s ByteString a)

HandlerOps ByteString

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

fatal :: Code (Handler s ByteString a)

HandlerOps Text

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

fatal :: Code (Handler s Text a)

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)

HandlerOps CharList

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

fatal :: Code (Handler s CharList a)

HandlerOps Text16

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

fatal :: Code (Handler s Text16 a)

HandlerOps [Char]

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

fatal :: Code (Handler s [Char] a)

HandlerOps (UArray Int Char)

Defined in Parsley.Internal.Backend.Machine.Ops

Methods

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

fatal :: Code (Handler s (UArray Int Char) a)

type Ops o = (LogHandler o, ContOps o, HandlerOps o, JoinBuilder o, RecBuilder o, ReturnOps o, PositionOps o, LogOps (Rep o))

sat :: (?ops :: InputOps (Rep o)) => (Code Char -> Code Bool) -> (Γ s o (Char ': xs) n r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a)) -> Γ s o xs n r a -> Code (ST s (Maybe a))

emitLengthCheck :: forall s o xs n r a. (?ops :: InputOps (Rep o), PositionOps o) => Int -> (Γ s o xs n r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a)) -> Γ s o xs n r a -> Code (ST s (Maybe a))

dup :: Defunc x -> (Defunc x -> Code r) -> Code r

returnST :: forall s a. a -> ST s a

newΣ :: ΣVar x -> Access -> Defunc x -> (Ctx s o a -> Code (ST s (Maybe a))) -> Ctx s o a -> Code (ST s (Maybe a))

writeΣ :: ΣVar x -> Access -> Defunc x -> (Ctx s o a -> Code (ST s (Maybe a))) -> Ctx s o a -> Code (ST s (Maybe a))

readΣ :: ΣVar x -> Access -> (Defunc x -> Ctx s o a -> Code (ST s (Maybe a))) -> Ctx s o a -> Code (ST s (Maybe a))

setupHandler :: Γ s o xs n r a -> (Code (Rep o) -> Code (Handler s o a)) -> (Γ s o xs (Succ n) r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a))

raise :: Γ s o xs (Succ n) r a -> Code (ST s (Maybe a))

callWithContinuation :: forall o s a x n. Code (SubRoutine s o a x) -> Code (Cont s o a x) -> Code (Rep o) -> Vec (Succ n) (Code (Handler s o a)) -> Code (ST s (Maybe a))

resume :: Code (Cont s o a x) -> Γ s o (x ': xs) n r a -> Code (ST s (Maybe a))

takeFreeRegisters :: Regs rs -> Ctx s o a -> (Ctx s o a -> Code (SubRoutine s o a x)) -> Code (Func rs s o a x)

preludeString :: forall s o xs n r a. (?ops :: InputOps (Rep o), PositionOps o, LogOps (Rep o)) => String -> Char -> Γ s o xs n r a -> Ctx s o a -> String -> Code String