| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Circuit.Lang
Description
Surface language
Synopsis
- c :: f -> Expr Wire f f
- add :: Expr Wire f f -> Expr Wire f f -> Expr Wire f f
- sub :: Expr Wire f f -> Expr Wire f f -> Expr Wire f f
- mul :: Expr Wire f f -> Expr Wire f f -> Expr Wire f f
- and_ :: Expr Wire f Bool -> Expr Wire f Bool -> Expr Wire f Bool
- or_ :: Expr Wire f Bool -> Expr Wire f Bool -> Expr Wire f Bool
- xor_ :: Expr Wire f Bool -> Expr Wire f Bool -> Expr Wire f Bool
- not_ :: Expr Wire f Bool -> Expr Wire f Bool
- eq :: Expr Wire f f -> Expr Wire f f -> Expr Wire f Bool
- deref :: Wire -> Expr Wire f f
- e :: Num f => Expr Wire f f -> ExprM f Wire
- cond :: Expr Wire f Bool -> Expr Wire f ty -> Expr Wire f ty -> Expr Wire f ty
- ret :: Num f => Expr Wire f f -> ExprM f Wire
- input :: ExprM f Wire
Documentation
add :: Expr Wire f f -> Expr Wire f f -> Expr Wire f f Source #
Binary arithmetic operations on expressions
sub :: Expr Wire f f -> Expr Wire f f -> Expr Wire f f Source #
Binary arithmetic operations on expressions
mul :: Expr Wire f f -> Expr Wire f f -> Expr Wire f f Source #
Binary arithmetic operations on expressions
and_ :: Expr Wire f Bool -> Expr Wire f Bool -> Expr Wire f Bool Source #
Binary logic operations on expressions
Have to use underscore or similar to avoid shadowing and and or
from Prelude/Protolude.
or_ :: Expr Wire f Bool -> Expr Wire f Bool -> Expr Wire f Bool Source #
Binary logic operations on expressions
Have to use underscore or similar to avoid shadowing and and or
from Prelude/Protolude.
xor_ :: Expr Wire f Bool -> Expr Wire f Bool -> Expr Wire f Bool Source #
Binary logic operations on expressions
Have to use underscore or similar to avoid shadowing and and or
from Prelude/Protolude.
e :: Num f => Expr Wire f f -> ExprM f Wire Source #
Return compilation of expression into an intermediate wire
cond :: Expr Wire f Bool -> Expr Wire f ty -> Expr Wire f ty -> Expr Wire f ty Source #
Conditional statement on expressions