Control.Churro.Transport.Unagi.Bounded

Unagi-Chan Bounded Transport Instance.

This makes use of a KnownNat parameter to specify the size of the buffer.

Documentation

Test Setup

>>> :set -XDataKinds
>>> import Control.Churro

data UnagiBounded n a

Instances

KnownNat n => Transport (UnagiBounded n :: Type -> Type)

Defined in Control.Churro.Transport.Unagi.Bounded

Associated Types

data In (UnagiBounded n) :: Type -> Type

data Out (UnagiBounded n) :: Type -> Type

Methods

flex :: IO (In (UnagiBounded n) a, Out (UnagiBounded n) a)

yank :: Out (UnagiBounded n) a -> IO a

yeet :: In (UnagiBounded n) a -> a -> IO ()

data In (UnagiBounded n :: Type -> Type) a

Defined in Control.Churro.Transport.Unagi.Bounded

data In (UnagiBounded n :: Type -> Type) a = ChanIn (InChan a)

data Out (UnagiBounded n :: Type -> Type) a

Defined in Control.Churro.Transport.Unagi.Bounded

data Out (UnagiBounded n :: Type -> Type) a = ChanOut (OutChan a)

type ChurroUnagiBounded n = Churro (UnagiBounded n)

runWaitUnagi :: KnownNat n => ChurroUnagiBounded n Void Void -> IO ()

Convenience function for running a Churro with a Bounded Unagi-Chan Transport.

runWaitListUnagi :: KnownNat n => ChurroUnagiBounded n Void o -> IO [o]

Convenience function for running a Churro into a List with a Bounded Unagi-Chan Transport.

>>> runWaitListUnagi @10 $ sourceList [1,2,3] >>> arr succ
[2,3,4]