/dports/lang/ghc/ghc-8.10.7/libraries/transformers/Control/Monad/Trans/State/ |
H A D | Strict.hs | 45 StateT(..), 94 type State s = StateT s Identity 101 state f = StateT (return . f) 158 newtype StateT s m a = StateT { runStateT :: s -> m (a,s) } function 184 mapStateT :: (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b 192 withStateT :: (s -> s) -> StateT s m a -> StateT s m a 197 fmap f m = StateT $ \ s -> 204 StateT mf <*> StateT mx = StateT $ \ s -> do function 215 StateT m <|> StateT n = StateT $ \ s -> m s `mplus` n s function 241 StateT m `mplus` StateT n = StateT $ \ s -> m s `mplus` n s function [all …]
|
H A D | Lazy.hs | 48 StateT(..), 97 type State s = StateT s Identity 104 state f = StateT (return . f) 161 newtype StateT s m a = StateT { runStateT :: s -> m (a,s) } function 187 mapStateT :: (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b 195 withStateT :: (s -> s) -> StateT s m a -> StateT s m a 200 fmap f m = StateT $ \ s -> 207 StateT mf <*> StateT mx = StateT $ \ s -> do function 218 StateT m <|> StateT n = StateT $ \ s -> m s `mplus` n s function 244 StateT m `mplus` StateT n = StateT $ \ s -> m s `mplus` n s function [all …]
|
/dports/graphics/pcl-pointclouds/pcl-pcl-1.12.0/tracking/include/pcl/tracking/ |
H A D | kld_adaptive_particle_filter_omp.h | 17 template <typename PointInT, typename StateT> 19 : public KLDAdaptiveParticleFilterTracker<PointInT, StateT> { 21 using Tracker<PointInT, StateT>::tracker_name_; 22 using Tracker<PointInT, StateT>::search_; 23 using Tracker<PointInT, StateT>::input_; 24 using Tracker<PointInT, StateT>::indices_; 25 using Tracker<PointInT, StateT>::getClassName; 31 using KLDAdaptiveParticleFilterTracker<PointInT, StateT>::pass_x_; 34 using KLDAdaptiveParticleFilterTracker<PointInT, StateT>::alpha_; 46 using BaseClass = Tracker<PointInT, StateT>; [all …]
|
H A D | particle_filter_omp.h | 13 template <typename PointInT, typename StateT> 16 using Tracker<PointInT, StateT>::tracker_name_; 17 using Tracker<PointInT, StateT>::search_; 18 using Tracker<PointInT, StateT>::input_; 19 using Tracker<PointInT, StateT>::indices_; 20 using Tracker<PointInT, StateT>::getClassName; 21 using ParticleFilterTracker<PointInT, StateT>::particles_; 26 using ParticleFilterTracker<PointInT, StateT>::alpha_; 27 using ParticleFilterTracker<PointInT, StateT>::changed_; 38 using BaseClass = Tracker<PointInT, StateT>; [all …]
|
H A D | kld_adaptive_particle_filter.h | 17 template <typename PointInT, typename StateT> 19 : public ParticleFilterTracker<PointInT, StateT> { 21 using Tracker<PointInT, StateT>::tracker_name_; 22 using Tracker<PointInT, StateT>::search_; 23 using Tracker<PointInT, StateT>::input_; 24 using Tracker<PointInT, StateT>::getClassName; 43 using BaseClass = Tracker<PointInT, StateT>; 66 : ParticleFilterTracker<PointInT, StateT>() in KLDAdaptiveParticleFilterTracker() 79 setBinSize(const StateT& bin_size) in setBinSize() 85 inline StateT [all …]
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.phases/src/org/graalvm/compiler/phases/graph/ |
H A D | ReentrantBlockIterator.java | 63 protected abstract StateT processBlock(Block block, StateT currentState); in processBlock() 65 protected abstract StateT merge(Block merge, List<StateT> states); in merge() 67 protected abstract StateT cloneState(StateT oldState); in cloneState() 69 protected abstract List<StateT> processLoop(Loop<Block> loop, StateT initialState); in processLoop() 76 …public static <StateT> LoopInfo<StateT> processLoop(BlockIteratorClosure<StateT> closure, Loop<Blo… in processLoop() 96 public static <StateT> void apply(BlockIteratorClosure<StateT> closure, Block start) { in apply() 100 …public static <StateT> EconomicMap<FixedNode, StateT> apply(BlockIteratorClosure<StateT> closure, … in apply() 107 StateT state = initialState; in apply() 184 … <StateT> Block processMultipleSuccessors(BlockIteratorClosure<StateT> closure, Deque<Block> block… in processMultipleSuccessors() 194 …private static <StateT> ArrayList<StateT> mergeStates(EconomicMap<FixedNode, StateT> states, State… in mergeStates() [all …]
|
H A D | ReentrantNodeIterator.java | 49 public static class LoopInfo<StateT> { 51 public final EconomicMap<LoopEndNode, StateT> endStates; 60 public abstract static class NodeIteratorClosure<StateT> { 62 protected abstract StateT processNode(FixedNode node, StateT currentState); in processNode() 64 protected abstract StateT merge(AbstractMergeNode merge, List<StateT> states); in merge() 66 protected abstract StateT afterSplit(AbstractBeginNode node, StateT oldState); in afterSplit() 68 …protected abstract EconomicMap<LoopExitNode, StateT> processLoop(LoopBeginNode loop, StateT initia… in processLoop() 84 …public static <StateT> LoopInfo<StateT> processLoop(NodeIteratorClosure<StateT> closure, LoopBegin… in processLoop() 101 …public static <StateT> void apply(NodeIteratorClosure<StateT> closure, FixedNode start, StateT ini… in apply() 105 …private static <StateT> EconomicMap<FixedNode, StateT> apply(NodeIteratorClosure<StateT> closure, … in apply() [all …]
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.phases/src/org/graalvm/compiler/phases/graph/ |
H A D | ReentrantBlockIterator.java | 63 protected abstract StateT processBlock(Block block, StateT currentState); in processBlock() 65 protected abstract StateT merge(Block merge, List<StateT> states); in merge() 67 protected abstract StateT cloneState(StateT oldState); in cloneState() 69 protected abstract List<StateT> processLoop(Loop<Block> loop, StateT initialState); in processLoop() 76 …public static <StateT> LoopInfo<StateT> processLoop(BlockIteratorClosure<StateT> closure, Loop<Blo… in processLoop() 96 public static <StateT> void apply(BlockIteratorClosure<StateT> closure, Block start) { in apply() 100 …public static <StateT> EconomicMap<FixedNode, StateT> apply(BlockIteratorClosure<StateT> closure, … in apply() 107 StateT state = initialState; in apply() 184 … <StateT> Block processMultipleSuccessors(BlockIteratorClosure<StateT> closure, Deque<Block> block… in processMultipleSuccessors() 194 …private static <StateT> ArrayList<StateT> mergeStates(EconomicMap<FixedNode, StateT> states, State… in mergeStates() [all …]
|
H A D | ReentrantNodeIterator.java | 49 public static class LoopInfo<StateT> { 51 public final EconomicMap<LoopEndNode, StateT> endStates; 60 public abstract static class NodeIteratorClosure<StateT> { 62 protected abstract StateT processNode(FixedNode node, StateT currentState); in processNode() 64 protected abstract StateT merge(AbstractMergeNode merge, List<StateT> states); in merge() 66 protected abstract StateT afterSplit(AbstractBeginNode node, StateT oldState); in afterSplit() 68 …protected abstract EconomicMap<LoopExitNode, StateT> processLoop(LoopBeginNode loop, StateT initia… in processLoop() 84 …public static <StateT> LoopInfo<StateT> processLoop(NodeIteratorClosure<StateT> closure, LoopBegin… in processLoop() 101 …public static <StateT> void apply(NodeIteratorClosure<StateT> closure, FixedNode start, StateT ini… in apply() 105 …private static <StateT> EconomicMap<FixedNode, StateT> apply(NodeIteratorClosure<StateT> closure, … in apply() [all …]
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.phases/src/org/graalvm/compiler/phases/graph/ |
H A D | ReentrantBlockIterator.java | 63 protected abstract StateT processBlock(Block block, StateT currentState); in processBlock() 65 protected abstract StateT merge(Block merge, List<StateT> states); in merge() 67 protected abstract StateT cloneState(StateT oldState); in cloneState() 69 protected abstract List<StateT> processLoop(Loop<Block> loop, StateT initialState); in processLoop() 76 …public static <StateT> LoopInfo<StateT> processLoop(BlockIteratorClosure<StateT> closure, Loop<Blo… in processLoop() 96 public static <StateT> void apply(BlockIteratorClosure<StateT> closure, Block start) { in apply() 100 …public static <StateT> EconomicMap<FixedNode, StateT> apply(BlockIteratorClosure<StateT> closure, … in apply() 107 StateT state = initialState; in apply() 184 … <StateT> Block processMultipleSuccessors(BlockIteratorClosure<StateT> closure, Deque<Block> block… in processMultipleSuccessors() 194 …private static <StateT> ArrayList<StateT> mergeStates(EconomicMap<FixedNode, StateT> states, State… in mergeStates() [all …]
|
H A D | ReentrantNodeIterator.java | 49 public static class LoopInfo<StateT> { 51 public final EconomicMap<LoopEndNode, StateT> endStates; 60 public abstract static class NodeIteratorClosure<StateT> { 62 protected abstract StateT processNode(FixedNode node, StateT currentState); in processNode() 64 protected abstract StateT merge(AbstractMergeNode merge, List<StateT> states); in merge() 66 protected abstract StateT afterSplit(AbstractBeginNode node, StateT oldState); in afterSplit() 68 …protected abstract EconomicMap<LoopExitNode, StateT> processLoop(LoopBeginNode loop, StateT initia… in processLoop() 84 …public static <StateT> LoopInfo<StateT> processLoop(NodeIteratorClosure<StateT> closure, LoopBegin… in processLoop() 101 …public static <StateT> void apply(NodeIteratorClosure<StateT> closure, FixedNode start, StateT ini… in apply() 105 …private static <StateT> EconomicMap<FixedNode, StateT> apply(NodeIteratorClosure<StateT> closure, … in apply() [all …]
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.phases/src/org/graalvm/compiler/phases/graph/ |
H A D | ReentrantBlockIterator.java | 63 protected abstract StateT processBlock(Block block, StateT currentState); in processBlock() 65 protected abstract StateT merge(Block merge, List<StateT> states); in merge() 67 protected abstract StateT cloneState(StateT oldState); in cloneState() 69 protected abstract List<StateT> processLoop(Loop<Block> loop, StateT initialState); in processLoop() 76 …public static <StateT> LoopInfo<StateT> processLoop(BlockIteratorClosure<StateT> closure, Loop<Blo… in processLoop() 96 public static <StateT> void apply(BlockIteratorClosure<StateT> closure, Block start) { in apply() 100 …public static <StateT> EconomicMap<FixedNode, StateT> apply(BlockIteratorClosure<StateT> closure, … in apply() 107 StateT state = initialState; in apply() 184 … <StateT> Block processMultipleSuccessors(BlockIteratorClosure<StateT> closure, Deque<Block> block… in processMultipleSuccessors() 194 …private static <StateT> ArrayList<StateT> mergeStates(EconomicMap<FixedNode, StateT> states, State… in mergeStates() [all …]
|
H A D | ReentrantNodeIterator.java | 49 public static class LoopInfo<StateT> { 51 public final EconomicMap<LoopEndNode, StateT> endStates; 60 public abstract static class NodeIteratorClosure<StateT> { 62 protected abstract StateT processNode(FixedNode node, StateT currentState); in processNode() 64 protected abstract StateT merge(AbstractMergeNode merge, List<StateT> states); in merge() 66 protected abstract StateT afterSplit(AbstractBeginNode node, StateT oldState); in afterSplit() 68 …protected abstract EconomicMap<LoopExitNode, StateT> processLoop(LoopBeginNode loop, StateT initia… in processLoop() 84 …public static <StateT> LoopInfo<StateT> processLoop(NodeIteratorClosure<StateT> closure, LoopBegin… in processLoop() 101 …public static <StateT> void apply(NodeIteratorClosure<StateT> closure, FixedNode start, StateT ini… in apply() 105 …private static <StateT> EconomicMap<FixedNode, StateT> apply(NodeIteratorClosure<StateT> closure, … in apply() [all …]
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.phases/src/org/graalvm/compiler/phases/graph/ |
H A D | ReentrantBlockIterator.java | 63 protected abstract StateT processBlock(Block block, StateT currentState); in processBlock() 65 protected abstract StateT merge(Block merge, List<StateT> states); in merge() 67 protected abstract StateT cloneState(StateT oldState); in cloneState() 69 protected abstract List<StateT> processLoop(Loop<Block> loop, StateT initialState); in processLoop() 76 …public static <StateT> LoopInfo<StateT> processLoop(BlockIteratorClosure<StateT> closure, Loop<Blo… in processLoop() 96 public static <StateT> void apply(BlockIteratorClosure<StateT> closure, Block start) { in apply() 100 …public static <StateT> EconomicMap<FixedNode, StateT> apply(BlockIteratorClosure<StateT> closure, … in apply() 107 StateT state = initialState; in apply() 184 … <StateT> Block processMultipleSuccessors(BlockIteratorClosure<StateT> closure, Deque<Block> block… in processMultipleSuccessors() 194 …private static <StateT> ArrayList<StateT> mergeStates(EconomicMap<FixedNode, StateT> states, State… in mergeStates() [all …]
|
H A D | ReentrantNodeIterator.java | 49 public static class LoopInfo<StateT> { 51 public final EconomicMap<LoopEndNode, StateT> endStates; 60 public abstract static class NodeIteratorClosure<StateT> { 62 protected abstract StateT processNode(FixedNode node, StateT currentState); in processNode() 64 protected abstract StateT merge(AbstractMergeNode merge, List<StateT> states); in merge() 66 protected abstract StateT afterSplit(AbstractBeginNode node, StateT oldState); in afterSplit() 68 …protected abstract EconomicMap<LoopExitNode, StateT> processLoop(LoopBeginNode loop, StateT initia… in processLoop() 84 …public static <StateT> LoopInfo<StateT> processLoop(NodeIteratorClosure<StateT> closure, LoopBegin… in processLoop() 101 …public static <StateT> void apply(NodeIteratorClosure<StateT> closure, FixedNode start, StateT ini… in apply() 105 …private static <StateT> EconomicMap<FixedNode, StateT> apply(NodeIteratorClosure<StateT> closure, … in apply() [all …]
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.phases/src/org/graalvm/compiler/phases/graph/ |
H A D | ReentrantBlockIterator.java | 63 protected abstract StateT processBlock(Block block, StateT currentState); in processBlock() 65 protected abstract StateT merge(Block merge, List<StateT> states); in merge() 67 protected abstract StateT cloneState(StateT oldState); in cloneState() 69 protected abstract List<StateT> processLoop(Loop<Block> loop, StateT initialState); in processLoop() 76 …public static <StateT> LoopInfo<StateT> processLoop(BlockIteratorClosure<StateT> closure, Loop<Blo… in processLoop() 96 public static <StateT> void apply(BlockIteratorClosure<StateT> closure, Block start) { in apply() 100 …public static <StateT> EconomicMap<FixedNode, StateT> apply(BlockIteratorClosure<StateT> closure, … in apply() 107 StateT state = initialState; in apply() 184 … <StateT> Block processMultipleSuccessors(BlockIteratorClosure<StateT> closure, Deque<Block> block… in processMultipleSuccessors() 194 …private static <StateT> ArrayList<StateT> mergeStates(EconomicMap<FixedNode, StateT> states, State… in mergeStates() [all …]
|
H A D | ReentrantNodeIterator.java | 49 public static class LoopInfo<StateT> { 51 public final EconomicMap<LoopEndNode, StateT> endStates; 60 public abstract static class NodeIteratorClosure<StateT> { 62 protected abstract StateT processNode(FixedNode node, StateT currentState); in processNode() 64 protected abstract StateT merge(AbstractMergeNode merge, List<StateT> states); in merge() 66 protected abstract StateT afterSplit(AbstractBeginNode node, StateT oldState); in afterSplit() 68 …protected abstract EconomicMap<LoopExitNode, StateT> processLoop(LoopBeginNode loop, StateT initia… in processLoop() 84 …public static <StateT> LoopInfo<StateT> processLoop(NodeIteratorClosure<StateT> closure, LoopBegin… in processLoop() 101 …public static <StateT> void apply(NodeIteratorClosure<StateT> closure, FixedNode start, StateT ini… in apply() 105 …private static <StateT> EconomicMap<FixedNode, StateT> apply(NodeIteratorClosure<StateT> closure, … in apply() [all …]
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.phases/src/org/graalvm/compiler/phases/graph/ |
H A D | ReentrantBlockIterator.java | 63 protected abstract StateT processBlock(Block block, StateT currentState); in processBlock() 65 protected abstract StateT merge(Block merge, List<StateT> states); in merge() 67 protected abstract StateT cloneState(StateT oldState); in cloneState() 69 protected abstract List<StateT> processLoop(Loop<Block> loop, StateT initialState); in processLoop() 76 …public static <StateT> LoopInfo<StateT> processLoop(BlockIteratorClosure<StateT> closure, Loop<Blo… in processLoop() 96 public static <StateT> void apply(BlockIteratorClosure<StateT> closure, Block start) { in apply() 100 …public static <StateT> EconomicMap<FixedNode, StateT> apply(BlockIteratorClosure<StateT> closure, … in apply() 107 StateT state = initialState; in apply() 184 … <StateT> Block processMultipleSuccessors(BlockIteratorClosure<StateT> closure, Deque<Block> block… in processMultipleSuccessors() 194 …private static <StateT> ArrayList<StateT> mergeStates(EconomicMap<FixedNode, StateT> states, State… in mergeStates() [all …]
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/foundation-0.0.25/Foundation/Monad/ |
H A D | State.hs | 9 StateT 29 newtype StateT s m a = StateT { runStateT :: s -> m (a, s) } type 31 instance Functor m => Functor (StateT s m) where 38 fab <*> fa = StateT $ \s1 -> do 54 instance MonadTrans (StateT s) where 55 lift f = StateT $ \s -> f >>= return . (,s) 63 type Failure (StateT s m) = Failure m 67 throw e = StateT $ \_ -> throw e 70 catch (StateT m) c = StateT $ \s1 -> m s1 `catch` (\e -> runStateT (c e) s1) 73 type State (StateT s m) = s [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/adjunctions-4.4/src/Control/Monad/Representable/ |
H A D | State.hs | 26 , StateT(..) 59 type State g = StateT g Identity 107 newtype StateT g m a = StateT { getStateT :: g (m (a, Rep g)) } function 110 stateT = StateT . tabulate 113 runStateT (StateT m) = index m 115 mapStateT :: Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b 116 mapStateT f (StateT m) = StateT (fmap f m) 147 StateT m >>- f = StateT $ fmap (>>- rightAdjunctRep (runStateT . f)) m function 153 StateT m >>= f = StateT $ fmap (>>= rightAdjunctRep (runStateT . f)) m function 197 ((a -> StateT g m b) -> StateT g m a) -> StateT g m a [all …]
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/adjunctions-4.4/src/Control/Monad/Representable/ |
H A D | State.hs | 26 , StateT(..) 59 type State g = StateT g Identity 107 newtype StateT g m a = StateT { getStateT :: g (m (a, Rep g)) } type 110 stateT = StateT . tabulate 113 runStateT (StateT m) = index m 115 mapStateT :: Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b 116 mapStateT f (StateT m) = StateT (fmap f m) 147 StateT m >>- f = StateT $ fmap (>>- rightAdjunctRep (runStateT . f)) m function 153 StateT m >>= f = StateT $ fmap (>>= rightAdjunctRep (runStateT . f)) m function 197 ((a -> StateT g m b) -> StateT g m a) -> StateT g m a [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/adjunctions-4.4/src/Control/Monad/Representable/ |
H A D | State.hs | 26 , StateT(..) 59 type State g = StateT g Identity 107 newtype StateT g m a = StateT { getStateT :: g (m (a, Rep g)) } function 110 stateT = StateT . tabulate 113 runStateT (StateT m) = index m 115 mapStateT :: Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b 116 mapStateT f (StateT m) = StateT (fmap f m) 147 StateT m >>- f = StateT $ fmap (>>- rightAdjunctRep (runStateT . f)) m function 153 StateT m >>= f = StateT $ fmap (>>= rightAdjunctRep (runStateT . f)) m function 197 ((a -> StateT g m b) -> StateT g m a) -> StateT g m a [all …]
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/adjunctions-4.4/src/Control/Monad/Representable/ |
H A D | State.hs | 26 , StateT(..) 59 type State g = StateT g Identity 107 newtype StateT g m a = StateT { getStateT :: g (m (a, Rep g)) } constructor 110 stateT = StateT . tabulate 113 runStateT (StateT m) = index m 115 mapStateT :: Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b 116 mapStateT f (StateT m) = StateT (fmap f m) 147 StateT m >>- f = StateT $ fmap (>>- rightAdjunctRep (runStateT . f)) m function 153 StateT m >>= f = StateT $ fmap (>>= rightAdjunctRep (runStateT . f)) m function 197 ((a -> StateT g m b) -> StateT g m a) -> StateT g m a [all …]
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/adjunctions-4.4/src/Control/Monad/Representable/ |
H A D | State.hs | 26 , StateT(..) 59 type State g = StateT g Identity 107 newtype StateT g m a = StateT { getStateT :: g (m (a, Rep g)) } type 110 stateT = StateT . tabulate 113 runStateT (StateT m) = index m 115 mapStateT :: Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b 116 mapStateT f (StateT m) = StateT (fmap f m) 147 StateT m >>- f = StateT $ fmap (>>- rightAdjunctRep (runStateT . f)) m function 153 StateT m >>= f = StateT $ fmap (>>= rightAdjunctRep (runStateT . f)) m function 197 ((a -> StateT g m b) -> StateT g m a) -> StateT g m a [all …]
|
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/adjunctions-4.4/src/Control/Monad/Representable/ |
H A D | State.hs | 26 , StateT(..) 59 type State g = StateT g Identity 107 newtype StateT g m a = StateT { getStateT :: g (m (a, Rep g)) } constructor 110 stateT = StateT . tabulate 113 runStateT (StateT m) = index m 115 mapStateT :: Functor g => (m (a, Rep g) -> n (b, Rep g)) -> StateT g m a -> StateT g n b 116 mapStateT f (StateT m) = StateT (fmap f m) 147 StateT m >>- f = StateT $ fmap (>>- rightAdjunctRep (runStateT . f)) m function 153 StateT m >>= f = StateT $ fmap (>>= rightAdjunctRep (runStateT . f)) m function 197 ((a -> StateT g m b) -> StateT g m a) -> StateT g m a [all …]
|