copilot-core-2.2.1: 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 # 

Methods

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

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