ZVN_      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFG H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^  non-portable  experimental generics@haskell.org  Safe-Inferred non-portable  experimental generics@haskell.org  Safe-InferredHDatatype to represent the fixity of a constructor. An infix declaration + directly corresponds to an application of  . 6Class for datatypes that represent data constructors. % For non-symbolic constructors, only   has to be defined. 8 The weird argument is supposed to be instantiated with C from  base, hence the complex kind.         non-portable  experimental generics@haskell.org  Safe-Inferred The type class Regular. captures the structural representation of a 8 type and the corresponding embedding-projection pairs. ITo be able to use the generic functions, the user is required to provide ! an instance of this type class. The type family PF/ represents the pattern functor of a datatype. ITo be able to use the generic functions, the user is required to provide " an instance of this type family. !The well-known fixed-point type. 7Structure type to store the name of a record selector. 3Structure type to store the name of a constructor. ,Structure type for fields of a constructor. +Structure type for alternatives in a type. !'Structure type for empty constructors. #%Structure type for recursive values. &$Structure type for constant values. ! !"#$%&'(_`abcde'  !"#$%&'('&'(#$%!"    !"#$%&'(_`abcde non-portable experimentalgenerics@haskell.orgNone)KGiven the type and the name (as string) for the pattern functor to derive,  generate the Constructor' instances, the Selector' instances and the   instance. *-Given a datatype name, derive datatypes and  instances of class  . +-Given a datatype name, derive datatypes and  instances of class . ,0Given the type and the name (as string) for the ) pattern functor to derive, generate the   instance. -Derive only the  instance. Not needed if ,  is used. #)*+,-fghijklmnopqrstuvwxyz{|}~)*+,-)*+,-#)*+,-fghijklmnopqrstuvwxyz{|}~ non-portable  experimental generics@haskell.org  Safe-Inferred0GReturn the name of all the constructors of the type of the given term. ./0./0./0 ./0 non-portable  experimental generics@haskell.org  Safe-Inferred1The Crush? class defines a right-associative crush on functorial values. 3.Associativity of the binary operator used for 2 4Right-associative 5Left-associative 6<Flatten a structure by collecting all the elements present. 7<Flatten a structure by collecting all the elements present. 123456789 123456789 123547689 123546789 non-portable  experimental generics@haskell.org  Safe-Inferred:5The class unfold explains how to convert a coalgebra = and a seed  into a representation. >2The class fold explains how to convert an algebra  A) into a function from functor to result. BFold with convenient algebras. DHFor constructing algebras it is helpful to use this pairing combinator. :;<=>?@ABCD :;<=>?@ABCD A@>?B=<:;CD:;<=>?@ABCD non-portable  experimental generics@haskell.org  Safe-InferredEThe GMap) class defines a monadic functorial map. EFEFEFEF  non-portable  experimental generics@haskell.org  Safe-InferredGThe LR class defines two functions, leftf and rightf, which should & produce different functorial values. JThe LRBase class defines two functions, leftb and rightb , which " should produce different values. MGProduces a value which should be different from the value returned by  right. NGProduces a value which should be different from the value returned by  left. GHIJKLMNGHIJKLMNJKLGHIMNGHIJKLMN  non-portable  experimental generics@haskell.org  Safe-InferredOThe Zip3 class defines a monadic zip on functorial values. QJFunctorial zip with a non-monadic function, resulting in a monadic value. R4Partial functorial zip with a non-monadic function. OPQROPQROPQR OPQR non-portable  experimental generics@haskell.org  Safe-Inferred'./0123456789:;<=>?@ABCDEFGHIJKLMNOPQR  non-portable  experimental generics@haskell.org  Safe-Inferred STUSTUSTU STU  non-portable  experimental generics@haskell.org  Safe-InferredVWXYZVWXYZVWZXYVWXYZ  non-portable  experimental generics@haskell.org  Safe-Inferred[The Show! class defines a show on values. [\]^[\]^[\^] [\]^ non-portable  experimental generics@haskell.org NoneS  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQR !"#$%&'(()**+,,-./0011233456789:;<=>?@ABCDEFGHIJKLMNOPQR S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i jklmnopqrstuvwxyz{|}~  regular-0.3.4.2Generics.Regular.Functions.GMapGenerics.Regular.SelectorGenerics.Regular.ConstructorGenerics.Regular.BaseGenerics.Regular.TH#Generics.Regular.Functions.ConNames Generics.Regular.Functions.CrushGenerics.Regular.Functions.FoldGenerics.Regular.Functions.LRGenerics.Regular.Functions.ZipGenerics.Regular.Functions.EqGenerics.Regular.Functions.ReadGenerics.Regular.Functions.ShowGenerics.Regular.FunctionsGenerics.RegularbaseGHC.BasefmapFunctorSelectorselName AssociativityNotAssociativeRightAssociativeLeftAssociativeFixityInfixPrefix ConstructorconName conFixity conIsRecordRegularfromtoPFFixInoutSunSCunC:*::+:RLUIunIKunK deriveAllderiveConstructorsderiveSelectors deriveRegularderivePFConNames hconNamesconNamesCrushcrushAssoc AssocRight AssocLeftflattenrflattenlcrushrcrushlUnfoldcoalg CoAlgebraCoAlgFoldalgAlgebraAlgfoldunfold&GMapfmapMLRleftfrightfLRBaseleftbrightbleftrightZipfzipMfzipfzip'EqeqfeqReadhreaderreadPrec readsPrecreadShow hshowsPrecshowsshow $fFunctorS $fFunctorC $fFunctor:*: $fFunctor:+: $fFunctorU $fFunctorK $fFunctorI deriveInstconstrInstanceselectInstance typeVariablestyVarBndrToNamestripRecordNamesgenName mkConstrData mkSelectDatamkConstrInstancemkConstrInstanceWithmkSelectInstancepfTypepfCondataDeclToTypepfFieldpfField'mkFrommkTofromCon fromField fromField'toContoFieldtoField'fieldlrPlrE$fLiftAssociativity $fLiftFixity $fConNamesK $fConNamesU $fConNamesI $fConNames:*: $fConNamesS $fConNamesC $fConNames:+:$fCrushS$fCrushC $fCrush:*: $fCrush:+:$fCrushU$fCrushK$fCrushI $fUnfoldS $fUnfoldC $fUnfold:*: $fUnfold:+: $fUnfoldU $fUnfoldI $fUnfoldK$fFoldS$fFoldC $fFold:*: $fFold:*:0 $fFold:+:$fFoldI$fFoldU$fFoldK$fGMapS$fGMapC $fGMap:*: $fGMap:+:$fGMapU$fGMapK$fGMapI$fLRS$fLRC$fLR:*:$fLR:+:$fLRU$fLRK$fLRI $fLRBase[] $fLRBaseChar$fLRBaseInteger $fLRBaseInt$fZipS$fZipC$fZip:*:$fZip:+:$fZipU$fZipK$fZipI$fEqS$fEqC$fEq:*:$fEq:+:$fEqU$fEqK$fEqI CountAtoms countatomsreadConsreadPrefixConsbraces readInfixConsreadNoArgsConsappPrec$fReadS$fReadC$fReadC0$fReadC1$fReadC2$fReadC3 $fRead:*: $fRead:+:$fReadI$fReadK$fReadU $fCountAtomsS$fCountAtoms:*: $fCountAtomsI $fCountAtomsK showBraces showsPrec$fShowS$fShowC $fShow:*: $fShow:+:$fShowU$fShowK$fShowI