Hans.Layer

Synopsis

• data LayerState i = LayerState {
  • lsNow :: POSIXTime
  • lsState :: i
  }
• data Action
  • = Nop
  • | Action (IO ())
• runAction :: Action -> IO ()
• data Result i a
  • = Error Action
  • | Exit (LayerState i) Action
  • | Result (LayerState i) a Action
• type Exit i r = LayerState i -> Action -> Result i r
• type Failure i r = Action -> Result i r
• type Success a i r = a -> LayerState i -> Action -> Result i r
• newtype Layer i a = Layer {
  • getLayer :: forall r. LayerState i -> Action -> Exit i r -> Failure i r -> Success a i r -> Result i r
  }
• runLayer :: LayerState i -> Layer i a -> Result i a
• loopLayer :: String -> i -> IO msg -> (msg -> Layer i ()) -> IO ()
• finish :: Layer i a
• 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
  • 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 ()

Documentation