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

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Interpretation.Typed

Description

Witness Type constraints

Synopsis

Documentation

class Typed dom where Source

Class representing a possible dictionary to witness a Type constraint.

Minimal complete definition

Nothing

Methods

typeDictSym :: dom a -> Maybe (Dict (Type (DenResult a))) Source

Instances

Typed dom 
Typed Empty 
Typed Mutable 
Typed MutableToPure 
Typed sub => Typed (Decor info sub) 
Typed sub => Typed ((:|) sub pred) 
Typed sub => Typed ((:||) sub pred) 
Typed ((:||) sub Type) 
(Typed sub, Typed sup) => Typed ((:+:) sub sup) 
Typed (SubConstr2 c sub Type Top) 

typeDict :: Typed dom => ASTF dom a -> Maybe (Dict (Type a)) Source

Extract a possible Type constraint witness from an AST