Idris2Doc : TyTTP.Core.Routing

TyTTP.Core.Routing

(source)
Reexports
import public Control.Monad.Maybe
Definitions
routes : Alternative m => List (Context me u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> Context me u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
  Visibility: export
routes' : Monad m => (Context me u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')) -> List (Context me u v h1 s h2 a b -> MaybeT m (Context me' p' v' h1' s' h2' a' b')) -> Context me u v h1 s h2 a b -> m (Context me' p' v' h1' s' h2' a' b')
  Visibility: export