HAppS-Data-0.9.2.1: HAppS data manipulation libraries Source code Contents Index

HAppS.Data.HList

Documentation

class HasT a b Source

Instances HasT (Couple a b) b HasT (Couple a b) a

hlextract :: HasT a b => a -> b Source

hlupdate :: HasT a b => a -> b -> a Source

(.&.) :: a -> b -> Couple a b Source

type :&: a b = Couple b a Source

data Couple a[a5pn] b[a5po] Source

Constructors Couple a[a5pn] b[a5po] Instances Typeable2 Couple (Data ctx a[a5pn], Data ctx b[a5po], Sat (ctx (Couple a[a5pn] b[a5po]))) => Data ctx (Couple a[a5pn] b[a5po]) Trans ft b => Trans' ft (Couple a b) (Eq a[a5pn], Eq b[a5po]) => Eq (Couple a[a5pn] b[a5po]) (Data a[a5pn], Data b[a5po]) => Data (Couple a[a5pn] b[a5po]) (Ord a[a5pn], Ord b[a5po]) => Ord (Couple a[a5pn] b[a5po]) (Read a[a5pn], Read b[a5po]) => Read (Couple a[a5pn] b[a5po]) (Show a[a5pn], Show b[a5po]) => Show (Couple a[a5pn] b[a5po]) (Default a[a5pn], Default b[a5po]) => Default (Couple a[a5pn] b[a5po]) (Xml a, Xml b) => Xml (Couple a b) (Eq a, Xml a, Show a, Data a, CoupleClass b) => CoupleClass (Couple a b) HasT c a => HasT' (Couple b c) a HasT (Couple a b) b HasT (Couple a b) a Trans (b -> b) (Couple a b) Trans (a -> a) (Couple a b) HMap (Couple a Nil) (Couple ([] a) Nil) (HMap b d, CoupleClass b) => HMap (Couple a b) (Couple ([] a) d)

data Nil Source

Constructors Nil Instances Eq Nil Data Nil Ord Nil Read Nil Show Nil Typeable Nil Default Nil CoupleClass Nil Sat (ctx Nil) => Data ctx Nil

class CoupleClass a Source

Instances CoupleClass Nil (Eq a, Xml a, Show a, Data a, CoupleClass b) => CoupleClass (Couple a b)

hMap :: HMap a b => a -> b Source

trans :: Trans ft a => ft -> a -> a Source

Produced by Haddock version 2.1.0