Feldspar.Core.Constructs.Eq

Implementation of Equality constructs

Documentation

data EQ a where

Equality constructs

Constructors

Equal :: (Type a, Eq a) => EQ (a :-> (a :-> Full Bool))

NotEqual :: (Type a, Eq a) => EQ (a :-> (a :-> Full Bool))

Instances

Semantic EQ

StringTree EQ

Render EQ

Eval EQ

Equality EQ

EvalBind EQ

Monotonic EQ

Sharable EQ

AlphaEq dom dom dom env => AlphaEq EQ EQ dom env

SizeProp (:|| EQ Type)

(:<: (:|| EQ Type) dom, OptimizeSuper dom) => Optimize (:|| EQ Type) dom