Haskus.Utils.ContFlow

Continuation based control-flow

Documentation

newtype ContFlow (xs :: [*]) r

A continuation based control-flow

Constructors

ContFlow (ContListToTuple xs r -> r)

(>::>) :: ContFlow xs r -> ContListToTuple xs r -> r infixl 0

Bind a flow to a tuple of continuations

(>:-:>) :: ContFlow '[a] r -> (a -> r) -> r infixl 0

Bind a flow to a 1-tuple of continuations

(>:%:>) :: forall ts xs r. ReorderTuple ts (ContListToTuple xs r) => ContFlow xs r -> ts -> r infixl 0

Bind a flow to a tuple of continuations and reorder fields if necessary

type family ContListToTuple (xs :: [*]) r where ...

Convert a list of types into the actual data type representing the continuations.

Equations

ContListToTuple xs r = ListToTuple (AddR xs r)

type family ContTupleToList t r :: [*] where ...

Convert a tuple of continuations into a list of types

Equations

ContTupleToList t r = StripR (TupleToList t) r

type family StripR f r where ...

Equations

StripR '[] r = '[]

StripR ((x -> r) ': xs) r = x ': StripR xs r

StripR ((x -> w) ': xs) r = TypeError ((((Text "Invalid continuation return type `" :<>: ShowType w) :<>: Text "', expecting `") :<>: ShowType r) :<>: Text "'")

type family AddR f r where ...

Equations

AddR '[] r = '[]

AddR (x ': xs) r = (x -> r) ': AddR xs r

class MultiCont a where

Associated Types

type MultiContTypes a :: [*]

Methods

toCont :: a -> ContFlow (MultiContTypes a) r

Convert a data into a multi-continuation

toContM :: Monad m => m a -> ContFlow (MultiContTypes a) (m r)

Convert a data into a multi-continuation (monadic)

Instances

ContVariant xs => MultiCont (V xs)

Defined in Haskus.Utils.Variant

Associated Types

type MultiContTypes (V xs) :: [Type]

Methods

toCont :: V xs -> ContFlow (MultiContTypes (V xs)) r

toContM :: Monad m => m (V xs) -> ContFlow (MultiContTypes (V xs)) (m r)

ContVariant (ApplyAll e xs) => MultiCont (VariantF xs e)

Defined in Haskus.Utils.VariantF

Associated Types

type MultiContTypes (VariantF xs e) :: [Type]

Methods

toCont :: VariantF xs e -> ContFlow (MultiContTypes (VariantF xs e)) r

toContM :: Monad m => m (VariantF xs e) -> ContFlow (MultiContTypes (VariantF xs e)) (m r)