| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Feldspar.Core.Constructs.Par
Documentation
data ParFeature a where Source
Constructors
| ParRun :: Type a => ParFeature (Par a :-> Full a) | |
| ParNew :: Type a => ParFeature (Full (Par (IV a))) | |
| ParGet :: Type a => ParFeature (IV a :-> Full (Par a)) | |
| ParPut :: Type a => ParFeature (IV a :-> (a :-> Full (Par ()))) | |
| ParFork :: ParFeature (Par () :-> Full (Par ())) | |
| ParYield :: ParFeature (Full (Par ())) |
Instances
| EvalBind ParFeature | |
| Semantic ParFeature | |
| Eval ParFeature | |
| Render ParFeature | |
| StringTree ParFeature | |
| Equality ParFeature | |
| Monotonic ParFeature | |
| SizeProp ParFeature | |
| Sharable ParFeature | |
| ((:<:) (MONAD Par) dom, (:<:) ParFeature dom, Optimize dom dom) => Optimize ParFeature dom | |
| AlphaEq dom dom dom env => AlphaEq ParFeature ParFeature dom env |
monadProxy :: P Par Source