Wired-0.3: Wire-aware hardware description
Data.Logical.Let
data Let x a Source
Instances
data LetT x m a Source
data Var x Source
class MonadKnot VarId x m => MonadLet x m | m -> x whereSource
Methods
free :: m (Var x)Source
val :: Var x -> xSource
(===) :: MonadLet x m => Var x -> x -> m ()Source
runLet :: Let x a -> aSource
runLetT :: MonadFix m => LetT x m a -> m aSource