vinyl-plus-0.1.1: Vinyl records utilities

Safe HaskellNone
LanguageHaskell2010

Data.Tuple.TypeLevel

Synopsis

Documentation

type family Fst k Source

First element of a type pair.

Equations

Fst `(a, b)` = a 

type family Snd k Source

Second element of a type pair.

Equations

Snd `(a, b)` = b 

class c (Fst x) => ConstrainFst c x Source

Instances

c (Fst k k1 x) => ConstrainFst k k c x Source 

class c (Snd x) => ConstrainSnd c x Source

Instances

c (Snd k1 k x) => ConstrainSnd k k c x Source 

proxyFst :: proxy x -> Proxy (Fst x) Source

proxySnd :: proxy x -> Proxy (Snd x) Source