| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.Trace
Documentation
Instances
| EvalBind Trace | |
| Constrained Trace | |
| Semantic Trace | |
| Eval Trace | |
| Render Trace | |
| StringTree Trace | |
| Equality Trace | |
| Monotonic Trace | |
| Sharable Trace | |
| AlphaEq dom dom dom env => AlphaEq Trace Trace dom env | |
| SizeProp ((:||) Trace Type) | |
| ((:<:) ((:||) Trace Type) dom, OptimizeSuper dom) => Optimize ((:||) Trace Type) dom | |
| type Sat Trace = Type |