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

Safe HaskellNone

Feldspar.Core.Interpretation.Typed

Description

Witness Type constraints

Synopsis

Documentation

class Typed dom whereSource

Class representing a possible dictionary to witness a Type constraint.

Methods

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

Instances

Typed dom 
Typed Empty 
Typed Mutable 
Typed MutableToPure 
(Typed sub, Typed sup) => Typed (:+: sub sup) 
Typed sub => Typed (:|| sub pred) 
Typed (:|| sub Type) 
Typed sub => Typed (:| sub pred) 
Typed sub => Typed (Decor info sub) 
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