WoL;      !"#$%&'( ) * + , - . / 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 wxyz{|}~~We often need to distinguish between various forms of Functor-like composition in Haskell in order to please the type system. 9 This lets us work with these representations uniformly. portable provisionalEdward Kmett <ekmett@gmail.com>    portable provisionalEdward Kmett <ekmett@gmail.com>portable provisionalEdward Kmett <ekmett@gmail.com>     portable provisionalEdward Kmett <ekmett@gmail.com> portable provisionalEdward Kmett <ekmett@gmail.com>portable provisionalEdward Kmett <ekmett@gmail.com> portable provisionalEdward Kmett <ekmett@gmail.com>  !"#$% !"#$% "!#%$ !"#$%portable provisionalEdward Kmett <ekmett@gmail.com>&';Ideally we would offer a way to lift comonad homomorphisms  but this isn'4t Haskell 98, so we settle for the most common case  here. 8 liftTrans :: (forall a. w a -> v a) -> t w a -> t v a * cohoist = liftTrans (Identity . extract) &'&'&'' portable provisionalEdward Kmett <ekmett@gmail.com> ()*+,-./01 ()*+,-./01 *+,()-1./0 ())*+,-./01portable provisionalEdward Kmett <ekmett@gmail.com> ()*+,-./01 portable provisionalEdward Kmett <ekmett@gmail.com> 23456789:; 23456789:; 45623789:; 233456789:; portable provisionalEdward Kmett <ekmett@gmail.com> <=>?@ABRead the current position CSeek to an absolute location  seek s = peek s . duplicate DSeek to a relative location  seeks f = peeks f . duplicate E-Peek at a value at a given absolute location # peek x . extend (peek y) = peek y F-Peek at a value at a given relative location <=>?@ABCDEF >?@<=ABCDEF <==>?@ABCDEFportable provisionalEdward Kmett <ekmett@gmail.com> <=>?@ABCDEF GHIJ(build a lens out of a getter and setter K#build a lens out of an isomorphism LMfunctional getter NO4functional getter, which acts like a field accessor PQfunctional setter RSfunctional modify Tfunctorial modify UVWXYZ[\]^_`abGHIJKLMNOPQRSTUVWXYZ[\]^_`abGHIJKLMNOPQRSTUXVYWZ[\]^_`abGHIHIJKLMNOPQRSTUVWXYZ[\]^_`ab c#get the value of a lens into state def$set a value using a lens into state gh5infix modification a value through a lens into state ij8infix modification of a value through a lens into state  with a supplemental response klmnopqrstuv0GHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvcefghijknlompqrsutvdcdefghijklmnopqrstuvw#get the value of a lens into state xyz$set a value using a lens into state {|5infix modification a value through a lens into state }~8infix modification of a value through a lens into state  with a supplemental response 0GHIJKLMNOPQRSTUVWXYZ[\]^_`abwxyz{|}~wyz{|}~xwxyz{|}~portable provisionalEdward Kmett <ekmett@gmail.com> Read the current position Seek to an absolute location  seek s = peek s . duplicate Seek to a relative location  seeks f = peeks f . duplicate -Peek at a value at a given absolute location # peek x . extend (peek y) = peek y -Peek at a value at a given relative location portable provisionalEdward Kmett <ekmett@gmail.com>Read the current position Seek to an absolute location  seek s = peek s . duplicate Seek to a relative location  seeks f = peeks f . duplicate -Peek at a value at a given absolute location # peek x . extend (peek y) = peek y -Peek at a value at a given relative location portable provisionalEdward Kmett <ekmett@gmail.com> portable provisionalEdward Kmett <ekmett@gmail.com> portable provisionalEdward Kmett <ekmett@gmail.com>EThe f-branching stream comonad transformer is a comonadic version of  the "ListT done Right"> monad transformer. You can extract the underlying comonadic  value by using   or runStream Isomorphic to the definition: ' data Stream f a = a :< f (Stream f a)  cons onto an f-branching stream "uncons from an f-branching stream unfold a stream from a seed.  !"#$%%&'()*+%%&'()+*%&',()*+-. / / 0 1 2 3 4 5 6 7 / / 0 1 2 3 7 4 5 6 8 8 9 : ; < = > ? @ A B 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]^_`abcdefghijklmnop889:;<=>?@A89:;<qr=>?@Asstuvwxyz{suvwt|xyz{}}~% 8scomonad-transformers-1.6.3Control.Comonad.Trans.IdentityData.Functor.CompositionData.Functor.CoproductControl.Comonad.Trans.Class"Control.Comonad.Trans.Discont.Lazy$Control.Comonad.Trans.Discont.Strict"Control.Comonad.Trans.Discont.MemoControl.Comonad.Hoist.ClassControl.Comonad.Trans.Env.Lazy Control.Comonad.Trans.Env.Strict Control.Comonad.Trans.Store.LazyData.Lens.CommonData.Lens.LazyData.Lens.Strict"Control.Comonad.Trans.Store.Strict Control.Comonad.Trans.Store.MemoControl.Comonad.Trans.Traced!Control.Comonad.Trans.Traced.MemoControl.Comonad.Trans.StreamControl.Comonad.Trans.DiscontControl.Comonad.Trans.EnvControl.Comonad.Trans.Storetransformers-0.2.2.0Control.Monad.Trans.Identity runIdentityT IdentityT Composition decomposecompose Coproduct getCoproductleftright coproduct ComonadTranslowerDiscontTDiscontdiscont runDiscont runDiscontTlabelcallCVdiscontT ComonadHoistcohoistEnvTEnvenvrunEnvrunEnvTaskaskslocal lowerEnvTStoreTStorestorerunStore runStoreTposseekseekspeekpeeksLensrunLenslensiso^$^$!^.^!^=^!=^%=^!%=^%%=^+=^-=^*=^!+=^!-=^!*=^/=^!/=fstLenssndLensmapLens intMapLenssetLens intSetLensaccessfocus~=!=%=!%=%%=!%%=+=-=*=!+=!-=!*=//=!/=&&=||=!&&=!||=storeT lowerStoreTTracedT runTracedTTracedtraced runTracedtracelistenlistenscensortracedTStreamT runStreamTNode:<Streamstream runStreamunfoldstailsunfoldsW discontTTyCon envTTyCon envTConstr envTDataType storeTTyCon tracedTTyConfstNsndNtypeFtypeW nodeTyCon streamTTyCon streamTConstrstreamTDataType nodeConstr nodeDataType