chalmers-lava2000-1.6.1: Hardware description EDSL

Safe HaskellSafe
LanguageHaskell98

Lava.Sequent

Documentation

class Functor s => Sequent s where Source #

Methods

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

Instances
Sequent [] Source # 
Instance details

Defined in Lava.Sequent

Methods

sequent :: Monad m => [m a] -> m [a] Source #

Sequent S Source # 
Instance details

Defined in Lava.Signal

Methods

sequent :: Monad m => S (m a) -> m (S a) Source #

Sequent Struct Source # 
Instance details

Defined in Lava.Generic

Methods

sequent :: Monad m => Struct (m a) -> m (Struct a) Source #

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