!v      !"#$%&'()*+,-./0123456 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u  (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone&'DoQ3vderiving-compatCA mapping of type variable Names to their auxiliary function Names.wderiving-compatEWhether a type is not of kind *, is of kind *, or is a kind variable.deriving-compat>A type-level modifier intended to be used in conjunction with  deriveVia". Refer to the documentation for  deriveVia for more details.xderiving-compat8Does a Type have kind * or k (for some kind variable k)?yderiving-compatReturns z the kind variable { of a w# if it exists. Otherwise, returns |.}deriving-compatjConcat together all of the StarKindStatuses that are IsKindVar and extract the kind variables' Names out.~deriving-compatAttempt to derive a constraint on a Type. If successful, return Just the constraint and any kind variable names constrained to *. Otherwise, return Nothing and the empty list.dSee Note [Type inference in derived instances] for the heuristics used to come up with constraints.deriving-compatMThe given datatype has no constructors, and we don't know what to do with it.deriving-compatEither the given data type doesn't have enough type variables, or one of the type variables to be eta-reduced cannot realize kind *.deriving-compatSThe last type variable appeared in a contravariant position when deriving Functor.deriving-compatUA constructor has a function argument in a derived Foldable or Traversable instance.deriving-compat}One of the last type variables cannot be eta-reduced (see the canEtaReduce function for the criteria it would have to meet).deriving-compatZThe data type has a DatatypeContext which mentions one of the eta-reduced type variables.deriving-compatbThe data type has an existential constraint which mentions one of the eta-reduced type variables.deriving-compatThe data type mentions one of the n eta-reduced type variables in a place other than the last nth positions of a data type in a constructor's field.deriving-compat Test if an  value is the = constructor. Provided as standard with GHC 7.8 and above.deriving-compatPull the value out of an / where both alternatives have the same type. ?\x -> fromEither (Left x ) == x \x -> fromEither (Right x) == xderiving-compat takes a list of Bools and a list of some elements and filters out these elements for which the corresponding value in the list of Bools is False. This function does not check whether the lists have equal length.deriving-compat takes a list of Bools and two lists as input, and outputs a new list consisting of elements from the last two input lists. For each Bool in the list, if it is ;, then it takes an element from the former list. If it is ~, it takes an element from the latter list. The elements taken correspond to the index of the Bool in its list. For example: @filterByLists [True, False, True, False] "abcd" "wxyz" = "axcz" AThis function does not check whether the lists have equal length.deriving-compat takes a list of Bools and a list of some elements and partitions the list according to the list of Bools. Elements corresponding to + go to the left; elements corresponding to  go to the right. For example, ;partitionByList [True, False, True] [1,2,3] == ([1,3], [2])D This function does not check whether the lists have equal length.deriving-compat Apply an Either Exp Exp expression to an  expression, preserving the -ness.deriving-compat"Returns True if a Type has kind *.deriving-compathasKindVarChain n kind Checks if kindj is of the form k_0 -> k_1 -> ... -> k_(n-1), where k0, k1, ..., and k_(n-1) can be * or kind variables.deriving-compatEIf a Type is a SigT, returns its kind signature. Otherwise, return *.deriving-compat1Returns the number of fields for the constructor.deriving-compatReturns B if it's a datatype with exactly one, non-existential constructor.deriving-compatReturns E if it's a datatype with one or more nullary, non-GADT constructors.deriving-compatReturns ; if we're dealing with existential quantification or GADTs.deriving-compatKGenerate a list of fresh names with a common prefix, and numbered suffixes.deriving-compat#Extracts the kind from a TyVarBndr.deriving-compatConvert a TyVarBndr to a Type.deriving-compat)Applies a typeclass constraint to a type.deriving-compatChecks to see if the last types in a data family instance can be safely eta- reduced (i.e., dropped), given the other types. This checks for three conditions: +All of the dropped types are type variables%All of the dropped types are distinct<None of the remaining types mention any of the dropped typesderiving-compatgExtract the Name from a type constructor. If the argument Type is not a type variable, throw an error.deriving-compatiExtract Just the Name from a type variable. If the argument Type is not a type variable, return Nothing.deriving-compatdExtract the Name from a type variable. If the argument Type is not a type variable, throw an error.deriving-compat6Peel off a kind signature from a Type (if it has one).deriving-compatIs the given type a variable?deriving-compatPIs the given type a type family constructor (and not a data family constructor)?deriving-compatAAre all of the items in a list (which have an ordering) distinct?HThis uses Set (as opposed to nub) for better asymptotic time complexity.deriving-compat9Does the given type mention any of the Names in the list?deriving-compat@Does an instance predicate mention any of the Names in the list?deriving-compat)Construct a type via curried application.deriving-compat7Fully applies a type constructor to its type variables.deriving-compatHSplit an applied type into its individual components. For example, this: Either Int Char would split to this: [Either, Int, Char] deriving-compatESplit a type signature by the arrows on its spine. For example, this: .forall a b. (a ~ b) => (a -> b) -> Char -> () would split to this: (a ~ b, [a -> b, Char, ()]) deriving-compat)Like uncurryType, except on a kind level.deriving-compatCGets all of the required type variable binders mentioned in a Type.deriving-compat Checks if a {6 represents a tuple type constructor (other than '()')deriving-compat Checks if a % represents a tuple (other than '()')deriving-compat Checks if a S names a valid Haskell infix data constructor (i.e., does it begin with a colon?).deriving-compat5The typeclass for which an instance should be derivedderiving-compat(The type constructor or data family namederiving-compatThe datatype contextderiving-compat*The types to instantiate the instance withderiving-compat1Are we dealing with a data family instance or not<vwxy}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~0 (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNonetderiving-compat6A representation of which function is being generated.deriving-compat Generates a G instance declaration for the given data type or data family instance.deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).deriving-compat Generates  and  method declarations.deriving-compatIGenerates a lambda expression which behaves like the BoundedFun argument.deriving-compat~Generates a lambda expression for minBound/maxBound. for the given constructors. All constructors must be from the same type.(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNonederiving-compatUGenerates an instance for a type class at a newtype by emulating the behavior of the GeneralizedNewtypeDeriving extension. For example: newtype Foo a = MkFoo a $( [t| forall a.  a =>  (Foo a) |]) deriving-compatHGenerates an instance for a type class by emulating the behavior of the  DerivingVia extension. For example: newtype Foo a = MkFoo a $( [t| forall a.  a =>  (Foo a) ` ` Down a |]) As shown in the example above, the syntax is a tad strange. One must specify the type by which to derive the instance using the  type. This requirement is in place to ensure that the type variables are scoped correctly across all the types being used (e.g., to make sure that the same a is used in  a,  (Foo a), and Down a).deriving-compat8Replace the last element of a list with another element.deriving-compatThe instance head (e.g.,  Eq (Foo a))deriving-compat If using  , this is 'Nothing. If using  , this is z the via type. (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone deriving-compat6A representation of which function is being generated.deriving-compat Generates an G instance declaration for the given data type or data family instance.deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance).deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance). deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance). deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance). deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance). deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance).deriving-compat%Generates method declarations for an  instance.deriving-compatFGenerates a lambda expression which behaves like the EnumFun argument.deriving-compat*Generates a lambda expression for fromEnumtoEnumNetc. for the given constructors. All constructors must be from the same type. (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNoneb  (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone&'Cderiving-compatA representation of which Eq variant is being derived. deriving-compat Generates an G instance declaration for the given data type or data family instance.deriving-compatOGenerates a lambda expression which behaves like '(==)' (without requiring an  instance).deriving-compatOGenerates a lambda expression which behaves like '(/=)' (without requiring an  instance).deriving-compat Generates an G instance declaration for the given data type or data family instance.deriving-compat1Generates a lambda expression which behaves like liftEq (without requiring an  instance).$This function is not available with transformers-0.4.deriving-compat1Generates a lambda expression which behaves like eq1 (without requiring an  instance).deriving-compat Generates an G instance declaration for the given data type or data family instance.$This function is not available with transformers-0.4.deriving-compat1Generates a lambda expression which behaves like liftEq2 (without requiring an  instance).$This function is not available with transformers-0.4.deriving-compat1Generates a lambda expression which behaves like eq2 (without requiring an  instance).$This function is not available with transformers-0.4.deriving-compatUDerive an Eq(1)(2) instance declaration (depending on the EqClass argument's value).deriving-compatGenerates a declaration defining the primary function corresponding to a particular class ((==) for Eq, liftEq for Eq1, and liftEq2 for Eq2).deriving-compathGenerates a lambda expression which behaves like (==) (for Eq), liftEq (for Eq1), or liftEq2 (for Eq2).deriving-compat&Generates a lambda expression for (==)liftEqNetc. for the given constructors. All constructors must be from the same type. (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone  (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone&'%deriving-compat6A representation of which function is being generated.deriving-compat1A representation of which class is being derived.deriving-compat4Options that further configure how the functions in Data.Functor.Deriving should behave. (FFT stands for "'Functor'/'Foldable'/'Traversable'.)deriving-compatIf `, derived instances for empty data types (i.e., ones with no data constructors) will use the  EmptyCase language extension. If $, derived instances will simply use ; instead. (This has no effect on GHCs before 7.8, since  EmptyCase' is only available in 7.8 or later.)deriving-compat Conservative  that doesn't attempt to use  EmptyCaseG (to prevent users from having to enable that extension at use sites.)deriving-compat Generates a G instance declaration for the given data type or data family instance.deriving-compatLike , but takes an  argument.deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).deriving-compatLike , but takes an  argument.deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).deriving-compatLike , but takes an  argument. deriving-compat1Generates a lambda expression which behaves like fold (without requiring a  instance).!deriving-compatLike  , but takes an  argument."deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).#deriving-compatLike ", but takes an  argument.$deriving-compat Generates a G instance declaration for the given data type or data family instance.%deriving-compatLike $, but takes an  argument.&deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).'deriving-compatLike &, but takes an  argument.(deriving-compat Generates a G instance declaration for the given data type or data family instance.)deriving-compatLike deriveTraverse, but takes an  argument.*deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).+deriving-compatLike *, but takes an  argument.,deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).-deriving-compatLike ,, but takes an  argument..deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance)./deriving-compatLike ., but takes an  argument.0deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).1deriving-compatLike 0, but takes an  argument.deriving-compatUDerive a class instance declaration (depending on the FunctorClass argument's value).deriving-compatGenerates a declaration defining the primary function(s) corresponding to a particular class (fmap for Functor, foldr and foldMap for Foldable, and traverse for Traversable).HFor why both foldr and foldMap are derived for Foldable, see Trac #7436.deriving-compatIGenerates a lambda expression which behaves like the FunctorFun argument.deriving-compatgGenerates a lambda expression for the given constructors. All constructors must be from the same type.deriving-compat7Generates a lambda expression for a single constructor.deriving-compatCGenerates a lambda expression for a single constructor's arguments.deriving-compat^Generates a lambda expression for a single argument of a constructor. The returned value is A if its type mentions the last type parameter. Otherwise, it is .deriving-compatJGenerates a lambda expression for a specific type. The returned value is A if its type mentions the last type parameter. Otherwise, it is . !"#$%&'()*+,-./01(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone $%&'$%&'(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone !"# !"#(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNoneqderiving-compat6A representation of which function is being generated.2deriving-compat Generates a IxG instance declaration for the given data type or data family instance.3deriving-compat1Generates a lambda expression which behaves like range (without requiring an Ix instance).4deriving-compat1Generates a lambda expression which behaves like  unsafeIndex (without requiring an Ix instance).5deriving-compat1Generates a lambda expression which behaves like inRange (without requiring an Ix instance).deriving-compat%Generates method declarations for an Ix instance.deriving-compatDGenerates a lambda expression which behaves like the IxFun argument.deriving-compat%Generates a lambda expression for an IxQ method for the given constructors. All constructors must be from the same type.2345(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone23452345(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone&'Aderiving-compatA representation of which Ord variant is being derived.6deriving-compat Generates an G instance declaration for the given data type or data family instance.7deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance).8deriving-compatNGenerates a lambda expression which behaves like '(<)' (without requiring an  instance).9deriving-compatOGenerates a lambda expression which behaves like '(<=)' (without requiring an  instance).:deriving-compatNGenerates a lambda expression which behaves like '(>)' (without requiring an  instance).;deriving-compatOGenerates a lambda expression which behaves like '(>=)' (without requiring an  instance).<deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance).=deriving-compat1Generates a lambda expression which behaves like  (without requiring an  instance).>deriving-compat Generates an G instance declaration for the given data type or data family instance.?deriving-compat1Generates a lambda expression which behaves like  liftCompare (without requiring an  instance).$This function is not available with transformers-0.4.@deriving-compat1Generates a lambda expression which behaves like compare1 (without requiring an  instance).Aderiving-compat Generates an G instance declaration for the given data type or data family instance.$This function is not available with transformers-0.4.Bderiving-compat1Generates a lambda expression which behaves like  liftCompare2 (without requiring an  instance).$This function is not available with transformers-0.4.Cderiving-compat1Generates a lambda expression which behaves like compare2 (without requiring an  instance).$This function is not available with transformers-0.4.deriving-compatWDerive an Ord(1)(2) instance declaration (depending on the OrdClass argument's value).deriving-compatGenerates a declaration defining the primary function(s) corresponding to a particular class (compare for Ord, liftCompare for Ord1, and liftCompare2 for Ord2).deriving-compatGenerates a lambda expression which behaves like the OrdFun value. This function uses heuristics to determine whether to implement the OrdFun from scratch or define it in terms of compare.deriving-compatgGenerates a lambda expression for the given constructors. All constructors must be from the same type.deriving-compatLike (, only it reverses the sense of the test6789:;<=>?@ABC (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNoneC6789:;<=>?@ABC6789:;<=>?@ABC(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNoneE()*+,-./01()*+,-./01SafeF>    (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone&'9 deriving-compatA representation of which Read variant is being derived.Dderiving-compat4Options that further configure how the functions in Text.Read.Deriving should behave.Fderiving-compatIf :Derived  instances will implement readPrec, not 2, and will provide a default implementation of  readListPrec in terms of readPrec.If built against  base-4.10 or later, derived 'Read1'/'Read2' instances will implement 'liftReadPrec'/'liftReadPrec2' , not  'liftReadsPrec'/'liftReadsPrec2'1, and will provide default implementations of &'liftReadListPrec'/'liftReadListPrec2' in terms of 'liftReadPrec'/'liftReadPrec2',. If built against an earlier version of base , derived 'Read1'/'Read2'F instances are not affected, so they will act as if this flag were .If :Derived  instances will implement .Derived  instances will implement  readsPrec1 (if built against transformers-0.4) or  liftReadsPrec& (otherwise). If not built against transformers-0.4 , derived  instances will implement liftReadsPrec2.8It's generally a good idea to enable this option, since readPrec& and friends are more efficient than 2 and friends, since the former use the efficient ReadPrec> parser datatype while the latter use the slower, list-based  type.Gderiving-compatD that favor readPrec over .Hderiving-compat Generates a G instance declaration for the given data type or data family instance.Ideriving-compatLike H, but takes a D argument.Jderiving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).Kderiving-compat1Generates a lambda expression which behaves like readPrec (without requiring a  instance).Lderiving-compat Generates a G instance declaration for the given data type or data family instance.Mderiving-compatLike L, but takes a D argument.Nderiving-compat1Generates a lambda expression which behaves like  liftReadsPrec (without requiring a  instance).$This function is not available with transformers-0.4.Oderiving-compat1Generates a lambda expression which behaves like  liftReadPrec (without requiring a  instance).%This function is only available with  base-4.10 or later.Pderiving-compat1Generates a lambda expression which behaves like  readPrec1 (without requiring a  instance).%This function is only available with  base-4.10 or later.Qderiving-compat1Generates a lambda expression which behaves like  readsPrec1 (without requiring a  instance).Rderiving-compat Generates a G instance declaration for the given data type or data family instance.$This function is not available with transformers-0.4.Sderiving-compatLike R, but takes a D argument.$This function is not available with transformers-0.4.Tderiving-compat1Generates a lambda expression which behaves like liftReadsPrec2 (without requiring a  instance).$This function is not available with transformers-0.4.Uderiving-compat1Generates a lambda expression which behaves like  liftReadPrec2 (without requiring a  instance).%This function is only available with  base-4.10 or later.Vderiving-compat1Generates a lambda expression which behaves like  readPrec2 (without requiring a  instance).%This function is only available with  base-4.10 or later.Wderiving-compat1Generates a lambda expression which behaves like  readsPrec2 (without requiring a  instance).$This function is not available with transformers-0.4.deriving-compatXDerive a Read(1)(2) instance declaration (depending on the ReadClass argument's value).deriving-compatGenerates a declaration defining the primary function corresponding to a particular class (read(s)Prec for Read, liftRead(s)Prec for Read1, and liftRead(s)Prec2 for Read2).deriving-compatGenerates a lambda expression which behaves like read(s)Prec (for Read), liftRead(s)Prec (for Read1), or liftRead(s)Prec2 (for Read2).deriving-compat-Generates a lambda expression for read(s)PrecliftRead(s)PrecNetc. for the given constructors. All constructors must be from the same type.deriving-compat-readsListName if True, readsPrecName if Falsederiving-compat/readListPrecName if True, readPrecName if Falsederiving-compat8readPrecOrListName if True, readsPrecOrListName if Falsederiving-compat7read(s)List(Prec)Name if True, read(s)PrecName if FalseDEFGHIJKLMNOPQRSTUVW (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNoneDEFGHIJKLMNOPQRSTUVWHIJKLMNOPQRSTUVWDEFG(C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNone&'f&deriving-compatA representation of which Show variant is being derived.Xderiving-compat4Options that further configure how the functions in Text.Show.Deriving should behave.Zderiving-compatIf , the derived , , or  instance will not surround the output of showing fields of unlifted types with parentheses, and the output will be suffixed with hash signs (#).[deriving-compatIf `, derived instances for empty data types (i.e., ones with no data constructors) will use the  EmptyCase language extension. If $, derived instances will simply use ; instead. (This has no effect on GHCs before 7.8, since  EmptyCase' is only available in 7.8 or later.)\deriving-compatX8 that match the behavior of the most recent GHC release.]deriving-compatX9 that match the behavior of the installed version of GHC.^deriving-compat Generates a G instance declaration for the given data type or data family instance._deriving-compatLike ^, but takes a X argument.`deriving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).aderiving-compatLike `, but takes a X argument.bderiving-compat1Generates a lambda expression which behaves like  (without requiring a  instance).cderiving-compatLike b, but takes a X argument.dderiving-compat1Generates a lambda expression which behaves like   (without requiring a  instance).ederiving-compatLike d, but takes a X argument.fderiving-compat Generates a G instance declaration for the given data type or data family instance.gderiving-compatLike f, but takes a X argument.hderiving-compat1Generates a lambda expression which behaves like  showsPrec1 (without requiring a  instance).ideriving-compat1Generates a lambda expression which behaves like  liftShowsPrec (without requiring a  instance).$This function is not available with transformers-0.4.jderiving-compatLike i, but takes a X argument.$This function is not available with transformers-0.4.kderiving-compat1Generates a lambda expression which behaves like  liftShowList (without requiring a  instance).$This function is not available with transformers-0.4.lderiving-compatLike k, but takes a X argument.$This function is not available with transformers-0.4.mderiving-compatLike h, but takes a X argument.nderiving-compat Generates a G instance declaration for the given data type or data family instance.$This function is not available with transformers-0.4.oderiving-compatLike n, but takes a X argument.$This function is not available with transformers-0.4.pderiving-compat1Generates a lambda expression which behaves like liftShowsPrec2 (without requiring a  instance).$This function is not available with transformers-0.4.qderiving-compatLike p, but takes a X argument.$This function is not available with transformers-0.4.rderiving-compat1Generates a lambda expression which behaves like  liftShowList2 (without requiring a  instance).$This function is not available with transformers-0.4.sderiving-compatLike r, but takes a X argument.$This function is not available with transformers-0.4.tderiving-compat1Generates a lambda expression which behaves like  showsPrec2 (without requiring a  instance).$This function is not available with transformers-0.4.uderiving-compatLike t, but takes a X argument.$This function is not available with transformers-0.4.!deriving-compatXDerive a Show(1)(2) instance declaration (depending on the ShowClass argument's value)."deriving-compatGenerates a declaration defining the primary function corresponding to a particular class (showsPrec for Show, liftShowsPrec for Show1, and liftShowsPrec2 for Show2).#deriving-compatGenerates a lambda expression which behaves like showsPrec (for Show), liftShowsPrec (for Show1), or liftShowsPrec2 (for Show2).$deriving-compat+Generates a lambda expression for showsPrec liftShowsPrecNetc. for the given constructors. All constructors must be from the same type.%deriving-compat+Generates a lambda expression for showsPrec liftShowsPrecetc. for a single constructor.&deriving-compat+Generates a lambda expression for showsPrec liftShowsPrec'etc. for an argument of a constructor.'deriving-compat+Generates a lambda expression for showsPrec liftShowsPrec\etc. for a specific type. The generated expression depends on the number of type variables. .If the type is of kind * (T), apply showsPrec.MIf the type is of kind * -> * (T a), apply liftShowsPrec $(makeShowForType a)nIf the type is of kind * -> * -> * (T a b), apply liftShowsPrec2 $(makeShowForType a) $(makeShowForType b)(deriving-compatqParenthesize an infix constructor name if it is being applied as a prefix function (e.g., data Amp a = (:&) a a)'deriving-compat|True if we are using the function of type ([a] -> ShowS), False if we are using the function of type (Int -> a -> ShowS).)deriving-compat,showListName if True, showsPrecName if FalseXYZ[\]^_`abcdefghijklmnopqrstu (C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNoneiXYZ[\]^_`abcdefghijklmnopqrstu^_bc`adefgijklhmnopqrstuXYZ[\](C) 2015-2017 Ryan Scott BSD-style (see the file LICENSE) Ryan ScottTemplate HaskellNones  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstu*     !"#$%&'()*+,-../0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[[\]^_`abcdefghijklmnnopqrstuvwxyz{|}~                                                    ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                 !"#$%&'()*+,-./01023456789:;<=>?@AB?C?D?EFGHIJKLMNO*deriving-compat-0.5-ImuZSkpDm39EBnTEVf8OhuData.Deriving.ViaData.Bounded.DerivingData.Enum.DerivingData.Eq.DerivingData.Functor.DerivingData.Foldable.DerivingData.Traversable.DerivingData.Ix.DerivingData.Ord.DerivingText.Read.DerivingText.Show.DerivingData.Deriving.InternalData.Bounded.Deriving.InternalData.Deriving.Via.InternalData.Enum.Deriving.InternalData.Eq.Deriving.InternalData.Functor.Deriving.InternalData.Ix.Deriving.InternalData.Ord.Deriving.InternalPaths_deriving_compatText.Read.Deriving.InternalText.Show.Deriving.Internal Data.DerivingVia deriveBounded makeMinBound makeMaxBound deriveGND deriveVia deriveEnummakeSuccmakePred makeToEnum makeFromEnum makeEnumFrommakeEnumFromThenderiveEqmakeEq makeNotEq deriveEq1 makeLiftEqmakeEq1 deriveEq2 makeLiftEq2makeEq2 FFTOptionsfftEmptyCaseBehaviordefaultFFTOptionsderiveFoldablederiveFoldableOptions makeFoldMapmakeFoldMapOptions makeFoldrmakeFoldrOptionsmakeFoldmakeFoldOptions makeFoldlmakeFoldlOptions deriveFunctorderiveFunctorOptionsmakeFmapmakeFmapOptionsderiveTraversablederiveTraversableOptions makeTraversemakeTraverseOptions makeSequenceAmakeSequenceAOptionsmakeMapMmakeMapMOptions makeSequencemakeSequenceOptionsderiveIx makeRangemakeUnsafeIndex makeInRange deriveOrd makeComparemakeLTmakeLEmakeGTmakeGEmakeMaxmakeMin deriveOrd1makeLiftCompare makeCompare1 deriveOrd2makeLiftCompare2 makeCompare2 ReadOptions useReadPrecdefaultReadOptions deriveReadderiveReadOptions makeReadsPrec makeReadPrec deriveRead1deriveRead1OptionsmakeLiftReadsPrecmakeLiftReadPrec makeReadPrec1makeReadsPrec1 deriveRead2deriveRead2OptionsmakeLiftReadsPrec2makeLiftReadPrec2 makeReadPrec2makeReadsPrec2 ShowOptionsghc8ShowBehaviorshowEmptyCaseBehaviordefaultShowOptionslegacyShowOptions deriveShowderiveShowOptionsmakeShowmakeShowOptions makeShowsPrecmakeShowsPrecOptions makeShowListmakeShowListOptions deriveShow1deriveShow1OptionsmakeShowsPrec1makeLiftShowsPrecmakeLiftShowsPrecOptionsmakeLiftShowListmakeLiftShowListOptionsmakeShowsPrec1Options deriveShow2deriveShow2OptionsmakeLiftShowsPrec2makeLiftShowsPrec2OptionsmakeLiftShowList2makeLiftShowList2OptionsmakeShowsPrec2makeShowsPrec2OptionsTyVarMapStarKindStatuscanRealizeKindStarstarKindStatusToNamebaseGHC.BaseJusttemplate-haskellLanguage.Haskell.TH.SyntaxNameNothingcatKindVarNamesderiveConstraintnoConstructorsErrorderivingKindErrorcontravarianceErrornoFunctionsErroretaReductionErrordatatypeContextErrorexistentialContextErroroutOfPlaceTyVarErrorisRight Data.EitherEitherRight fromEither filterByList filterByListsghc-prim GHC.TypesTrueFalsepartitionByList appEitherEExp hasKindStarhasKindVarChaintyKindconArity isProductTypeisEnumerationType isVanillaCon newNameListtvbKind tvbToType applyClass canEtaReduce conTToNamevarTToName_maybe varTToNameunSigTisTyVar isTyFamily allDistinct mentionsNamepredMentionsNameapplyTy applyTyCon unapplyTy uncurryTy uncurryKindrequiredTyVarsOfTypeisNonUnitTupleisNonUnitTupleStringStringisInfixDataConbuildTypeInstanceTwoOne OneOrTwoNamesTwoNamesOneName TyVarMap2 TyVarMap1ClassRepclassConstraint fullClassName allowExQuantarity IsKindVarKindStar NotKindStarapplySubstitutionKindsubstNameWithKindsubstNamesWithKindStar fmapConst foldrConst foldMapConst traverseConsteqConsteq1Const liftEqConst liftEq2Const compareConstltConst compare1ConstliftCompareConstliftCompare2ConstreadsPrecConst readPrecConstreadsPrec1ConstliftReadsPrecConstliftReadPrecConstliftReadsPrec2ConstliftReadPrec2ConstshowsPrecConstshowsPrec1ConstliftShowsPrecConstliftShowsPrec2ConstcheckExistentialContextenumerationErrorenumerationOrProductErrorenumerationErrorStr interleaveisTrue#integerE isStarOrVarzipWithAndUnzipMzipWith3AndUnzipMthd3unsnoc isNullaryConcreateKindChain untagExpr tag2ConExprremoveClassAppfreshen freshenTypeenumFromToExpr primOpAppExprisSym ghc7'8OrLaterderivingCompatPackageKeymkDerivingCompatName_vmkDerivingCompatName_tcisTrueHashValNamefmapConstValNamefoldrConstValNamefoldMapConstValNametraverseConstValNameeqConstValNameeq1ConstValNameliftEqConstValNameliftEq2ConstValNamecompareConstValNameltConstValNamecompare1ConstValNameliftCompareConstValNameliftCompare2ConstValNamereadsPrecConstValNamereadPrecConstValNamereadsPrec1ConstValNameliftReadsPrecConstValNameliftReadPrecConstValNameliftReadsPrec2ConstValNameliftReadPrec2ConstValNameshowsPrecConstValNameshowsPrec1ConstValNameliftShowsPrecConstValNameliftShowsPrec2ConstValName viaTypeName cHashDataName dHashDataName fHashDataName identDataName iHashDataName puncDataNamesymbolDataNamewrapMonadDataNameaddrHashTypeNameboundedTypeNamecharHashTypeNamedoubleHashTypeName enumTypeNamefloatHashTypeNamefoldableTypeNamefunctorTypeName intTypeNameintHashTypeName ixTypeName readTypeName showTypeNametraversableTypeNamewordHashTypeName altValName appendValName chooseValName coerceValNamecomposeValName constValNameenumFromValNameenumFromThenValNameenumFromThenToValNameenumFromToValNameeqAddrHashValNameeqCharHashValNameeqDoubleHashValNameeqFloatHashValNameeqIntHashValNameeqWordHashValName errorValName flipValName fmapValName foldrValNamefoldMapValNamefromEnumValNamegeAddrHashValNamegeCharHashValNamegeDoubleHashValNamegeFloatHashValNamegeIntHashValName getTagValNamegeWordHashValNamegtAddrHashValNamegtCharHashValNamegtDoubleHashValNamegtFloatHashValNamegtIntHashValNamegtWordHashValName idValName indexValNameinRangeValNameleAddrHashValNameleCharHashValNameleDoubleHashValNameleFloatHashValNameleIntHashValNameleWordHashValNameliftReadListPrecDefaultValNameliftReadListPrec2DefaultValNameliftReadListPrecValNameliftReadListPrec2ValNameliftReadPrecValNameliftReadPrec2ValName listValNameltAddrHashValNameltCharHashValNameltDoubleHashValNameltFloatHashValNameltIntHashValNameltWordHashValNameminBoundValName mapValNamemaxBoundValNameminusIntHashValName parenValName parensValName pfailValName plusValName precValName predValNamerangeSizeValName rangeValName readFieldHashreadFieldHashValNamereadListValNamereadListPrecDefaultValNamereadListPrecValNamereadPrec_to_SValNamereadPrecValNamereadS_to_PrecValNamereadsPrecValName resetValName returnValName seqValNameshowCharValNameshowListValNameshowListWithValNameshowParenValNameshowsPrecValNameshowSpaceValNameshowStringValName stepValName succValNametagToEnumHashValName timesValName toEnumValNametraverseValNameunsafeIndexValNameunsafeRangeSizeValNameunwrapMonadValName boolTypeName falseDataName trueDataName eqDataName gtDataName ltDataName eqTypeName ordTypeName andValNamecompareValName eqValName geValName gtValName leValName ltValName notValName wHashDataNameexpectPValName pureValName apValName liftA2ValNamemappendValName memptyValName eq1TypeName eq2TypeName liftEqValNameliftEq2ValName ord1TypeName ord2TypeNameliftCompareValNameliftCompare2ValName read1TypeName read2TypeNameliftReadsPrecValNameliftReadListValNameliftReadsPrec2ValNameliftReadList2ValName show1TypeName show2TypeNameliftShowListValNameliftShowsPrecValNameliftShowList2ValNameliftShowsPrec2ValNameshowCommaSpaceValNameappEndoValName dualDataName endoDataNamegetDualValNamereadFieldValNamereadSymFieldValName BoundedFunGHC.EnumBoundedminBoundmaxBoundboundedFunDecsmakeBoundedFunmakeBoundedFunForCons GHC.ClassesEqOrd changeLast deriveViaDecsderiveViaDecs'mkCoerceClassMethEqn zipTvbSubststripOuterForallT decomposeTypenewtypeRepType etaReduceEnumFunEnumsuccpredtoEnumfromEnumenumFrom enumFromThen enumFunDecs makeEnumFunmakeEnumFunForConsEqClassEq1Eq2 deriveEqClasseqDecs makeEqClass makeEqForCons FunctorFun FunctorClassGHC.Primseq Data.FoldableFoldablefoldMapfoldrfoldlFunctorfmapData.Traversable Traversabletraverse sequenceAmapMsequencederiveFunctorClassfunctorFunDecsmakeFunctorFunmakeFunctorFunForConsmakeFunctorFunForConmakeFunctorFunForArgsmakeFunctorFunForArgLeftmakeFunctorFunForTypeIxFun ixFunDecs makeIxFunmakeIxFunForConsOrdClasscomparemaxminOrd1Ord2deriveOrdClass ordFunDecs makeOrdFunmakeOrdFunForCons filterOutGHC.Listfilterversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName ReadClassGHC.ReadRead readsPrecRead1Read2Text.ParserCombinators.ReadPReadSderiveReadClass readPrecDecsmakeReadPrecClassmakeReadForConsreadsPrecOrListNamereadPrecOrListNamereadsOrReadName ShowClassGHC.ShowShowShow1Show2show showsPrecshowListderiveShowClass showsPrecDecsmakeShowsPrecClassmakeShowForConsmakeShowForConmakeShowForArgmakeShowForTypeparenInfixConNameshowsPrecOrListName