ú΄O      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMN)Operation on type-level lists and tuples.(c) Marcin Mrotek, 2014BSD3marcin.jan.mrotek@gmail.comNone !"'(4>KLNSwap elements of a type pair."Cons a type pair in reverse order. (Cons a type pair with elements in order.Second element of a type pair.First element of a type pair. Lookup an association type list.3Test if two list do not contain any equal elements.!Type list intersection. &Type list membership test.)Reverse a type-level list.*Helper type family for )./Set difference over type lists.4Remove a type from type list.9Set union over type lists.>Insert a type into a type list.A<Length of a type-level list, as a type-level natural number.H7Zip two list with a curried two-argument type function.M.Maps a curried type function over a type list.N+Length of a type-level list, as an integer.m  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklO  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOMKLIJHFGDEBCAN?@><=:;9785642301/-.+,*)'(&$%"#!    O   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklm         !!"##$$%&&''())*++,,--.//00123456789:;<=>?@ABCDEFGHIJKLMNOPQtypel_EZkh593POq47xmntpXfEZ5Data.Type.ListSwap'SwapAsSnd'AsSnd''AsSndAsFst'AsFst''AsFstSnd'SndFst'FstLookup'Lookup''Lookup Distinct' Distinct''Distinct Intersection'Intersection'' IntersectionFind'Find''FindReverse'Reverse ReverseAcc Difference' Difference'' DifferenceRemove'Remove''RemoveUnion'Union''UnionInsert'Insert''InsertLength'LengthZipWith' ZipWith'' ZipWith'''ZipWithMap'Map''Map lengthValTFCo:R:Apply(,)(,)Swap'(,)TFCo:R:Apply(,)kAsSnd'bTFCo:R:Apply(->)kAsSnd''aTFCo:R:Apply(,)kAsFst'bTFCo:R:Apply(->)kAsFst''aTFCo:R:Applyk1(,)Snd'(,)TFCo:R:Applyk1(,)Fst'(,)TFCo:R:Applyk[]Lookup'xsTFCo:R:Apply(->)kLookup''xTFCo:R:ApplyBool[]Distinct'ysTFCo:R:Apply(->)[]Distinct''xsTFCo:R:Apply[][]Intersection'ys"TFCo:R:Apply(->)[]Intersection''xsTFCo:R:ApplyBool[]Find'xsTFCo:R:Apply(->)kFind''xTFCo:R:Apply[][]Reverse'xsTFCo:R:Apply[][]Difference'ys TFCo:R:Apply(->)[]Difference''xsTFCo:R:Apply[][]Remove'xsTFCo:R:Apply(->)kRemove''xTFCo:R:Apply[][]Union'ysTFCo:R:Apply(->)[]Union''xsTFCo:R:Apply[][]Insert'xsTFCo:R:Apply(->)kInsert''xTFCo:R:ApplyNat[]Length'xsTFCo:R:Apply[][]ZipWith'ysTFCo:R:Apply(->)[]ZipWith''xsTFCo:R:Apply(->)(->)ZipWith'''fTFCo:R:Apply[][]Map'lTFCo:R:Apply(->)(->)Map''f