h*PG      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                   0.9.2(c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Trustworthy)*/017 s -> a) extensible )& :: Getter s a -> (a -> r) -> (s -> r)* extensible ** :: Setter s t a b -> (a -> b) -> (s -> t)+ extensible"Recover tho functions from an Iso/, extensible , :: AReview s a -> a -> s '&()*+$%, '&()*+$%,(c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Safe-Inferred)*/01679:; Type as a parameter. This class allows us to take a shortcut for direct representation.3 extensible3 h v& is the user-facing representation of h v.4 extensibleThis is an isomorphism between h v and 3 h v. !_Wrapper :: Iso' (h v) (Repr h v)8 extensibleRestricted version of 4.. It is useful for eliminating ambiguousness.: extensibleWrap a result of  234658179:/0 234658179:/0(c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Safe-Inferred)*/017Access an element specified by the key type through a wrapper.Y extensible>Access an element specified by the key type through a wrapper.!QRSTUVWXY    PO!QRSTUVWXY    PO(c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Safe-Inferred)*/0167 (k -> Type) -> Type\ extensibleChange the wrapper.] extensibleO(1) lift a value.^ extensible"Try to extract something you want._ extensible"Try to extract something you want.` extensibleO(1) Naive pattern matcha extensibleThere is no empty union.b extensible&Embed a value, but focuses on its key. Z[\]^_`ab Z[\]^_`ab`1(c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Safe-Inferred()*/017 (k -> Type) -> Typei extensibleA pointer to an element in a k.k extensibleMutable type-indexed struct.l extensibleWrite a value in a k.m extensibleRead a value from a k.n extensible"Atomically modify an element in a k.o extensibleStrict version of n.p extensible*Apply a function to an element atomically.q extensibleStrict version of p.r extensibleGet a i from a name.s extensible Create a new k using the supplied initializer.t extensible Create a k full of the specified value.u extensible Create a new k/ using the supplied initializer with a context.v extensible Create a new k from an HList.w extensibleTurn k) into an immutable product. The original k may not be used.x extensible Create a new k from a product.y extensibleThe size of a product.z extensibleCombine products.{ extensible$Right-associative fold of a product.| extensibleConvert a product into an HList.} extensible Create a new k! using the contents of a product.~ extensibleGet an element in a product. extensibleCreate a product from an  action which returns a k. extensibleTurn a product into a k temporarily.klmstuvijrnopqhgw}~yfz{x|klmstuvijrnopqhgw}~yfz{x|f5z5(c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Trustworthy()*/0167 Trustworthy)*/017 Safe-Inferred)*/017 Safe-Inferred)*/017 v) is equivalent to  Associate k v xs extensibleys contains xs extensibleUnicode alias for  extensible'Reify the inclusion of type level sets. extensibleO(n) Select some elements. extensibleO(1) Embed to a larger union. extensible'Reify the inclusion of type level sets. extensibleO(n) Select some elements. extensibleO(1) Embed to a larger union.   (c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Safe-Inferred)*/017 Safe-Inferred)*/017 Safe-Inferred")*/0167 Lens' ( xs) a & "foo" = Lookup xs "foo" a => Prism' ( xs) a s can be generated using mkField defined in the Data.Extensible.TH module. extensibleSimple variant extensible Simple record extensible The dual of  /VariantOf :: (v -> Type) -> [Assoc k v] -> Type extensible1The type of records which contain several fields. .RecordOf :: (v -> Type) -> [Assoc k v] -> Type extensibleA  h (k ':> v) is h v annotated with the field name k. $ :: (v -> Type) -> Assoc k v -> Type extensible Lift a function for the content. extensible Lift a function for the content. extensible An empty . extensible*Select a corresponding field of a variant. extensiblePattern matching on a  extensibleSpecialised version of X. Stands for "eXtensible LaBel" extensible#Annotate a value by the field name. foo ::  '["num" >: Int, "str" >: String] foo = #num @= 42 <: #str @= "foo" <: nil  extensibleLifted ()  foo :: IO ( '["num" >: Int, "str" >: String]) foo = hsequence $ #num <@=> readLn <: #str <@=> getLine <: nil  extensible+Annotate a value by the field name without 2. extensible'Kind-monomorphic, unwrapped version of  extensible Shows in field @= value" style instead of the derived one.!"#!"#1111(c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Trustworthy()*/017 Safe-Inferred)*/017<=?9 extensible3The class of types that can be converted to/from a . extensible3The class of types that can be converted to/from a . extensibleConvert a value into a . extensible Convert a  to a value. extensible 5record :: IsRecord a => Iso' a (Record (RecFields a))(c) Fumiaki Kinoshita 2018BSD3'Fumiaki Kinoshita  Safe-Inferred)*/017 Safe-Inferred)*/01679 Safe-Inferred")*/0137 Safe-Inferred)*/017 Safe-Inferred)*/017>?@ABCDEFGHHIJKLMNIOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                   'extensible-0.9.2-6XMxpduZfYT4aQHNTjVs2vData.ExtensibleData.Extensible.ClassData.Extensible.FieldData.Extensible.Internal.RigData.Extensible.WrapperData.Extensible.SumData.Extensible.StructData.Extensible.ProductData.Extensible.PlainData.Extensible.MatchData.Extensible.InclusionData.Extensible.NullableData.Extensible.TangleData.Extensible.THData.Extensible.RecordData.Extensible.LabelData.Extensible.GetOptData.Extensible.DictionaryData.Extensible.Bits extensiblebase GHC.TypeLits KnownSymbol Data.ProxyProxyData.Functor.ComposeCompose getCompose'membership-0.0.1-HzjW4PeseAN1BpukVCx6iIType.Membership.InternalLookup association>:Assoc:>FindType∈Member membership Membership getMemberId mkMembershipcompareMembership leadershipType.Membership KeyTargetAreTargetIsTargetOfKeyIsKeyOfForallFForall henumerateForhgenerateListForGenerate henumeratehcount hgenerateList proxyKeyOf stringKeyOf proxyTargetOfExchangeOptic'OpticviewviewsoverwithIsoreview$fProfunctorExchange$fFunctorExchangeProdCompWrapperRepr_Wrapperwrapunwrap _WrapperAsgetCompcomp$fWrapperkProxy$fWrapperkConst$fWrapperkCompose$fWrapperTYPEList$fWrapperTYPEEither$fWrapperTYPEMaybe$fWrapperTYPEIdentity$fArbitraryProd $fMonoidProd$fSemigroupProd$fWrapperkProd$fHashableProd $fNFDataProd $fShowProd$fEqProd $fOrdProd $fGenericProd $fFunctorProd$fFoldableProd$fTraversableProdLastHead ExtensibleExtensibleConstrpieceAtpiece pieceAssocitemAtitem itemAssocitemKey:/EmbedAthoistembedstrikestrikeAt<:|exhaust embedAssoc$fExtensiblekfp:/ $fBounded:/$fEnum:/++:*:&WrappedPointerStructsetget atomicModify atomicModify' atomicModify_atomicModify'_-$>new newRepeatnewFor newFromHList unsafeFreezethawhlengthhappendhfoldrWithIndextoHListnewFromhlookuphfrozenhmodify$fHasUpdateWrappedPointeraa$fHasSetterWrappedPointera$fHasGetterWrappedPointera$fExtensiblekfp:&<:=<:@:>@==$fIsLabelkProxy $fPrettyField $fShowField$fWrapperAssocField $fUnboxField$fVectorVectorField$fMVectorMVectorField$fGenericField$fLiftBoxedRepField$fIncrementalField$fToFieldField$fFromFieldField $fToJSONField$fFromJSONField$fHashableField$fArbitraryField $fNFDataField$fBoundedField $fEnumField $fMonoidField$fStorableField$fSemigroupField$fRealFracField$fRealFloatField $fRealField$fFloatingField$fFractionalField$fIntegralField $fNumField $fOrdField $fEqFieldmkField mkFieldAsIsRecord RecFieldsrecordFromList recordToListtoRecord fromRecordrecord$fGIsRecordkM1r$fGIsRecordkM1r0$fGIsRecordkM1r1$fGIsRecordk:*:r $fIsRecord() $fIsLabelkFUN OptDescr' OptionDescroptNoArgoptFlag optionNoArg optReqArg optLastArg optionReqArg optionOptArg getOptRecord withGetOpt$fWrapperkOptionDescr$fFunctorOptionDescr Instance1 WrapForallAndlibrary$fHasFieldkk:&a$fDefaultOrdered:& $fAndkfgx$fInstance1kkchx $fToJSON:& $fFromJSON:& $fToJSON:&0 $fFromJSON:&0$fToNamedRecord:&$fFromNamedRecord:&$fIncremental:& $fPretty:/ $fArbitrary:/$fLiftBoxedRep:/ $fHashable:/ $fNFData:/$fOrd:/$fEq:/$fShow:/ $fToRecord:&$fFromRecord:& $fNFData:& $fArbitrary:& $fUnbox:&$fMVectorMVector:&$fVectorVector:&$fLiftBoxedRep:& $fBounded:& $fHashable:& $fMonoid:& $fSemigroup:&$fOrd:&$fEq:& $fPretty:&$fShow:& BitRecord BitRecordOf BitFieldsFromBitsBitWidthfromBitstoBits TotalBitsBitProd unBitProd toBitProd fromBitProdblookupbupdate$fFromBitsrField$fFromBitsrConst$fFromBitsr(,)$fFromBitsrIdentity$fFromBitsWord64Int32$fFromBitsWord64Int16$fFromBitsWord64Int8$fFromBitsWord64Word32$fFromBitsWord64Word16$fFromBitsWord64Word8$fFromBitsWord64Bool$fFromBitsWord64Word64$fFromBitsrProxy $fFromBitsr()$fFromBitsrBitProd$fExtensiblekfpBitProd $fShowBitProd $fEqBitProd $fOrdBitProd $fEnumBitProd$fBoundedBitProd $fIxBitProd$fGenericBitProd$fHashableBitProd$fStorableBitProdGHC.BasefmapGHC.STSTHListidGHC.ListzipWithzipWith3Data.Traversablesequence Applicative GHC.MaybeNothing Data.Maybe fromMaybe GIsRecordSystem.Console.GetOptOptDescr System.Exit exitFailure#aeson-2.2.3.0-ICUkmfQuEaeolU6DahnK9Data.Aeson.Types.InternalNull