feldspar-language-0.7: A functional embedded language for DSP and parallelism

Safe HaskellNone

Feldspar.Core.Constructs.SourceInfo

Synopsis

Documentation

data SourceInfo1 a Source

Kind * -> * version of SourceInfo

Constructors

SourceInfo1 SourceInfo 

Instances

Monotonic (Decor SourceInfo1 Identity) 
SizeProp (:|| (Decor SourceInfo1 Identity) Type) 
Sharable (Decor SourceInfo1 Identity) 
(:<: (:|| (Decor SourceInfo1 Identity) Type) dom, Optimize dom dom) => Optimize (:|| (Decor SourceInfo1 Identity) Type) dom