2 GeneralizedNewtypeDeriving
6 module Network.HTTP.Lucu.Router
11 import Control.Applicative
12 import Control.Category
14 import Control.Arrow.ArrowKleisli
15 import Control.Arrow.List
17 import Control.Monad.IO.Class
18 import Prelude.Unicode
23 unRouter ∷ ListTArrow m α β
35 runRouter ∷ (Applicative m, MonadIO m) ⇒ Router m α β → α → m (Maybe β)
36 {-# INLINE runRouter #-}
37 runRouter = ((listToMaybe <$>) ∘) ∘ runListTArrow ∘ unRouter