Wired-0.2: Wire-aware hardware description Source code Contents Index

Data.Logical.Let

Documentation

data Let x a Source

Instances MonadKnot VarId x (Let x) MonadLet x (Let x) Monad (Let x) MonadFix (Let x)

data LetT x m a Source

Instances Monad m => MonadKnot VarId x (LetT x m) Monad m => MonadLet x (LetT x m) MonadTrans (LetT x) Monad m => Monad (LetT x m) MonadFix m => MonadFix (LetT x m)

data Var x Source

class MonadKnot VarId x m => MonadLet x m | m -> x where Source

Methods free :: m (Var x) Source Instances MonadLet x (Let x) Monad m => MonadLet x (LetT x m)

val :: Var x -> x Source

(===) :: MonadLet x m => Var x -> x -> m () Source

runLet :: Let x a -> a Source

runLetT :: MonadFix m => LetT x m a -> m a Source

Produced by Haddock version 2.4.2