copilot-core-3.2: 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

forall a. UVal 

Fields

Instances

Instances details
Eq UVal Source # 
Instance details

Defined in Copilot.Core.Type.Eq

Methods

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

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