Feldspar.Core.Interpretation.Typed

Witness Type constraints

Documentation

class Typed dom where

Class representing a possible dictionary to witness a Type constraint.

Methods

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

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))

Extract a possible Type constraint witness from an AST