feldspar-language-0.6.0.2: A functional embedded language for DSP and parallelism
Feldspar.Core.Interpretation.Typed
Description
Witness Type constraints
Type
Synopsis
class Typed dom where
Class representing a possible dictionary to witness a Type constraint.
Methods
typeDictSym :: dom a -> Maybe (Dict (Type (DenResult a)))
Instances
typeDict :: Typed dom => ASTF dom a -> Maybe (Dict (Type a))
Extract a possible Type constraint witness from an AST
AST