Control.Dsl

>>> :set -XTypeFamilies
>>> :set -XMultiParamTypeClasses
>>> :set -XFlexibleInstances
>>> :set -XFlexibleContexts
>>> :set -XRebindableSyntax
>>> :set -XTypeApplications
>>> import qualified Prelude
>>> import Prelude hiding ((>>), (>>=), return)
>>> import Control.Dsl
>>> import Control.Dsl.State
>>> import Control.Dsl.Yield
>>> import Control.Dsl.Return
>>> import Data.Void

>>> :{
f = do
  Yield "foo"
  config <- Get @Bool
  when config $ do
    Yield "bar"
    return ()
  return "baz"
:}

>>> :type f
f :: (Dsl (Yield [Char]) r (), Dsl (Return [Char]) r Void,
      Dsl Get r Bool) =>
     r

>>> f True :: [String]
["foo","bar","baz"]

>>> f False :: [String]
["foo","baz"]

>>> :{
instance Dsl (Yield String) (IO ()) () where
  cpsApply (Yield a) = (Prelude.>>=) (putStrLn $ "Yield " ++ a)
:}

>>> :{
instance Dsl Get (IO ()) Bool where
  cpsApply Get f = (putStrLn "Get") Prelude.>> f False
:}

>>> :{
instance Dsl (Return String) (IO ()) Void where
  cpsApply (Return a) _ = putStrLn $ "Return " ++ a
:}

>>> f :: IO ()
Yield foo
Get
Return baz

Documentation

class Dsl k r a where

This type class witnesses a use case of k, which is an ad-hoc delimited continuation adaptive to the answer type r.

Minimal complete definition

cpsApply

Methods

cpsApply :: k r0 a -> r !! a

Instances

Dsl Empty [r] Void

Defined in Control.Dsl.Empty

Methods

cpsApply :: Empty r0 Void -> [r] !! Void

Dsl Empty (Maybe r) Void

Defined in Control.Dsl.Empty

Methods

cpsApply :: Empty r0 Void -> Maybe r !! Void

Dsl k r a => Dsl k (b -> r) a

Defined in Control.Dsl.Dsl

Methods

cpsApply :: k r0 a -> (b -> r) !! a

Dsl Get (State a b) a

Defined in Control.Dsl.State

Methods

cpsApply :: Get r0 a -> State a b !! a

Dsl (Return r) r Void

Defined in Control.Dsl.Return

Methods

cpsApply :: Return r r0 Void -> r !! Void

Dsl (Shift r) r a

Defined in Control.Dsl.Shift

Methods

cpsApply :: Shift r r0 a -> r !! a

Monad m => Dsl (Monadic m) (m b) a

Defined in Control.Dsl.Monadic

Methods

cpsApply :: Monadic m r0 a -> m b !! a

Dsl (Return r) (IO r) Void

Defined in Control.Dsl.Return

Methods

cpsApply :: Return r r0 Void -> IO r !! Void

Dsl (Return r) (Maybe r) Void

Defined in Control.Dsl.Return

Methods

cpsApply :: Return r r0 Void -> Maybe r !! Void

Dsl (Return r) [r] Void

Defined in Control.Dsl.Return

Methods

cpsApply :: Return r r0 Void -> [r] !! Void

Dsl (Yield a) [a] ()

Defined in Control.Dsl.Yield

Methods

cpsApply :: Yield a r0 () -> [a] !! ()

Dsl (Return a) (r !! a) Void

Defined in Control.Dsl.Return

Methods

cpsApply :: Return a r0 Void -> (r !! a) !! Void

Dsl (Put a) (State a b) ()

Defined in Control.Dsl.State

Methods

cpsApply :: Put a r0 () -> State a b !! ()

return :: Dsl (Return r0) r Void => r0 -> r

(>>=) :: Do k r a => k r a -> r !! a

(>>) :: Do k r a => k r a -> r -> r

when :: Bool -> (r !! ()) -> Cont r ()