úÎ!Q=KË[      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZNone=?@A Ð bound-extrasf is right m-module. (according to  9https://ncatlab.org/nlab/show/module+over+a+monad#modules definitions). We have [ f m ~> f natural transformation.Laws fma  return = fma fma  (f  g) = (fma  f)  g  PropertiesFor all \ m we can write associated  instance  m m where () = (]). and  are equivalent in power: fa  amb =  (^ amb fa)  bound-extrasCalled action. bound-extrasModule's join variant. bound-extras m (t m) action's implementation. bound-extras m ([ f m) action's implementation.1None =>?@ASXq.ï bound-extras_ b f a is a t f expression abstracted over f, with bound variables in b, and free variables in a. _ n f a ~  n  IdentityT f a  n t f a ~ t (_ n f) a  bound-extrasWe cannot write ` ( n t)/ pre-GHC-8.6 (without an auxiliary type class).  bound-extras8Capture some free variables in an expression to yield a  with bound variables in b.  bound-extras Abstract over a single variable.2abstract1T 'x' (MaybeT (Nothing : map Just "xyz"))?ScopeT (MaybeT [Nothing,Just (B ()),Just (F "y"),Just (F "z")])  bound-extras8Capture some free variables in an expression to yield a  with bound variables in b>. Optionally change the types of the remaining free variables. bound-extras-Abstraction, capturing named bound variables. bound-extrasAbstract over a single variable bound-extrasEnter a #, instantiating all bound variables bound-extrasEnter a * that binds one variable, instantiating it bound-extrasEnter a 9, and instantiate all bound and free variables in one go. bound-extras!Convert to traditional de Bruijn. bound-extrasDConvert from traditional de Bruijn to generalized de Bruijn indices. bound-extras Convert to _. bound-extras;Perform substitution on both bound and free variables in a . bound-extras;Return a list of occurences of the variables bound by this . bound-extras1Perform a change of variables on bound variables. bound-extrasIPerform a change of variables, reassigning both bound and free variables. bound-extras>Obtain a result by collecting information from bound variables bound-extrasMObtain a result by collecting information from both bound and free variables bound-extrasa the bound variables in a _. bound-extrasa? both the variables bound by this scope and any free variables. bound-extrasb the bound variables in a _. bound-extrasb both bound and free variables  bound-extrasIf you are looking for bitraverseScopeT, this is the monster you need.- bound-extras (>>>=) :: ... =>  n t f a -> (a -> f b) ->  n t f b  bound-extrasb -like for t bound-extrasb -like for s    None =>?@ASXJï1 bound-extras1 b f m a is a f expression abstracted over g, with bound variables in b, and free variables in a. _ b f a ~ 1 n f f a ScopeT b t f a ~ 1 b (t f) f a 4 bound-extras8Capture some free variables in an expression to yield a 1 with bound variables in b.5 bound-extras Abstract over a single variable.6 bound-extras8Capture some free variables in an expression to yield a 1 with bound variables in b>. Optionally change the types of the remaining free variables.7 bound-extras-Abstraction, capturing named bound variables.8 bound-extrasAbstract over a single variable9 bound-extrasEnter a 1#, instantiating all bound variables: bound-extrasEnter a 1* that binds one variable, instantiating it; bound-extrasEnter a 19, and instantiate all bound and free variables in one go.< bound-extras!Convert to traditional de Bruijn.= bound-extrasDConvert from traditional de Bruijn to generalized de Bruijn indices.> bound-extras Convert to _.@ bound-extras;Perform substitution on both bound and free variables in a 1.A bound-extras;Return a list of occurences of the variables bound by this 1.B bound-extras1Perform a change of variables on bound variables.C bound-extrasIPerform a change of variables, reassigning both bound and free variables.D bound-extras>Obtain a result by collecting information from bound variablesE bound-extrasMObtain a result by collecting information from both bound and free variablesF bound-extrasa the bound variables in a _.G bound-extrasa? both the variables bound by this scope and any free variables.H bound-extrasb the bound variables in a _.I bound-extrasb both bound and free variablesK bound-extrasb -like for f bound-extrasb -like for m123456789:;<=>?@ABCDEFGHIJK123456789:;<=>?@ABCDEFGHIJKc       !"#$%&'()*+,-./01234566789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a_bc_bd_befghfij_kl_mno)bound-extras-0.0.1-2mPj8urV0bx7TwYQKQJGqbControl.Monad.Module Bound.ScopeT Bound.ScopeH Control.Monad>=>Module>>==mjoin transAction composeAction$fModuleScopem$fModulefIdentityScopeTunscopeT>>>>= abstractT abstract1TabstractTEither abstractTNameabstract1TName instantiateT instantiate1TinstantiateTEither fromScopeTtoScopeT lowerScopeTsplatT bindingsT mapBoundT mapScopeT foldMapBoundT foldMapScopeTtraverseBoundT_traverseScopeT_traverseBoundTtraverseScopeTbitransverseScopeT $fRead1ScopeT $fShow1ScopeT $fOrd1ScopeT $fEq1ScopeT $fReadScopeT $fShowScopeT $fOrdScopeT $fEqScopeT$fNFDataScopeT$fHashableScopeT$fHashable1ScopeT$fModuleScopeTf $fBoundScopeT$fTraversableScopeT$fFoldableScopeT$fFunctorScopeTScopeHunscopeH abstractH abstract1HabstractHEither abstractHNameabstract1HName instantiateH instantiate1HinstantiateHEither fromScopeHtoScopeH lowerScopeHconvertFromScopesplatH bindingsH mapBoundH mapScopeH foldMapBoundH foldMapScopeHtraverseBoundH_traverseScopeH_traverseBoundHtraverseScopeHbitraverseScopeHbitransverseScopeH $fRead1ScopeH $fShow1ScopeH $fOrd1ScopeH $fEq1ScopeH $fReadScopeH $fShowScopeH $fOrdScopeH $fEqScopeH$fNFDataScopeH$fHashableScopeH$fHashable1ScopeH$fTraversableScopeH$fFoldableScopeH$fFunctorScopeH$fModuleScopeHmbaseData.Functor.ComposeComposeGHC.BaseMonad>>=fmap"bound-2.0.1-KSA6Xstzbz7DoqZGILe6AO Bound.ScopeScope Bound.ClassBound Data.Foldable traverse_Data.Traversabletraverse