chalmers-lava2000-1.1.1: Hardware description library
Source code
Contents
Index
Lava.Sequent
Documentation
class
Functor
s =>
Sequent
s
where
Source
Methods
sequent
::
Monad
m => s (m a) -> m (s a)
Source
Instances
Sequent
[]
Sequent
S
Sequent
Struct
mmap
:: (
Monad
m,
Sequent
s) => (a -> m b) -> s a -> m (s b)
Source
Produced by
Haddock
version 2.6.1