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

Safe Haskell	None

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