HAppS-Data-0.9.2: HAppS data manipulation libraries Contents Index

HAppS.Data.HList

Documentation

class HasT a b

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

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

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

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

type (:&:) a b = Couple b a

data Couple a[a5qm] b[a5qn]

Constructors Couple a[a5qm] b[a5qn] Instances Typeable2 Couple (Data ctx a[a5qm], Data ctx b[a5qn], Sat (ctx (Couple a[a5qm] b[a5qn]))) => Data ctx (Couple a[a5qm] b[a5qn]) Trans ft b => Trans' ft (Couple a b) (Eq a[a5qm], Eq b[a5qn]) => Eq (Couple a[a5qm] b[a5qn]) (Data a[a5qm], Data b[a5qn]) => Data (Couple a[a5qm] b[a5qn]) (Ord a[a5qm], Ord b[a5qn]) => Ord (Couple a[a5qm] b[a5qn]) (Read a[a5qm], Read b[a5qn]) => Read (Couple a[a5qm] b[a5qn]) (Show a[a5qm], Show b[a5qn]) => Show (Couple a[a5qm] b[a5qn]) (Default a[a5qm], Default b[a5qn]) => Default (Couple a[a5qm] b[a5qn]) (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

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

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

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

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

Produced by Haddock version 2.1.0