Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type LogHandler o = (PositionOps o, LogOps (Rep o)) Source #
class MarshalOps o where Source #
dynHandler :: StaHandler s o a -> DynHandler s o a Source #
Instances
class RecBuilder o where Source #
buildIter :: Ctx s o a -> MVar Void -> Machine s o '[] One Void a -> (Code (Rep o) -> StaHandler s o a) -> Code (Rep o) -> Code (ST s (Maybe a)) Source #
buildRec :: MVar r -> Regs rs -> Ctx s o a -> Machine s o '[] One r a -> DynFunc rs s o a r Source #
Instances
class JoinBuilder o where Source #
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 Source #
Instances
JoinBuilder ByteString Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops 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 Source # | |
JoinBuilder ByteString Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops 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 Source # | |
JoinBuilder Text Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops | |
JoinBuilder Stream Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops | |
JoinBuilder CharList Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops | |
JoinBuilder Text16 Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops | |
JoinBuilder [Char] Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops | |
JoinBuilder (UArray Int Char) Source # | |
class HandlerOps o where Source #
bindHandler :: Γ s o xs n r a -> (Code (Rep o) -> StaHandler s o a) -> (Γ s o xs (Succ n) r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a)) Source #
Instances
HandlerOps ByteString Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops bindHandler :: forall s (xs :: [Type]) (n :: Nat) r a. Γ s ByteString xs n r a -> (Code (Rep ByteString) -> StaHandler s ByteString a) -> (Γ s ByteString xs ('Succ n) r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a)) Source # | |
HandlerOps ByteString Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops bindHandler :: forall s (xs :: [Type]) (n :: Nat) r a. Γ s ByteString xs n r a -> (Code (Rep ByteString) -> StaHandler s ByteString a) -> (Γ s ByteString xs ('Succ n) r a -> Code (ST s (Maybe a))) -> Code (ST s (Maybe a)) Source # | |
HandlerOps Text Source # | |
HandlerOps Stream Source # | |
HandlerOps CharList Source # | |
HandlerOps Text16 Source # | |
HandlerOps [Char] Source # | |
HandlerOps (UArray Int Char) Source # | |
Defined in Parsley.Internal.Backend.Machine.Ops |
type Ops o = (HandlerOps o, JoinBuilder o, RecBuilder o, PositionOps o, MarshalOps o, LogOps (Rep o)) Source #
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)) Source #
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)) Source #
newΣ :: ΣVar x -> Access -> Defunc x -> (Ctx s o a -> Code (ST s (Maybe a))) -> Ctx s o a -> Code (ST s (Maybe a)) Source #
writeΣ :: ΣVar x -> Access -> Defunc x -> (Ctx s o a -> Code (ST s (Maybe a))) -> Ctx s o a -> Code (ST s (Maybe a)) Source #
readΣ :: ΣVar x -> Access -> (Defunc x -> Ctx s o a -> Code (ST s (Maybe a))) -> Ctx s o a -> Code (ST s (Maybe a)) Source #
buildHandler :: Γ s o xs n r a -> (Γ s o (o ': xs) n r a -> Code (ST s (Maybe a))) -> Code (Rep o) -> StaHandler s o a Source #
fatal :: forall o s a. StaHandler s o a Source #
suspend :: (Γ s o (x ': xs) n r a -> Code (ST s (Maybe a))) -> Γ s o xs n r a -> StaCont s o a x Source #
callWithContinuation :: forall o s a x n. MarshalOps o => StaSubRoutine s o a x -> StaCont s o a x -> Code (Rep o) -> Vec (Succ n) (StaHandler s o a) -> Code (ST s (Maybe a)) Source #
staHandler :: forall o s a. DynHandler s o a -> StaHandler s o a Source #
logHandler :: (?ops :: InputOps (Rep o), LogHandler o) => String -> Ctx s o a -> Γ s o xs (Succ n) ks a -> Code (Rep o) -> StaHandler s o a Source #