| Safe Haskell | None |
|---|
Feldspar.Core.Constructs.Par
Documentation
data ParFeature a whereSource
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
| Semantic ParFeature | |
| StringTree ParFeature | |
| Render ParFeature | |
| Eval ParFeature | |
| Equality ParFeature | |
| EvalBind 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 ParSource