chalmers-lava2000-1.6.1: Hardware description EDSL
Lava.Sequent
class Functor s => Sequent s where #
Minimal complete definition
sequent
Methods
sequent :: Monad m => s (m a) -> m (s a) #
Instances
sequent :: Monad m => [m a] -> m [a] #
sequent :: Monad m => S (m a) -> m (S a) #
sequent :: Monad m => Struct (m a) -> m (Struct a) #
mmap :: (Monad m, Sequent s) => (a -> m b) -> s a -> m (s b) #