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

Copilot.Core.Type.Eq

Documentation

data EqWit a Source

Constructors

Eq a => EqWit 

eqWit :: Type a -> EqWit aSource

data UVal Source

Constructors

forall a . UVal 

Fields

uType :: Type a
 
uVal :: a
 

Instances