HAppS-Data-0.9.3: 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[a4NS] b[a4NT] Source

Constructors Couple a[a4NS] b[a4NT] Instances Typeable2 Couple (Data ctx a[a4NS], Data ctx b[a4NT], Sat (ctx (Couple a[a4NS] b[a4NT]))) => Data ctx (Couple a[a4NS] b[a4NT]) Trans ft b => Trans' ft (Couple a b) (Eq a[a4NS], Eq b[a4NT]) => Eq (Couple a[a4NS] b[a4NT]) (Data a[a4NS], Data b[a4NT]) => Data (Couple a[a4NS] b[a4NT]) (Ord a[a4NS], Ord b[a4NT]) => Ord (Couple a[a4NS] b[a4NT]) (Read a[a4NS], Read b[a4NT]) => Read (Couple a[a4NS] b[a4NT]) (Show a[a4NS], Show b[a4NT]) => Show (Couple a[a4NS] b[a4NT]) (Default a[a4NS], Default b[a4NT]) => Default (Couple a[a4NS] b[a4NT]) (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 HMap (Couple a Nil) (Couple ([] a) Nil) (HMap b d, CoupleClass b) => HMap (Couple a b) (Couple ([] a) d) Trans (b -> b) (Couple a b) Trans (a -> a) (Couple a b)

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.4.2