Hans.Layer

Documentation

data LayerState i

Constructors

LayerState

Fields

lsNow :: POSIXTime

lsState :: i

data Action

Constructors

Nop

Action (IO ())

Instances

Monoid Action

runAction :: Action -> IO ()

data Result i a

Constructors

Error Action

Exit (LayerState i) Action

Result (LayerState i) a Action

type Exit i r = LayerState i -> Action -> Result i r

Early exit continuation

type Failure i r = Action -> Result i r

Failure continuation

type Success a i r = a -> LayerState i -> Action -> Result i r

Success continuation

newtype Layer i a

Constructors

Layer

Fields

getLayer :: forall r. LayerState i -> Action -> Exit i r -> Failure i r -> Success a i r -> Result i r

Instances

Alternative (Layer i)

Monad (Layer i)

Functor (Layer i)

MonadPlus (Layer i)

Applicative (Layer i)

StateM (Layer i) i

BaseM (Layer i) (Layer i)

runLayer :: LayerState i -> Layer i a -> Result i a

loopLayer :: String -> i -> IO msg -> (msg -> Layer i ()) -> IO ()

finish :: Layer i a

Finish early, successfully, with no further processing.

dropPacket :: Layer i a

time :: Layer i POSIXTime

output :: IO () -> Layer i ()

liftRight :: Either String b -> Layer i b

type Handlers k a = Map k a

emptyHandlers :: Handlers k a

class ProvidesHandlers i k a | i -> k a where

Methods

getHandlers :: i -> Handlers k a

setHandlers :: Handlers k a -> i -> i

getHandler :: (Ord k, ProvidesHandlers i k a) => k -> Layer i a

addHandler :: (Ord k, ProvidesHandlers i k a) => k -> a -> Layer i ()

removeHandler :: (Ord k, ProvidesHandlers i k a) => k -> Layer i ()