copilot-core-2.2.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

forall a . UVal 

Fields

uType :: Type a
 
uVal :: a
 

Instances