chalmers-lava2000-1.1.1: Hardware description librarySource codeContentsIndex
Lava.Sequent
Documentation
class Functor s => Sequent s whereSource
Methods
sequent :: Monad m => s (m a) -> m (s a)Source
show/hide Instances
mmap :: (Monad m, Sequent s) => (a -> m b) -> s a -> m (s b)Source
Produced by Haddock version 2.6.1