úÎ#×!“     NoneA proxy value quasiquoter. [pr|T|] will splice an expression Proxy::Proxy T, while  [pr|A,B,C|] will splice in a value of Proxy :: Proxy [A,B,C].Like 7, but takes a single type, which is used to produce a ProxyŠ for a single-element list containing only that type. This is useful for passing a single type to a function that wants a list of types.Split on a delimiter.'Remove white space from both ends of a .  2009-2015 Edward KmettBSD3Edward Kmett <ekmett@gmail.com> experimentalportable Trustworthy'+= A  s b value is a value b with an attached phantom type sŒ. This can be used in place of the more traditional but less safe idiom of passing in an undefined value with the type, because unlike an (s -> b), a  s b can't try to use the argument s as a real value.rMoreover, you don't have to rely on the compiler to inline away the extra argument, because the newtype is "free"ÌSome times you need to change the tag you have lying around. Idiomatic usage is to make a new combinator for the relationship between the tags that you want to enforce, and define that combinator using . data Succ n retagSucc ::  n a ->  (Succ n) a retagSucc =   Alias for Tag a value with its own type.! is a type-restricted version of ¡. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the tag of the second.  ! is a type-restricted version of . Convert from a 0 representation to a representation based on a . )Convert from a representation based on a  to a  representation. (Another way to convert a proxy to a tag.ÒSome times you need to change the proxy you have lying around. Idiomatic usage is to make a new combinator for the relationship between the proxies that you want to enforce, and define that combinator using . &data Succ n reproxySucc :: proxy n ->  (Succ n) reproxySucc =    !"#$%&'()*+       !"#$%&'()*+,      !"#$%&'()*+,-./01 tagged-0.8 Data.Proxy.TH Data.Taggedprpr1TaggedunTaggedretaguntagtagSelfasTaggedTypeOfwitness untagSelfproxyunproxytagWithreproxysplitOnstripbaseGHC.BaseStringproxy_dproxy_tc proxyTypeQ proxyExpQ proxyPatQconst Data.ProxyProxy taggedConstrtaggedDataType$fRealFloatTagged$fRealFracTagged$fFloatingTagged$fFractionalTagged$fIntegralTagged $fRealTagged $fNumTagged $fEnumTagged$fTraversableTagged$fFoldableTagged $fMonadTagged$fApplicativeTagged$fFunctorTagged$fMonoidTagged $fReadTagged $fShowTagged $fDataTagged