Lava.Sequent

Documentation

class Functor s => Sequent s where

Methods

sequent :: Monad m => s (m a) -> m (s a)

Instances

Sequent []

Sequent S

Sequent Struct

mmap :: (Monad m, Sequent s) => (a -> m b) -> s a -> m (s b)