Data.Vinyl.Relation

Documentation

class IsSubtype r1 r2 => r1 (<:) r2 where

Methods

cast :: r1 -> r2

Instances

(~ * y (::: sy t), IElem * y xs, <: (PlainRec xs) (PlainRec ys)) => (PlainRec xs) <: (PlainRec (: * y ys))

(Rec xs f) <: (Rec ([] *) f)

type :~: r1 r2 = (r1 <: r2, r2 <: r1)

(~=) :: (Eq a, a :~: b) => a -> b -> Bool

rIso :: r1 :~: r2 => SimpleIso r1 r2