Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Documentation
Type-aligned catenable queue
viewL :: forall k a b r. Cat k a b -> (k a b -> r) -> (forall x. k a x -> Cat k x b -> r) -> r Source #
Match on the leftmost element. It gradually rotates the nodes so that following calls to viewL
is faster.
transKleisli :: (m b -> n b) -> Kleisli m a b -> Kleisli n a b Source #