Safe Haskell	None
Language	Haskell2010

Feldspar.Core.Constructs.Save

Documentation

data Save a where Source

Constructors

Instances

EvalBind Save
Semantic Save
Eval Save
Render Save
StringTree Save
Equality Save
Monotonic Save
Sharable Save
AlphaEq dom dom dom env => AlphaEq Save Save dom env
SizeProp ((:\|\|) Save Type)
((:<:) ((:\|\|) Save Type) dom, OptimizeSuper dom) => Optimize ((:\|\|) Save Type) dom