copilot-core-3.0: An intermediate representation for Copilot.

Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Type.Eq

Documentation

data EqWit a Source #

Constructors

Eq a => EqWit 

eqWit :: Type a -> EqWit a Source #

data UVal Source #

Constructors

UVal 

Fields

Instances
Eq UVal Source # 
Instance details

Defined in Copilot.Core.Type.Eq

Methods

(==) :: UVal -> UVal -> Bool #

(/=) :: UVal -> UVal -> Bool #