feldspar-compiler-0.6.0.2: Compiler for the Feldspar language

Safe HaskellNone

Feldspar.Compiler.Backend.C.Options

Contents

Synopsis

Documentation

data Platform

Constructors

Platform 

Instances

data IsRestrict

Constructors

Restrict 
NoRestrict 

Actions and rules

data Action t

Constructors

Replace t 
Propagate Rule 
WithId (Int -> [Action t]) 
WithOptions (Options -> [Action t]) 

Instances

data Rule where

Constructors

Rule :: Typeable t => (t -> [Action t]) -> Rule 

Instances

rule :: (Interface t, Typeable (Repr t)) => (t -> [Action (Repr t)]) -> Rule

replaceWith :: Interface t => t -> Action (Repr t)

propagate :: (Interface t, Typeable (Repr t)) => (t -> [Action (Repr t)]) -> Action t'