úÎ#j!µ     Appending type lists.(c) PaweB NowakMIT PaweB Nowak <pawel834@gmail.com> experimentalNone'(=JKAppends two type lists.6Proof (by unsafeCoerce) that appending is associative.=Proof (by unsafeCoerce) that '[] is a right identity of (++).Appends two HLists.,Template haskell used to generate instances.(c) PaweB NowakMIT PaweB Nowak <pawel834@gmail.com> experimentalNone(lGenerates names starting with letters of the alphabet, then pairs of letters, triples of letters and so on.HSize of the largest tuple that this library will work with. Equal to 13.>Note that size of ((((((1, 1), 1), 1), 1), 1), 1) is 2, not 7. Creates the Rep type family.!Creates a HFoldable instance for k element tuples.#Creates a HUnfoldable instance for k element tuples.>Morph between tuples with the same "flattened" representation.(c) PaweB NowakMIT PaweB Nowak <pawel834@gmail.com> provisionalNone!"'()24=HJKM 1Types that can be built from a heterogenous list.+Build a structure from a heterogenous list.EBuilds a structure from a heterogenous list and yields the leftovers.An indexed monad on a monoid. "A function that parses some value val with representation repF from a heterogenous list and returns the parsed value and leftovers.Run the parser.3Types that can be flattened to a heterogenous list.,Converts a structure to a heterogenous list.DRecurisvely break down a tuple type, representing it as a type list.DMorph a tuple to some isomorphic tuple with the same order of types.CWorks with arbitrary nested tuples, each tuple can have size up to .3morph ("a", ("b", "c")) :: (String, String, String) ("a","b","c")Amorph ((1 :: Int, 2 :: Int), 3 :: Double) :: (Int, (Int, Double)) (1,(2,3.0))Cmorph ("a", (), (5 :: Int, (), "c")) :: ((), (String, Int), String)((),("a",5),"c")Wmorph (((("a", "b"), "c"), "d"), "e") :: ((String, String), (String, (String, String)))(("a","b"),("c",("d","e")))       !      !"#$tuple-morph-0.1.0.0Data.Tuple.Morph.AppendData.Tuple.MorphData.Tuple.Morph.TH++ appendAssoc appendRightId++@ sizeLimit HUnfoldable fromHList hListParserMonoidIndexedMonadEmptyAppendreturnMIbindMIHParser runHParser HFoldabletoHListRepmorphmkNamesmkRepmkHFoldableInstmkHUnfoldableInst tupleFrommkInst $fHFoldablea $fHFoldable()$fMonoidIndexedMonad[]HParser$fHUnfoldablea$fHUnfoldable()$fHFoldable(,)$fHUnfoldable(,)