Module

Type.Equality

#TypeEquals 

class (Coercible a b) <= TypeEquals a b | a -> b, b -> a where

Members

  • proof :: forall p. p a -> p b

Instances

#to 

to :: forall a b. TypeEquals a b => a -> b

#from 

from :: forall a b. TypeEquals a b => b -> a

Modules