Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. module Data.Machine.Pipe

    Allows bidirectional communication between two MachineT. Exposed the same interface of Pipes library.

  2. type Proxy a' a b' b (m :: Type -> Type) c = MachineT m Exchange a' a b' b c

    machines Data.Machine.Pipe

    No documentation available.

  3. module Data.Machine.Plan

    No documentation available.

  4. type Plan (k :: Type -> Type) o a = forall (m :: Type -> Type) . () => PlanT k o m a

    machines Data.Machine.Plan

    A Plan k o a is a specification for a pure Machine, that reads inputs selected by k with types based on i, writes values of type o, and has intermediate results of type a. A Plan k o a can be used as a PlanT k o m a for any Monad m. It is perhaps easier to think of Plan in its un-cps'ed form, which would look like: 

    data Plan k o a
= Done a
| Yield o (Plan k o a)
| forall z. Await (z -> Plan k o a) (k z) (Plan k o a)
| Fail

  5. newtype PlanT (k :: Type -> Type) o (m :: Type -> Type) a

    machines Data.Machine.Plan

    You can construct a Plan (or PlanT), turning it into a Machine (or MachineT).

  6. PlanT :: (forall r . () => (a -> m r) -> (o -> m r -> m r) -> (forall z . () => (z -> m r) -> k z -> m r -> m r) -> m r -> m r) -> PlanT (k :: Type -> Type) o (m :: Type -> Type) a

    machines Data.Machine.Plan

    No documentation available.

  7. module Data.Machine.Process

    No documentation available.

  8. type Process a b = Machine Is a b

    machines Data.Machine.Process

    A Process a b is a stream transducer that can consume values of type a from its input, and produce values of type b for its output.

  9. type ProcessT (m :: Type -> Type) a b = MachineT m Is a b

    machines Data.Machine.Process

    A ProcessT m a b is a stream transducer that can consume values of type a from its input, and produce values of type b and has side-effects in the Monad m.

  10. Pop :: forall a . Stack a a

    machines Data.Machine.Stack

    No documentation available.

Page 719 of many | Previous | Next