Skip to content

Instantly share code, notes, and snippets.

@hvr

hvr/Monad instances affected by MRP(return) Secret

Last active September 25, 2015 21:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hvr/b0e34463d85b58f169d9 to your computer and use it in GitHub Desktop.
Save hvr/b0e34463d85b58f169d9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Monad instances affected by MRP(return)
$ rgrep -A50 '^instance.*Monad' | grep ' return [^$]*='
AbortT-transformers-1.0.1.1/Control/Monad/Trans/Abort.hs- return = AbortT . return . Right
acme-all-monad-0.1.0.0/src/Control/Monad/All/Trans.hs- return _ = AllT
acme-hq9plus-0.1/Acme/HQ9Plus.hs- return a = Return a
acme-hq9plus-0.1/Acme/HQ9Plus.hs- return x = HQM $ \_ acc -> (x, acc, id, id)
acme-inator-0.1.0.0/Acme/Inator.hs- return = TriStateArea . const . Just
acme-timemachine-0.0.1.0/src/Acme/TimeMachine/Undoable.hs- return x = Undoable $ \l -> (l, x)
AC-MiniTest-1.1.1/Test/AC/Test.hs- return = TestM . return
AC-MiniTest-1.1.1/Test/AC/Private.hs- return x = LogM $ \ _ -> return x
AC-MiniTest-1.1.1/Test/AC/Label.hs- return x = Label1 {label1 = "return", value1 = return x}
Adaptive-0.23/Control/Monad/Adaptive.hs- return a = Ch $ \k -> k a
Adaptive-0.23/Control/Monad/Adaptive.hs- return a = Ad $ \e -> return a
Adaptive-0.23/Control/Monad/Adaptive/OrderedList.hs- return a = inM (return a)
Adaptive-Blaisorblade-0.23/Control/Monad/Adaptive.hs- return a = Ch $ \k -> k a
Adaptive-Blaisorblade-0.23/Control/Monad/Adaptive.hs- return a = Ad $ \e -> return a
Adaptive-Blaisorblade-0.23/Control/Monad/Adaptive/OrderedList.hs- return a = inM (return a)
adjunctions-4.2.1/src/Control/Monad/Representable/Reader.hs- return = ReaderT . pureRep . return
adjunctions-4.2.1/src/Control/Monad/Representable/State.hs- return = StateT . leftAdjunctRep return
adjunctions-4.2.1/src/Control/Monad/Trans/Adjoint.hs- return = AdjointT . leftAdjunct return
adjunctions-4.2.1/src/Control/Monad/Trans/Conts.hs- return = pure
adjunctions-4.2.1/src/Control/Monad/Trans/Contravariant/Adjoint.hs- return = AdjointT . leftAdjunct extract
adjunctions-4.2.1/src/Data/Functor/Rep.hs- return = pureRep
aeson-0.9.0.1/Data/Aeson/Types/Internal.hs- return = Success
aeson-0.9.0.1/Data/Aeson/Types/Internal.hs- return a = Parser $ \_kf ks -> ks a
aeson-native-0.3.3.2/Data/Aeson/Types.hs- return = Success
aeson-native-0.3.3.2/Data/Aeson/Types.hs- return a = Parser $ \_kf ks -> ks a
Agda-2.4.2.3/src/full/Agda/TypeChecking/Monad/Base.hs- return = returnTCMT
Agda-2.4.2.3/src/full/Agda/TypeChecking/Monad/Exception.hs- return = ExceptionT . return . Right
Agda-2.4.2.3/src/full/Agda/Utils/ReadP.hs- return x = Result x Fail
Agda-2.4.2.3/src/full/Agda/Utils/ReadP.hs- return x = R (\k -> k x)
Agda-2.4.2.3/src/full/Agda/Utils/ListT.hs- return = sgListT
Agda-2.4.2.3/src/full/Agda/Syntax/Parser/LookAhead.hs- return = LookAhead . return
Agda-2.4.2.3/src/full/Agda/Syntax/Parser/Monad.hs- return x = P $ \s -> ParseOk s x
agda-server-0.1.1/JSDict.hs- return = Ret
agum-2.6/src/Algebra/AbelianGroup/Main.hs- return = Ans
aivika-4.0.3/Simulation/Aivika/Internal/Cont.hs- return = returnC
aivika-4.0.3/Simulation/Aivika/Internal/Dynamics.hs- return = returnD
aivika-4.0.3/Simulation/Aivika/Internal/Event.hs- return = returnE
aivika-4.0.3/Simulation/Aivika/Internal/Parameter.hs- return = returnP
aivika-4.0.3/Simulation/Aivika/Internal/Process.hs- return = returnP
aivika-4.0.3/Simulation/Aivika/Internal/Simulation.hs- return = returnS
aivika-experiment-4.0.3/Simulation/Aivika/Experiment/ExperimentWriter.hs- return a =
aivika-experiment-4.0.3/Simulation/Aivika/Experiment/HtmlWriter.hs- return a = HtmlWriter $ \f -> return (a, f)
aivika-transformers-3.0/Simulation/Aivika/Trans/QueueStrategy.hs- return (n == 0)
aivika-transformers-3.0/Simulation/Aivika/Trans/Internal/Cont.hs- return a =
aivika-transformers-3.0/Simulation/Aivika/Trans/Internal/Dynamics.hs- return a = Dynamics $ \p -> return a
aivika-transformers-3.0/Simulation/Aivika/Trans/Internal/Event.hs- return a = Event $ \p -> return a
aivika-transformers-3.0/Simulation/Aivika/Trans/Internal/Parameter.hs- return a = Parameter $ \r -> return a
aivika-transformers-3.0/Simulation/Aivika/Trans/Internal/Process.hs- return a = Process $ \pid -> return a
aivika-transformers-3.0/Simulation/Aivika/Trans/Internal/Simulation.hs- return a = Simulation $ \r -> return a
ajhc-0.8.0.10/lib/haskell-extras/Control/Monad/Instances.hs- return = const
ajhc-0.8.0.10/lib/applicative/Control/Arrow.hs- return x = ArrowMonad (arr (\z -> x))
ajhc-0.8.0.10/lib/jhc/Jhc/Maybe.hs- return x = Just x
ajhc-0.8.0.10/lib/jhc/Jhc/Monad.hs- return x = [x]
ajhc-0.8.0.10/lib/jhc/Jhc/Monad.hs- return x = ST $ \w -> (# w, x #)
ajhc-0.8.0.10/lib/jhc/Jhc/Monad.hs- return x = fromUIO $ \w -> (# w, x #)
ajhc-0.8.0.10/src/FindFixpoint.hs- return a = Ms' (\_ -> return a)
ajhc-0.8.0.10/src/Util/ContextMonad.hs- return x = ContextEither (Right x)
ajhc-0.8.0.10/src/Util/Seq.hs- return x = Util.Seq.single x
ajhc-0.8.0.10/src/Grin/SSimplify.hs- return grin { grinFunctions = fs, grinStats = grinStats grin `mappend` stats }
ajhc-0.8.0.10/src/Grin/SSimplify.hs- return (unboxModify ur (Case v ls) :>>= vs :-> (unboxRet ur vs))
ajhc-0.8.0.10/src/E/Demand.hs- return (EVar v,(phi `glb` (demandEnvSingleton v s)) :=> sigma)
ajhc-0.8.0.10/src/E/Demand.hs- return (el,foldr1 glb envs :=> [])
ajhc-0.8.0.10/src/E/Demand.hs- return (ELit lc { litArgs = fsts rts }, foldr glb absType (snds rts))
ajhc-0.8.0.10/src/FrontEnd/ParseMonad.hs- return = A.pure
ajhc-0.8.0.10/src/FrontEnd/TypeSyns.hs- return tidy { hsModuleDecls = decls' }
ajhc-0.8.0.10/src/FrontEnd/Tc/Monad.hs- return a = Tc $ return a
ajhc-0.8.0.10/src/Stats.hs- return x = StatM x mempty
alex-3.1.4/src/ParseMonad.hs- return a = P $ \env -> Right (env,a)
alex-3.1.4/src/NFA.hs- return a = N $ \s n _ -> (s,n,a)
alex-3.1.4/templates/wrappers.hs- return a = Alex $ \s -> Right (s,a)
alex-3.1.4/templates/wrappers.hs- return a = Alex $ \s -> Right (s,a)
alex-meta-0.3.0.8/src/ParseMonad.hs- return a = P $ \env -> Right (env,a)
alex-meta-0.3.0.8/src/NFA.hs- return a = N $ \s n e -> (s,n,a)
algebra-4.2/src/Numeric/Covector.hs- return a = Covector $ \k -> k a
algebra-4.2/src/Numeric/Map.hs- return a = Map $ \k _ -> k a
algebra-4.2/src/Numeric/Algebra/Complex.hs- return = pureRep
algebra-4.2/src/Numeric/Algebra/Dual.hs- return = pureRep
algebra-4.2/src/Numeric/Algebra/Hyperbolic.hs- return = pureRep
algebra-4.2/src/Numeric/Algebra/Quaternion.hs- return = pureRep
algebra-4.2/src/Numeric/Coalgebra/Dual.hs- return = pureRep
algebra-4.2/src/Numeric/Coalgebra/Hyperbolic.hs- return = pureRep
algebra-4.2/src/Numeric/Coalgebra/Quaternion.hs- return = pureRep
algebra-4.2/src/Numeric/Coalgebra/Trigonometric.hs- return = pureRep
alms-0.6.7/src/Data/Perhaps.hs- return = Here
alms-0.6.7/src/Env.hs- return = ROOT
alms-0.6.7/src/Error.hs- return = AlmsErrorT . return
alms-0.6.7/src/Error.hs- = either handler return =<< lift (runAlmsErrorT action)
alms-0.6.7/src/Statics/Rename.hs- return = R . return
alms-0.6.7/src/Util/Undo.hs- return = lift . return
alpha-1.0.15/src/My/Control/Monad/RWTL.hs- return a = RWTL (\r p f -> (p,f,a,mempty))
alsa-pcm-0.6.0.3/src/Sound/ALSA/PCM/Core/HwParams.hsc- return a = Cons $ \ _h _p -> return a
alsa-pcm-0.6.0.3/src/Sound/ALSA/PCM/Core/SwParams.hsc- return a = Cons $ \ _h _p -> return a
Animas-0.2/src/FRP/Animas/Task.hs- return x = Task (\k -> k x)
Animas-0.2/src/FRP/Animas/Task.hs- return x >>= f
anticiv-0.1.0.5/Network/Anticiv/Monad.hs- return a = BotT $ \s -> return (a,s)
anticiv-0.1.0.5/Network/Anticiv/Monad.hs- return a = Anticiv $ return a
anticiv-0.1.0.5/Network/Anticiv/Monad.hs- return a = OutPlex $ \h ts -> return (a,ts)
anticiv-0.1.0.5/Network/Anticiv/Modules/Ironforge.hs- return = MonoPrinter . return
antisplice-0.17.1.0/src/Game/Antisplice/Stereos.hs- return a = StereoBuilder $ \s -> return (a,s)
antisplice-0.17.1.0/src/Game/Antisplice/Monad/Dungeon.hs- return a = Room $ \s -> return (a,s)
antisplice-0.17.1.0/src/Game/Antisplice/Monad/Dungeon.hs- return a = Object $ \s -> return (a,s)
antisplice-0.17.1.0/src/Game/Antisplice/Monad/Dungeon.hs- return a = Player $ \s -> return (a,s)
antisplice-0.17.1.0/src/Game/Antisplice/Monad/Dungeon.hs- return a = Dungeon $ \s -> return (a,s)
antisplice-0.17.1.0/src/Game/Antisplice/Monad/Dungeon.hs- Just r -> return ((),s{roomsOf=setNode r s' $ roomsOf s})
antisplice-0.17.1.0/src/Game/Antisplice/Monad/Dungeon.hs- putPlayerState s' = Dungeon $ \s -> return (none,s{playersOf=anyBstInsert s' $ playersOf s})
antisplice-0.17.1.0/src/Game/Antisplice/Monad/Dungeon.hs- Just p -> return ((),s{playersOf=anyBstInsert (f p) $ playersOf s})
antisplice-0.17.1.0/src/Game/Antisplice/Monad/Vocab.hs- return a = Vocab $ \s -> return (a,s)
apiary-1.4.3/src/Control/Monad/Apiary/Internal.hs- return x = ApiaryT $ \_ cont -> cont x mempty
apiary-1.4.3/src/Control/Monad/Apiary/Action/Internal.hs- return x = ActionT $ \_ _ !st cont -> cont x st
api-tools-0.5.2/src/Data/API/JSON.hs- return = pure
appar-0.1.4/Text/Appar/Parser.hs- return a = P $ \bs -> (Just a, bs)
applicative-fail-1.1.0/src/Control/Monad/Fail.hs- return a = FailT $ return $ pure a
approximate-0.2.2/src/Data/Approximate/Mass.hs- return = Mass 1
archlinux-1.3/Distribution/ArchLinux/PkgBuild.hs- return x = GetPKG (\s -> Right (x,s))
arrowapply-utils-0.2/Control/Arrow/ApplyUtils.hs- return = ArrowAsMonad . arr . const
arrow-improve-0.1.0.0/Control/Arrow/Improve.hs- return = pure
arrow-list-0.7/src/Control/Monad/Sequence.hs- return = SeqT . return . return
asil-1.2/src/Instr.hs- return x = Instr $ \n k -> k n x L.Instr_Nop
asn1-data-0.7.1/Data/ASN1/Get.hs- return a = Get $ \ s0 b0 m0 p0 _ ks -> ks s0 b0 m0 p0 a
asn1-encoding-0.9.0/Data/ASN1/Get.hs- return a = Get $ \ s0 b0 m0 p0 _ ks -> ks s0 b0 m0 p0 a
async-2.0.2/Control/Concurrent/Async.hs- return = pure
async-extras-0.1.2.0/src/Control/Concurrent/Async/Extra.hs- return = pure
async-extras-0.1.2.0/src/Control/Concurrent/Async/Lifted/Extra.hs- return = pure
async-pool-0.9.0/Control/Concurrent/Async/Pool/Internal.hs- return = pure
atom-1.0.13/Language/Atom/Elaboration.hs- return a = Atom (\ s -> return (a, s))
atomo-0.4.0.2/src/Atomo/Kernel/Regexp.hs- return = RegexOK
attempt-0.4.0.1/Data/Attempt.hs- return = Success
atto-lisp-0.2.2/Data/AttoLisp.hs- return a = Parser $ \_kf ks -> ks a
atto-lisp-0.2.2/Data/AttoLisp.hs- return = Success
attoparsec-0.13.0.0/Data/Attoparsec/Zepto.hs- return a = Parser $ \s -> return (OK a s)
attoparsec-0.13.0.0/Data/Attoparsec/Internal/Types.hs- return v = Parser $ \t pos more _lose succ -> succ t pos more v
attoparsec-text-0.8.5.3/Data/Attoparsec/Text/Internal.hs- return = returnP
attoparsec-trans-0.1.0.3/src/Control/Monad/Trans/Parser.hs- return r = ParserT $ \i -> return (DoneM i r)
AutoForms-0.4.2/src/Control/Monad/RecursiveObserver.hs- return x = ListenerT $ return x
autoproc-0.1.2/Autoproc/Classifier.hs- return = Match
aws-0.12.1/Aws/Core.hs- return x = Response mempty (Right x)
aws-0.12.1/Aws/DynamoDb/Core.hs- return a = Parser $ \_kf ks -> ks a
backward-state-0.1.0.2/src/Control/Monad/Trans/BackwardState.hs- return x = BackwardStateT $ \s -> return (x, s)
bag-0.1/Data/Bag.hs- return = Leaf
bag-0.1/Data/Bag.hs- return = Bag . Leaf
bamse-0.9.5/Bamse/IMonad.hs- return = returnIM
bamse-0.9.5/Bamse/IMonad.hs-addRow r = IM $ \ is -> return ((), is{istate_rows=(r:istate_rows is)})
bamse-0.9.5/Bamse/IMonad.hs-getTableRows nm = IM $ \ is -> return (filter ((nm==).fst) (istate_rows is), is)
bamse-0.9.5/Bamse/IMonad.hs-replaceRow r = IM $ \ is -> return ((), is{istate_replaces=(r:istate_replaces is)})
bamse-0.9.5/Bamse/IMonad.hs-addTable t = IM $ \ is -> return ((), is{istate_tables=(t:istate_tables is)})
base-4.8.0.0/Control/Monad/ST/Lazy/Imp.hs- return a = ST $ \ s -> (a,s)
base-4.8.0.0/Control/Arrow.hs- return x = ArrowMonad (arr (\_ -> x))
base-4.8.0.0/GHC/GHCi.hs- return a = NoIO (return a)
base-4.8.0.0/GHC/Base.hs- return = const
base-4.8.0.0/GHC/Base.hs- return = Just
base-4.8.0.0/GHC/Base.hs- return x = [x]
base-4.8.0.0/GHC/Base.hs- return = returnIO
base-4.8.0.0/GHC/ST.hs- return x = ST (\ s -> (# s, x #))
base-4.8.0.0/GHC/Conc/Sync.hs- return x = returnSTM x
base-4.8.0.0/Data/Proxy.hs- return _ = Proxy
base-4.8.0.0/Data/Either.hs- return = Right
base-4.8.0.0/Data/Functor/Identity.hs- return = Identity
base-4.8.0.0/Text/ParserCombinators/ReadP.hs- return x = Result x Fail
base-4.8.0.0/Text/ParserCombinators/ReadP.hs- return x = R (\k -> k x)
base-4.8.0.0/Text/ParserCombinators/ReadPrec.hs- return x = P (\_ -> return x)
base-orphans-0.3.2/test/Control/Applicative/OrphansSpec.hs- return = Identity
beautifHOL-0.11/ErrM.hs- return = Ok
bencode-0.6.0.0/src/Data/BEncode/Parser.hs- return val = BParser $ Ok val
bencoding-0.4.3.0/src/Data/BEncode.hs- return a = Get (return a)
binary-0.7.5.0/src/Data/Binary/Put.hs- return a = Put $ PairS a mempty
binary-0.7.5.0/src/Data/Binary/Get/Internal.hs- return = returnG
binary-bits-0.5/Data/Binary/Bits/Put.hs- return x = BitPut $ \s -> PairS x s
binary-bits-0.5/Data/Binary/Bits/Get.hs- return x = B $ \s -> return (s,x)
binary-strict-0.4.8.2/src/Data/Binary/BitPut.hs- return a = BitPutM (a,BB.empty)
binary-strict-0.4.8.2/src/Data/Binary/BitPut.hs- return a = BitPutT $ return (a, BB.empty)
binary-strict-0.4.8.2/src/Data/Binary/Strict/BitGet.hs- return a = BitGet (\s -> (Right a, s))
binary-strict-0.4.8.2/src/Data/Binary/Strict/Get.hs- return a = Get (\s -> (Right a, s))
binary-strict-0.4.8.2/src/Data/Binary/Strict/IncrementalGet.hs- return a = Get (\s -> \k -> k a s)
bindings-bfd-1.2.0.0/dist/build/Bindings/Bfd/Disasm/I386/Parse.hs- return = HappyIdentity
bind-marshal-0.1/src/Bind/Marshal/Action/Monad.hs- return v = SealedSealedAction (\ eval_cont -> eval_cont v )
binembed-0.1.0.3/src/binembed.hs- return a = CodeGen $ \_e -> (a, mempty)
bits-0.4/src/Data/Bits/Coding.hs- return a = Coding $ \ k -> k a
blank-canvas-0.5/Graphics/Blank/Canvas.hs- return = Return
blas-hs-0.1.1.0/tests/TestUtils.hs- return x = Test $ \ s -> return (x, s)
blaze-builder-0.4.0.1/benchmarks/BuilderBufferRange.hs- return x = GetC $ \done _ _ pr -> done pr x
blaze-builder-0.4.0.1/benchmarks/UnboxedAppend.hs- return x = Put $ \k -> k x
blaze-builder-0.4.0.1/benchmarks/UnboxedAppend.hs- return x = LBSM (x, id)
blaze-builder-0.4.0.1/benchmarks/FastPut.hs- return x = Put $ \k -> k x
blaze-builder-0.4.0.1/benchmarks/FastPut.hs- return x = GetC $ \done _ _ pr -> done pr x
blaze-builder-0.4.0.1/benchmarks/FastPut.hs- return x = LBSM (x, id)
blaze-builder-0.4.0.1/benchmarks/Throughput/BlazePutMonad.hs- return a = Put $ PairS a mempty
blazeMarker-0.1.0.0/Control/Monad/FreeMarker.hs- return x = FM (\v -> ("", v, x) )
blaze-markup-0.7.0.2/src/Text/Blaze/Internal.hs- return _ = Empty
blocking-transactions-0.1.0.5/BlockingTransactions/BlockingTransactions.hs- return = BTReturn
blocking-transactions-0.1.0.5/BlockingTransactions/BlockingTransactions.hs- return = Value
BNFC-2.8/src/ErrM.hs- return = Ok
BNFC-meta-0.4.0.3/Language/LBNF/Runtime.hs- return = Ok
boomerang-1.4.5/Text/Boomerang/Prim.hs- return a =
bound-1.0.5/README.markdown- return = V
bound-1.0.5/examples/Deriving.hs- return = V
bound-1.0.5/examples/Overkill.hs- return = Var
bound-1.0.5/examples/Simple.hs- return = V
bound-1.0.5/src/Bound/Scope.hs- return a = Scope (return (F (return a)))
bound-1.0.5/src/Bound/Var.hs- return = F
bound-1.0.5/src/Bound/Scope/Simple.hs- return a = Scope (return (F a))
boundingboxes-0.2.3/Data/BoundingBox.hs- return a = Box (return a) (return a)
broccoli-0.4.1.0/Control/Broccoli.hs- return x = Setup (\_ -> return x)
bspack-0.0.4/Data/ByteString/Pack/Internal.hs- return = returnPacker
bsparse-0.0.5/Data/ByteString/Parse.hs- return v = Parser $ \buf _ ok -> ok buf v
buffer-builder-0.2.2.2/src/Data/BufferBuilder.hs- return = BB . const . return
bytestring-0.10.6.0/Data/ByteString/Builder/Internal.hs- return x = Put $ \k -> k x
bytestring-builder-0.10.6.0.0/src/Data/ByteString/Builder/Internal.hs- return x = Put $ \k -> k x
bytestringparser-0.3/src/Data/ParserCombinators/Attoparsec/Internal.hs- return a = Parser $ \s -> Right (a, s)
bytestringparser-temporary-0.4.1/src/Data/ParserCombinators/Attoparsec/Internal.hs- return a = Parser $ \s -> Right (a, s)
bytestringreadp-0.2/src/Text/ParserCombinators/ReadP/ByteString.hs- return x = Result x Fail
bytestringreadp-0.2/src/Text/ParserCombinators/ReadP/ByteString.hs- return x = R (\k -> k x)
bytestring-trie-0.2.4.1/src/Data/Trie/Internal.hs- return = singleton S.empty
bzlib-0.5.0.5/Codec/Compression/BZip/Stream.hsc- return = returnZ
c2hs-0.25.2/src/Control/StateTrans.hs- return = yield
c2hs-0.25.2/src/Control/StateBase.hs- return = yield
Cabal-1.22.3.0/Distribution/Simple/BuildTarget.hs- return a = ExactMatch 0 [a]
Cabal-1.22.3.0/Distribution/ParseUtils.hs- return = ParseOk []
Cabal-1.22.3.0/Distribution/PackageDescription/Parse.hs- return a = StT (\s -> return (a,s))
Cabal-1.22.3.0/Distribution/Compat/ReadP.hs- return x = Result x Fail
Cabal-1.22.3.0/Distribution/Compat/ReadP.hs- return x = R (\k -> k x)
cabal-debian-4.29/debian-haskell/Debian/Control/ByteString.hs- return a = Parser (\s -> Ok (a,s))
Cabal-ide-backend-1.23.0.0/Distribution/ParseUtils.hs- return = ParseOk []
Cabal-ide-backend-1.23.0.0/Distribution/PackageDescription/Parse.hs- return a = StT (\s -> return (a,s))
Cabal-ide-backend-1.23.0.0/Distribution/Simple/BuildTarget.hs- return a = ExactMatch 0 [a]
Cabal-ide-backend-1.23.0.0/Distribution/Compat/ReadP.hs- return x = Result x Fail
Cabal-ide-backend-1.23.0.0/Distribution/Compat/ReadP.hs- return x = R (\k -> k x)
cabal-install-1.22.4.0/Distribution/Client/Tar.hs- return = Ok
cabal-install-1.22.4.0/Distribution/Client/Dependency/Types.hs- return a = Done a
cabal-install-bundle-1.18.0.2.1/Codec/Compression/Zlib/Stream.hsc- return = returnZ
cabal-install-bundle-1.18.0.2.1/Distribution/Client/Tar.hs- return = Ok
cabal-install-bundle-1.18.0.2.1/Distribution/Client/Dependency/Types.hs- return a = Done a
cabal-install-bundle-1.18.0.2.1/Text/Parsec/Prim.hs- return x = parserReturn x
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/Identity.hs- return = IdentityT . return
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/Cont.hs- return a = ContT ($ a)
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/Maybe.hs- return = lift . return
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/List.hs- return a = ListT $ return [a]
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/Error.hs- return = Right
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/Error.hs- return a = ErrorT $ return (Right a)
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/Reader.hs- return = lift . return
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/Writer/Lazy.hs- return a = writer (a, mempty)
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/Writer/Strict.hs- return a = WriterT $ return (a, mempty)
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/State/Lazy.hs- return a = state $ \s -> (a, s)
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/State/Strict.hs- return a = state $ \s -> (a, s)
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/RWS/Lazy.hs- return a = RWST $ \_ s -> return (a, s, mempty)
cabal-install-bundle-1.18.0.2.1/Control/Monad/Trans/RWS/Strict.hs- return a = RWST $ \_ s -> return (a, s, mempty)
cabal-install-bundle-1.18.0.2.1/Data/Functor/Identity.hs- return a = Identity a
cabal-install-bundle-1.18.0.2.1/Data/Functor/Product.hs- return x = Pair (return x) (return x)
cabal-install-ghc72-0.10.4/Distribution/Client/Dependency/Types.hs- return a = Done a
cabal-install-ghc72-0.10.4/Distribution/Client/Tar.hs- return = Ok
cabal-install-ghc74-0.10.4/Distribution/Client/Dependency/Types.hs- return a = Done a
cabal-install-ghc74-0.10.4/Distribution/Client/Tar.hs- return = Ok
cabal-install-ghc74-0.10.4/Distribution/Client/Tar.hs~- return = Ok
caledon-3.2.1.0/Choice.hs- return = Success
cao-0.1.1/src/Language/CAO/Common/Monad.hs- return !x = CaoResult $! \ st -> return (Right (x, mempty), st)
cao-0.1.1/src/Language/CAO/Common/Monad.hs-runCaoResultWarn = either (fail . showCaoError) return <=< runCaoResultT
cap-1.0.1/dist/build/cap/cap-tmp/Language/Cap/Interpret/Parse.hs- return = HappyIdentity
cartel-0.14.2.6/lib/Cartel/Betsy/Internal.hs- return a = Betsy $ \s -> return (Right (a, s))
cassava-0.4.3.0/Data/Csv/Conversion.hs- return a = Parser $ \_kf ks -> ks a
casui-0.3/Casui/Casui.hs- return a = Casui $ \s c e -> return (a, e)
casui-0.3/Casui/Menu.hs- return = GenMenu []
casui-0.3/Casui/Draw.hs- return a = Draw $ \_ _ _ -> return (Nothing, a)
Catana-0.3/Control/Monad/Catana.hs- return = pure
catch-fd-0.2.0.2/Control/Monad/Catch.hs- return = WrapMonadError . return
catch-fd-0.2.0.2/Control/Monad/Catch.hs- return = WrapMonadCatch . return
CCA-0.1.5.3/preprocessor/State.hs- return x = State (\n -> (x, n))
CC-delcont-0.2/Control/Monad/CC.hs- return v = CCT $ \k -> appk k v
CC-delcont-alt-0.1.1.1/Bench_nondet.hs- return x = CPS $ \k -> k x
CC-delcont-alt-0.1.1.1/Bench_nondet.hs- return x = CCR $ \_ -> return x
CC-delcont-alt-0.1.1.1/Generator2.hs- return = Identity
CC-delcont-cxe-0.1.0.2/Generator2.hs- return = Identity
CC-delcont-cxe-0.1.0.2/Bench_nondet.hs- return x = CPS $ \k -> k x
CC-delcont-cxe-0.1.0.2/Bench_nondet.hs- return x = CCR $ \_ -> return x
CC-delcont-cxe-0.1.0.2/Control/Monad/CC/CCCxe.hs- return x = CC $ \ki kd -> ki x
CC-delcont-exc-0.1.0.0/Generator2.hs- return = Identity
CC-delcont-exc-0.1.0.0/Bench_nondet.hs- return x = CPS $ \k -> k x
CC-delcont-exc-0.1.0.0/Bench_nondet.hs- return x = CCR $ \_ -> return x
CC-delcont-exc-0.1.0.0/Control/Monad/CC/CCExc.hs- return = CC . return . Iru
CC-delcont-ref-0.1.0.0/Bench_nondet.hs- return x = CPS $ \k -> k x
CC-delcont-ref-0.1.0.0/Bench_nondet.hs- return x = CCR $ \_ -> return x
CC-delcont-ref-0.1.0.0/Control/Monad/CC/CCRef.hs- return x = CC $ \k _ -> k x
CC-delcont-ref-tf-0.1.0.2/Bench_nondet.hs- return x = CPS $ \k -> k x
CC-delcont-ref-tf-0.1.0.2/Bench_nondet.hs- return x = CCR $ \_ -> return x
CC-delcont-ref-tf-0.1.0.2/Control/Monad/CC/CCRef.hs- return x = CC $ \k _ -> k x
cereal-0.4.1.1/src/Data/Serialize/Get.hs- return a = Get $ \ s0 b0 m0 _ ks -> ks s0 b0 m0 a
cereal-0.4.1.1/src/Data/Serialize/Put.hs- return a = Put (PairS a mempty)
cereal-plus-0.4.0/library/CerealPlus/Deserialize.hs- return a = Deserialize $ \bs -> return $ Done a bs
cflp-2009.2.1/src/CFLP/Control/Monad/Update.lhs-> return = UpdateT . return . Return
cflp-2009.2.1/src/CFLP/Control/Monad/Update.lhs-> g (Update upd y) = return (Update upd (y >>= f))
cgi-3001.2.2.2/Network/CGI/Monad.hs- return = CGIT . return
chalkboard-1.9.0.16/Graphics/ChalkBoard/OpenGL/Monad.hs- return n = CBM $ \_ -> return n
chalmers-lava2000-1.5/Lava/MyST.hs- return a = ST (return a)
chalmers-lava2000-1.5/Lava/Property.hs- return a =
chatty-0.6.4.1/System/Chatty/Filesystem.hs- return a = FilePrinter $ \_ -> return a
chatty-0.6.4.1/System/Chatty/Filesystem.hs- return a = FileScanner $ \_ -> return a
chatty-0.6.4.1/System/Chatty/Filesystem.hs- return a = NullFs $ \p ms -> return (a,p,ms)
chatty-0.6.4.1/System/Chatty/Spawn/Overlay.hs- return a = SpawnOverlay $ \o -> return (a,o)
chatty-0.6.4.1/Text/Chatty/Expansion.hs- return = NullExpander . return
chatty-0.6.4.1/Text/Chatty/Scanner.hs- return a = HereString $ \s -> return (a,s)
chatty-0.6.4.1/Text/Chatty/Scanner.hs- return = Quiet . return
chatty-0.6.4.1/Text/Chatty/Scanner.hs- return a = InRedir $ \h -> return (a,h)
chatty-0.6.4.1/Text/Chatty/Finalizer.hs- return a = HandleCloser $ \hs -> return (a,hs)
chatty-0.6.4.1/Text/Chatty/Printer.hs- return = Deaf . return
chatty-0.6.4.1/Text/Chatty/Printer.hs- return a = OutRedir $ \h -> return (a,h)
chatty-0.6.4.1/Text/Chatty/Printer.hs- return a = Recorder $ \s -> return (a,s)
chatty-0.6.4.1/Text/Chatty/Extended/ANSI.hs- return a = AnsiPrinter $ \s -> return (a,s)
chatty-0.6.4.1/Text/Chatty/Extended/HTML.hs- return = HtmlPrinter . return
chatty-0.6.4.1/Text/Chatty/Expansion/Vars.hs- return a = Expander $ \vs -> return (a,vs)
chatty-0.6.4.1/Text/Chatty/Expansion/Vars.hs- mputv k v = Expander $ \vs -> return ((),(k,v):filter ((/=k).fst) vs)
chatty-0.6.4.1/Text/Chatty/Expansion/History.hs- return a = History $ \s -> return (a,s)
chatty-0.6.4.1/Text/Chatty/Channel/Printer.hs- return a = Archiver $ \s -> return (a,s)
chatty-0.6.4.1/Text/Chatty/Channel/Printer.hs- return a = Filter $ \(c,s) -> return (a,s)
chatty-0.6.4.1/Text/Chatty/Channel/Printer.hs- return a = Joiner $ return a
chatty-0.6.4.1/Text/Chatty/Scanner/Buffered.hs- return a = ScannerBuffer $ \s -> return (a,s)
chatty-text-0.6.2.0/Text/Chatty/Parser/Nondeterministic.hs- return a = Result (return a) $ const Failed
chatty-text-0.6.2.0/Text/Chatty/Parser/Carrier.hs- return a = Carry $ \s -> return (a,s)
chatty-utils-0.7.3.2/Data/Chatty/ListBuilder.hs- return a = StrictBuilder $ \s -> return (a,s)
chatty-utils-0.7.3.2/Data/Chatty/ListBuilder.hs- return a = LazyBuilder $ \s -> return (a,s)
chatty-utils-0.7.3.2/Data/Chatty/Fail.hs- return a = Fail $ return $ Right a
chatty-utils-0.7.3.2/Data/Chatty/Atoms.hs- return a = AtomStore $ \s -> return (a,s)
chatty-utils-0.7.3.2/Data/Chatty/Counter.hs- return a = Counter $ \s -> return (a,s)
cheapskate-0.1.0.4/Cheapskate/ParserCombinators.hs- return x = Parser $ \st -> Right (st, x)
Checked-0.0.0.2/Data/Checked.hs- return v = Checked (Right v)
chp-2.2.0.1/Control/Concurrent/CHP/Event.hs- return = WPMT . return . NoPoison . Just
chp-2.2.0.1/Control/Concurrent/CHP/Poison.hs- return = NoPoison
chp-2.2.0.1/Control/Concurrent/CHP/Base.hs- return a = PoisonT $ const ($ a)
chp-2.2.0.1/Control/Concurrent/CHP/Base.hs- return = Return
chp-2.2.0.1/Control/Concurrent/CHP/Parallel.hs- return = liftForking . return
chp-2.2.0.1/Control/Concurrent/CHP/Traces/Base.hs- return = LabelM . (,)
chp-plus-1.3.1.2/Control/Concurrent/CHP/Test.hs- return = CHPTest . return . Right
chp-plus-1.3.1.2/Control/Concurrent/CHP/Composed.hs- return x = Composed ($ x)
chp-spec-1.0.0/Control/Concurrent/CHPSpec/Base.hs- return x = CHPSpecT ($ x)
chuchu-0.4.5/src/Test/Chuchu/Types.hs- return _ = Nil
cio-0.1.0/src/CIO.hs- (as, ws) <- return . unzip =<< sequenceConcurrently cioActions
cio-0.1.0/src/CIO.hs- (as, ws) <- return . unzip =<< sequenceConcurrently' cioActions
clafer-0.3.10/src/Language/Clafer/Front/ErrM.hs- return = Ok
clash-ghc-0.5.7/src-bin/GhciMonad.hs- return a = GHCi $ \_ -> return a
ClassLaws-0.3.1.0/src/Control/Monad/Laws/Instances.hs- return x = Cons x (Cons x Nil) -- gives an error
ClassLaws-0.3.1.0/src/Control/Monad/Laws/Instances.hs--- return x = Cons x Nil -- correct
ClassLaws-0.3.1.0/src/Test/ClassLaws/TestingState.hs- return = returnState
ClassLaws-0.3.1.0/src/Test/ClassLaws/TestingState.hs- return = SS . returnState
clifford-0.1.0.14/src/Numeric/Clifford/ClassicalMechanics.lhs- return = pure
cmonad-0.1.1.1/src/Language/CMonad/Prim.hs- return x = E $ return x
cmonad-0.1.1.1/src/Language/CMonad/Prim.hs- return (\ is -> V (ix is >>= readArray a)
cmu-1.10/src/Algebra/CommutativeMonoid/Main.hs- return = Ans
cnc-spec-compiler-0.2.0.1/dist/build/cnc/cnc-tmp/Intel/Cnc/Spec/CncGrammar.hs- return = HappyIdentity
cnc-spec-compiler-0.2.0.1/dist/build/cnc/cnc-tmp/Intel/Cnc/Spec/CncLexer.hs- return a = Alex $ \s -> Right (s,a)
cnc-spec-compiler-0.2.0.1/Intel/Cnc/EasyEmit.hs- return x = EE (return x)
Coadjute-0.1.1/Coadjute/Rule.hs- return = Co . return
cognimeta-utils-0.1.2/src/Cgm/Control/Monad/State.hs- return = lift . return
combinator-interactive-0.1.2/Data/Combinator.hs- return = Var
command-qq-0.3.0.0/example/CommandT.hs- return = pure
commodities-0.2.0/Ledger/Balance.hs- return = Plain
comonad-4.2.7/src/Control/Comonad.hs- return = Cokleisli . const
compact-string-0.3.1/test/QuickCheckUtils.hs- return = const
compact-string-fix-0.3.2/test/QuickCheckUtils.hs- return = const
compdata-0.10/benchmark/DataTypes.hs- return = Right
compdata-0.10/src/Data/Comp/Term.hs- return = Hole
compilation-0.0.0.3/Control/Compilation.hs- return x = Compilation (\s -> (s, x))
compose-trans-0.1/src/Control/Monad/Trans/Monad.hs- return x = ApplyF {runApplyF = return' transMInst x}
compressed-3.10/src/Data/Compressed/RunLengthEncoding.hs- return = Run 1
compressed-3.10/src/Data/Compressed/RunLengthEncoding.hs- return = RLE . F.singleton . pure
compressed-3.10/src/Data/Compressed/Internal/LZ78.hs- return a = Cons (Token 0 a) Nil
compression-0.1/Codec/Compression/LazyStateT.hs- return x = LazyStateT $ \s -> return (x, s)
conceit-0.3.1.0/src/Control/Concurrent/Conceit.hs- return = pure
Concurrential-0.5.0.0/Control/Concurrent/Concurrential.hs- return = Identity
Concurrential-0.5.0.0/Control/Concurrent/Concurrential.hs- return = pure
concurrent-state-0.6.0.0/src/Control/Monad/RWS/Concurrent/Lazy.hs- return a = RWSC $ \_ s w -> return (a, s, w)
concurrent-state-0.6.0.0/src/Control/Monad/RWS/Concurrent/Strict.hs- return a = RWSC $ \_ s w -> return (a, s, w)
concurrent-state-0.6.0.0/src/Control/Monad/State/Concurrent/Lazy.hs- return a = StateC $ \s -> return (a, s)
concurrent-state-0.6.0.0/src/Control/Monad/State/Concurrent/Strict.hs- return a = StateC $ \s -> return (a, s)
concurrent-state-0.6.0.0/src/Control/Monad/Writer/Concurrent/Lazy.hs- return a = WriterC $ \w -> return (a, w)
concurrent-state-0.6.0.0/src/Control/Monad/Writer/Concurrent/Strict.hs- return a = WriterC $ \w -> return (a, w)
conduit-1.2.4.2/Data/Conduit/Internal/Pipe.hs- return = Done
conduit-1.2.4.2/Data/Conduit/Internal/Conduit.hs- return x = ConduitM ($ x)
conjure-0.1/src/BEncode/BParser.hs- return val = BParser $ Ok val
constrained-normal-1.0.2/Control/Monad/ConstrainedNormal.hs- return = Return
constrained-normal-1.0.2/Control/Monad/ConstrainedNormal.hs- return a = toNMP (MPReturn a)
ConstraintKinds-1.3.0/src/Control/ConstraintKinds/Monad.hs- return = Monad.return
ConstraintKinds-1.3.0/src/Control/ConstraintKinds/Monad.hs- return = Monad.return
ConstraintKinds-1.3.0/src/Control/ConstraintKinds/Monad.hs- return = Monad.return
ConstraintKinds-1.3.0/src/Control/ConstraintKinds/Monad.hs- return = VU.singleton
Consumer-1.2/Control/Monad/Consumer.hs- return a = Consumer (\c -> (a,c))
containers-0.5.6.3/Data/Graph.hs- return x = SetM $ const (return x)
containers-0.5.6.3/Data/Graph.hs- return x = SetM $ \s -> (x, s)
containers-0.5.6.3/Data/Sequence.hs- return = singleton
containers-0.5.6.3/Data/Sequence.hs- return x = State $ \ s -> (s, x)
containers-0.5.6.3/Data/Tree.hs- return x = Node x []
containers-0.5.6.3/tests/seq-properties.hs- return x = Action 0 x
context-free-grammar-0.1.0/dist/build/Data/Cfg/Bnf/Parser.hs- return = HappyIdentity
continue-0.2.0/Control/Monad/Continue.hs- return = pure
control-monad-attempt-0.3.0.1/Control/Monad/Attempt.hs- return = AttemptT . return . return
control-monad-exception-0.11.2/Control/Monad/Exception/Base.hs- return = EMT . return . Right
control-monad-free-0.6.1/Control/Monad/Free.hs- return = Pure
control-monad-free-0.6.1/Control/Monad/Free.hs- return = FreeT . return . Left
control-monad-free-0.6.1/Control/Monad/Free/Improve.hs- return a = C (\h -> h a)
control-monad-loop-0.1/Control/Monad/Trans/Loop.hs- return a = LoopT $ \_ _ cont -> cont a
Control-Monad-MultiPass-0.1.0.0/src/Control/Monad/MultiPass.hs- return x = On x
Control-Monad-MultiPass-0.1.0.0/src/Control/Monad/MultiPass.hs- return _ = Off
Control-Monad-MultiPass-0.1.0.0/src/Control/Monad/MultiPass.hs- return x = MultiPassBase $ return x
Control-Monad-MultiPass-0.1.0.0/src/Control/Monad/MultiPass.hs- return x = MultiPass $ return x
Control-Monad-MultiPass-0.1.0.0/src/Control/Monad/MultiPass.hs- return x = MultiPassPrologue $ return x
Control-Monad-MultiPass-0.1.0.0/src/Control/Monad/MultiPass.hs- return x = MultiPassEpilogue $ return x
Control-Monad-MultiPass-0.1.0.0/src/Control/Monad/MultiPass.hs- return x = WrapInstrument x
control-monad-omega-0.3.1/Control/Monad/Omega.hs- return x = Omega [x]
control-monad-queue-0.2/tests/SideChannelQ.hs- return a = Q ($a)
control-monad-queue-0.2/tests/CpSt.hs- return a = CpSt (\k -> k a)
control-monad-queue-0.2/doc/CorecQueues.lhs- return a = STQ (\k -> k a)
control-monad-queue-0.2/doc/CorecQueues.lhs- return a = CpSt (\k -> k a)
control-monad-queue-0.2/doc/CorecQueues.lhs- return a = CpSt' (\k -> k a)
control-monad-queue-0.2/doc/CorecQueues.lhs- return a = Q ($a)
control-monad-queue-0.2/Control/Monad/Queue/ST.hs- return a = Q (\k -> k a)
control-monad-queue-0.2/Control/Monad/Queue/Corec.hs- return a = Q (\k -> k a)
control-monad-queue-0.2/Control/Monad/Queue/Allison.hs- return a = Q (\k -> k a)
Control-Monad-ST2-0.1.0.1/src/Control/Monad/ST2.hs- return x = ST2 $ return x
contstuff-1.2.6/Control/ContStuff/Trans.hs- return x = ChoiceT $ \fold z k -> fold z x k
contstuff-1.2.6/Control/ContStuff/Trans.hs- return x = ContT $ \k -> k x
contstuff-1.2.6/Control/ContStuff/Trans.hs- return x = EitherT $ \k _ -> k x
contstuff-1.2.6/Control/ContStuff/Trans.hs- return x = MaybeT $ \just _ -> just x
contstuff-1.2.6/Control/ContStuff/Trans.hs- return x = ReaderT (return x)
contstuff-1.2.6/Control/ContStuff/Trans.hs- forkIO (StateT c) = StateT $ \k s0 -> forkIO (c (\_ _ -> return ()) s0) >>= flip k s0
contstuff-1.2.6/Control/ContStuff/Trans.hs- forkOS (StateT c) = StateT $ \k s0 -> forkOS (c (\_ _ -> return ()) s0) >>= flip k s0
contstuff-1.2.6/Control/ContStuff/Trans.hs- return x = StateT ($ x)
copilot-core-2.1.2/src/Copilot/Core/Random/Gen.hs- return x = MkGen (\ _ _ _ -> x)
CoreErlang-0.0.2/Language/CoreErlang/Pretty.hs- return = retDocM
Coroutine-0.1.0.0/Control/Coroutine.hs- return x = LiftWM (P.return x)
Coroutine-0.1.0.0/Control/Monad/Indexed.hs- return x = IxCont $ \k -> k x
CouchDB-1.2.2/src/Database/CouchDB/HTTP.hs- return a = CouchMonad $ \conn -> return (a,conn)
CouchDB-1.2.2/src/Database/CouchDB/HTTP.hs- return ( (ccURI conn) { uriPath = '/':path
cpsa-2.5.0/src/CPSA/Lib/Loader.hs- return = Return
cpsa-2.5.0/src/CPSA/Annotations/Formulas.hs- return = RightS
cpsa-2.5.0/src/CPSA/Annotations/Formulas.hs-1. return a >>= k <==> k a
cpsa-2.5.0/src/CPSA/Annotations/Formulas.hs-2. m >>= return <==> m
Craft3e-0.1.0.10/Chapter18.hs- return x = State (\tab -> (tab,x))
Craft3e-0.1.0.10/ParseLib.hs- return x = SParse (succeed x)
Craft3e-0.1.0.10/Calculator/CalcParseLib.hs- return x = SParse (succeed x)
crypto-classical-0.1.0/Crypto/Classical/Cipher/Enigma.hs- return = pure
crypto-classical-0.1.0/Crypto/Classical/Cipher/Vigenere.hs- return = pure
crypto-classical-0.1.0/Crypto/Classical/Cipher/Stream.hs- return = pure
crypto-classical-0.1.0/Crypto/Classical/Cipher/Substitution.hs- return = pure
crypto-classical-0.1.0/Crypto/Classical/Cipher/Affine.hs- return = pure
crypto-classical-0.1.0/Crypto/Classical/Cipher/Caesar.hs- return = pure
cryptol-2.2.4/src/Cryptol/ModuleSystem/Monad.hs- return x = ModuleT (return x)
cryptol-2.2.4/src/Cryptol/ModuleSystem/Renamer.hs- return x = RenameM (return x)
cryptol-2.2.4/src/Cryptol/ModuleSystem/Renamer.hs- return Located { srcRange = roLoc ro, thing = a }
cryptol-2.2.4/src/Cryptol/Parser/NoInclude.hs- return x = M (return x)
cryptol-2.2.4/src/Cryptol/Parser/NoPat.hs- return x = M (return x)
cryptol-2.2.4/src/Cryptol/Parser/ParserUtils.hs- return a = P (\_ _ s -> Right (a,s))
cryptol-2.2.4/src/Cryptol/REPL/Monad.hs- return x = REPL (\_ -> return x)
cryptol-2.2.4/src/Cryptol/TypeCheck/Monad.hs- return x = IM (return x)
cryptol-2.2.4/src/Cryptol/TypeCheck/Monad.hs- return x = KM (return x)
cryptol-2.2.4/src/Cryptol/TypeCheck/Unify.hs- return a = OK a
cryptol-2.2.4/src/Cryptol/TypeCheck/Unify.hs- | TCon (TF _) _ <- t1, isNum, k1 == k2 = return (emptySubst, [t1 =#= t2])
cryptol-2.2.4/src/Cryptol/TypeCheck/Unify.hs- | TCon (TF _) _ <- t2, isNum, k1 == k2 = return (emptySubst, [t1 =#= t2])
cryptol-2.2.4/src/Cryptol/TypeCheck/Solver/CrySAT.hs- return x = FM (return x)
cryptonite-0.2/Crypto/Error/Types.hs- return a = CryptoPassed a
cryptonite-0.2/Crypto/Random/Types.hs- return a = MonadPseudoRandom $ \g -> (a, g)
csound-catalog-0.2.1/src/Csound/Catalog/Wave/WoodwindAlg.hs- return = Rnd . return
csound-expression-dynamic-0.1.4.3/src/Csound/Dynamic/Types/Dep.hs- return = DepT . return
csound-expression-typed-0.0.7.5/src/Csound/Typed/GlobalState/GE.hs- return = GE . return
csound-expression-typed-0.0.7.5/src/Csound/Typed/GlobalState/SE.hs- return = SE . return
csound-expression-typed-0.0.7.5/src/Csound/Typed/Gui/BoxModel.hs- return = Prim
csp-1.0/Control/Monad/CSP.hs- return a = CSP (\_ -> return a)
csp-1.0/Control/Monad/CSP.hs-isBound dv = domain dv >>= return . (== 1) . length
CSPM-Frontend-0.10.0.0/src/Language/CSPM/AlexWrapper.hs- return a = Alex $ \s -> Right (s,a)
csv-conduit-0.6.6/src/Data/CSV/Conduit/Conversion.hs- return a = Parser $ \_kf ks -> ks a
ctpl-0.1.0.1/Text/CTPL.hs- return a = Succ a
ctpl-0.1.0.1/Text/CTPL.hs- return a = CTPL $ \s -> return (a, s, id)
ctpl-0.1.0.1/Text/CTPL0.hs- return a = CTPL0 $ \i k -> Succ (a, k, i)
curves-1.1.0.1/Graphics/Curves/Trie.hs- return x = singleton [] x
dag-0.1.0.2/src/Data/Graph/DAG/Edge/Utils.hs- return = pure
Dangerous-0.3.2/src/Control/Dangerous.hs- return x = Dangerous (Right x, [])
Dangerous-0.3.2/src/Control/Dangerous.hs- return = lift . return
dao-0.1.0.1/src/Dao/Tree.hs- return = UpdateTreeT . return
dao-0.1.0.1/src/Dao/Tree.hs- runStateT (getUpdateTreeStateT (updfn >>= \a -> home >> return a)) (ZipTree{focus=tree, history=[]})
dao-0.1.0.1/src/Dao/StepList.hs- return = slSingletonL
dao-0.1.0.1/src/Dao/Predicate.hs- return = OK
dao-0.1.0.1/src/Dao/Predicate.hs- return a = PredicateT (return (OK a))
dao-0.1.0.1/src/Dao/Binary.hs- return = PutM . return
dao-0.1.0.1/src/Dao/Binary.hs- return = Get . return
dao-0.1.0.1/src/Dao/Parser.hs- return = LexBuilderM . return
dao-0.1.0.1/src/Dao/Parser.hs- Monoid (LexBuilderM a) where { mempty = return mempty; mappend = liftM2 mappend; }
dao-0.1.0.1/src/Dao/Interpreter.hs- return = ToDaoStruct . return
dao-0.1.0.1/src/Dao/Interpreter.hs- return = FromDaoStruct . return
dao-0.1.0.1/src/Dao/Interpreter.hs- return = ObjectFocus . return
dao-0.1.0.1/src/Dao/Interpreter.hs- return = XPure . return
dao-0.1.0.1/src/Dao/Interpreter.hs- return = DaoClassDefM . return
Dao-0.1.0.2/src/Dao/Tree.hs- return = UpdateTreeT . return
Dao-0.1.0.2/src/Dao/Tree.hs- runStateT (getUpdateTreeStateT (updfn >>= \a -> home >> return a)) (ZipTree{focus=tree, history=[]})
Dao-0.1.0.2/src/Dao/StepList.hs- return = slSingletonL
Dao-0.1.0.2/src/Dao/Predicate.hs- return = OK
Dao-0.1.0.2/src/Dao/Predicate.hs- return a = PredicateT (return (OK a))
Dao-0.1.0.2/src/Dao/Binary.hs- return = PutM . return
Dao-0.1.0.2/src/Dao/Binary.hs- return = Get . return
Dao-0.1.0.2/src/Dao/Parser.hs- return = LexBuilderM . return
Dao-0.1.0.2/src/Dao/Parser.hs- Monoid (LexBuilderM a) where { mempty = return mempty; mappend = liftM2 mappend; }
Dao-0.1.0.2/src/Dao/Interpreter.hs- return = ToDaoStruct . return
Dao-0.1.0.2/src/Dao/Interpreter.hs- return = FromDaoStruct . return
Dao-0.1.0.2/src/Dao/Interpreter.hs- return = ObjectFocus . return
Dao-0.1.0.2/src/Dao/Interpreter.hs- return = XPure . return
Dao-0.1.0.2/src/Dao/Interpreter.hs- return = DaoClassDefM . return
darcs-2.10.0/src/Darcs/Patch/ReadMonads.hs- return = returnSM
darcs-2.10.0/src/Darcs/Patch/V1/Commute.hs- return = Succeeded
darcs-2.10.0/src/Darcs/Patch/Prim/V1/Commute.hs- return = Succeeded
darcs-beta-2.7.99.2/src/Darcs/Patch/Prim/V1/Commute.hs- return = Succeeded
darcs-beta-2.7.99.2/src/Darcs/Patch/V1/Commute.hs- return = Succeeded
darcs-beta-2.7.99.2/src/Darcs/Patch/ReadMonads.hs- return = returnSM
darcs-beta-2.7.99.2/src/Darcs/Repository/Internal.hs- return = returnR
darcs-beta-2.7.99.2/src/Darcs/IO.hs- return x = runTM $ return x
darcs-beta-2.7.99.2/src/Darcs/IO.hs- return x = runTM $ return x
darcs-cabalized-2.0.2.2/src/Darcs/FilePathMonad.lhs- return x = FPM $ \fs -> (fs, x)
darcs-cabalized-2.0.2.2/src/Darcs/Patch/Check.lhs- return a = PC( \s -> (s, a) )
darcs-cabalized-2.0.2.2/src/Darcs/Patch/Prim.lhs- return = Succeeded
darcs-cabalized-2.0.2.2/src/Darcs/Patch/Commute.lhs- return = Succeeded
darcs-cabalized-2.0.2.2/src/Darcs/Patch/ReadMonads.hs- return x = SM (\s -> Just (x,s))
darcs-cabalized-2.0.2.2/src/Darcs/Patch/ReadMonads.hs- return x = LM (\s -> (x,s))
darcs-cabalized-2.0.2.2/src/Darcs/HopefullyPrivate.lhs- return a = Hopefully (Actually a)
darcs-cabalized-2.0.2.2/src/Darcs/SlurpDirectory.lhs- return a = SM ( \s -> case s of
darcs-cabalized-2.0.2.2/src/Darcs/IO.lhs- return x = runTM $ return x
darcs-cabalized-2.0.2.2/src/Darcs/IO.lhs- return x = runTM $ return x
data-cycle-0.1.2/Data/Cycle.hs- return = pure
data-fresh-0.2013.251.0/src/Control/Monad/Trans/Fresh/Delta.hs- return x = FreshT $ \s -> return (x, s)
data-fresh-0.2013.251.0/src/Control/Monad/Trans/Fresh/Stream.hs- return x = FreshT $ \s -> return (x, s)
data-ivar-0.30/Data/IVar.hs- return = Reader . return . Left
data-named-0.5.2/Data/Named/Graph.hs- return x = RanM $ \s -> (x, s)
data-object-0.3.1.9/Data/Object.hs- return = Scalar
data-object-yaml-0.3.4.2/Data/Object/Yaml.hs- return = PErrorT . return . Right
data-textual-0.3.0.2/src/Data/Textual.hs- return = pure
ddc-core-0.4.1.3/DDC/Core/Fragment/Compliance.hs- return x = CheckM (Right x)
Deadpan-DDP-0.9.3.0/src/Web/DDP/Deadpan/DSL.hs- return = DeadpanApp . return
debian-3.87.2/Debian/Control/ByteString.hs- return a = Parser (\s -> Ok (a,s))
definitive-base-2.3/Data/Containers/Sequence.hs- return = PMonad . pure
deiko-config-0.5.0.0/Data/Config/Internal/DkM.hs- return a = DkM $ \_ s -> return (a, s)
deka-0.6.0.2/internal/Deka/Internal/Context.hs- return a = Ctx $ \_ -> return a
deka-tests-0.6.0.2/dectest/TestLog.hs- return a = TestLog (S.empty, Good a)
delicious-0.3.4/Network/Delicious/Types.hs- return x = DM $ \ _ -> return x
demarcate-0.1.0/src/Control/Monad/Trans/Demarcate/Internal.hs- return = Demarcate . return
dependent-sum-template-0.0.0.3/src/Data/GADT/Compare/TH.hs- return = GComparing . Right
derive-gadt-0.1.1/lib/Language/Haskell/Derive/Gadt/Unify.hs- return a = Q (return a)
derive-gadt-0.1.1/lib/Language/Haskell/Derive/Gadt/Unify.hs- return a = S (\k -> k a)
Dflow-0.0.1/src/Control/RTSP.hs- return v = RTA $ \ s q t -> (v, s, q, t)
diagrams-hsqml-0.0.0.2/src/Diagrams/Backend/HsQML/DiagramObj/Type.hs- return a = DiagramObj $ \_ -> return a
digestive-functors-0.8.0.0/src/Text/Digestive/Types.hs- return x = Success x
diophantine-0.2.1.0/dist/build/Math/Diophantine/Grammar.hs- return t = Valid t
diophantine-0.2.1.0/Math/Diophantine/Grammar.y- return t = Valid t
direct-binary-files-1.0/BinaryFiles.hs- return a = Identity a
direct-binary-files-1.0/BinaryFiles.hs- return a = BackendSpecificSerialization $ \internals _ _ _ ->
direct-binary-files-1.0/BinaryFiles.hs- return a = BackendSpecificDeserialization $ \internals _ _ _ ->
direct-binary-files-1.0/BinaryFiles.hs- return a = ContextualSerialization $ return a
direct-binary-files-1.0/BinaryFiles.hs- return a = ContextualDeserialization $ return a
direct-murmur-hash-1.0.1/Data/Digest/Murmur3.hs- return a = MakeIdentity a
djinn-2014.9.7/src/LJT.hs- return x = P $ \ s -> [(s, x)]
djinn-lib-0.0.1.2/src/Djinn/LJT.hs- return x = P $ \ s -> [(s, x)]
dlist-0.7.1.1/Data/DList.hs- return x = singleton x
doc-review-0.7.1/src/Config/GetOpt.hs- return = Val
dom-lt-0.1.3/Data/Graph/Dom.hs- return a = S (\k -> k a)
dom-selector-0.2.0.1/Text/XML/Scraping.hs- return = pure
dotgen-0.4.2/Text/Dot.hs- return a = Dot $ \ uq -> ([],uq,a)
dph-lifted-copy-0.7.0.1/Data/Array/Parallel.hs- return x = [:x:]
dph-prim-par-0.7.0.1/Data/Array/Parallel/Unlifted/Distributed/Primitive/DistST.hs- return = DistST . const . return
DPM-0.3.0.0/src/DPM/Core/DPM_Monad.hs- return = DPM . return
drClickOn-0.1/Control/MonadicFRP.hs- return = Done
drClickOn-0.1/Control/MonadicFRP.hs- return a = emitAll (End a)
drClickOn-0.1/Control/MonadicFRP.hs- where ib (h :| t) = return (h :| (t >>= f))
drClickOn-0.1/Control/MonadicFRP.hs- return = End
DrIFT-2.4.2/src/ParseLib2.hs- return v = P (\pos inp -> [(v,inp)])
DrIFT-cabalized-2.3.0/src/ParseLib2.hs- return v = P (\pos inp -> [(v,inp)])
DSH-0.12.0.1/src/Database/DSH/Common/RewriteM.hs- return = returnM
DSTM-0.1.2/Control/Distributed/STM/STM.hs- return x = STM (\state -> return (Success state x))
DysFRP-0.1/Control/DysFRP/Internal.hs- return = ReactM . return
DysFRP-0.1/Control/DysFRP/Internal.hs- return = pure
Earley-0.8.1/Text/Earley/Grammar.hs- return = Return
easyrender-0.1.0.1/Graphics/EasyRender/Internal.hs- return a = Document_Return a
easyrender-0.1.0.1/Graphics/EasyRender/Internal.hs- return (f' >>= g)
easyrender-0.1.0.1/Graphics/EasyRender/Internal.hs- return (x, y, f' >>= g)
easyrender-0.1.0.1/Graphics/EasyRender/Internal.hs- return a = Draw_Return a
easyrender-0.1.0.1/Graphics/EasyRender/Internal.hs- return (f' >>= g)
easyrender-0.1.0.1/Graphics/EasyRender/Internal.hs- return a = Writer_Return a
easyrender-0.1.0.1/Graphics/EasyRender/Internal.hs- return a = Boxed (return a)
Ebnf2ps-1.0.12/dist/build/ebnf2ps/ebnf2ps-tmp/Ebnf2psParser.hs- return = HappyIdentity
ede-0.2.8.2/src/Text/EDE/Internal/Types.hs- return = Success
edenmodules-1.2.0.0/Control/Parallel/Eden/EdenConcHs.hs- return b = PA $ return b
EdisonCore-1.2.2.1/src/Data/Edison/Seq/FingerSeq.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/BankersQueue.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/BankersQueue.hs- return (let i = L.size xs
EdisonCore-1.2.2.1/src/Data/Edison/Seq/SimpleQueue.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/BraunSeq.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/BinaryRandList.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/RandList.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/JoinList.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/MyersStack.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/SizedSeq.hs- return = singleton
EdisonCore-1.2.2.1/src/Data/Edison/Seq/RevSeq.hs- return = singleton
EditTimeReport-1.0/QueryAST.hs- return = Ok
effect-monad-0.6.1/src/Control/Effect/Monad.hs- return x = Wrap (P.return x)
effect-monad-0.6.1/examples/WriterM.hs- return a = Writer (a, mempty)
effect-monad-0.6.1/examples/WriterM.hs- return a = Writer (a, Nothing)
effects-0.2.2/src/Control/Effects.hs- return a = Layer $ \k -> k a
effects-0.2.2/src/Control/Effects.hs- return = Pure
effects-0.2.2/src/Control/Effects.hs- return = Base . return
effin-0.2.1.3/src/Control/Monad/Effect.hs- return = pure
effin-0.2.1.3/src/Control/Effect/Reader.hs-stateReader = eliminate return (\Ask k -> get >>= k)
ehs-0.7.0/src/Ehs.hs- return = Id
either-4.4.1/src/Control/Monad/Trans/Either.hs- return a = EitherT $ return (Right a)
EitherT-0.2.0/src/Control/Monad/Trans/Either.hs- return = EitherT . return . Right
elerea-2.8.0/FRP/Elerea/Simple.hs- return x = SG $ \_ -> return x
elerea-2.8.0/FRP/Elerea/Param.hs- return x = SG $ \_ _ -> return x
elerea-2.8.0/FRP/Elerea/Clocked.hs- return x = SG $ \_ _ -> return x
emgm-0.4/src/Generics/EMGM/Functions/UnzipWith.hs- return a = Id a
Encode-1.3.7/Parsek.hs- return a =
Encode-1.3.7/PureFP/Parsers/Stream.hs- return a = a ::: Nil
Encode-1.3.7/PureFP/Parsers/Standard.hs- return a = Std (\inp -> [(inp,a)])
Encode-1.3.7/PureFP/Parsers/PairTrie.hs- return a = (p ::: zero) :&: p
Encode-1.3.7/PureFP/Parsers/AmbTrie.hs- return a = [a] :&: emptyMap
Encode-1.3.7/PureFP/Parsers/AmbExTrie.hs- return a = [a] :&: emptyMap
Encode-1.3.7/PureFP/Parsers/ExTrie.hs- return a = a ::: zero
Encode-1.3.7/PureFP/Parsers/Trie.hs- return a = a ::: zero
Encode-1.3.7/Encode/Mapper.hs- return a = Node [a] emptyMap
Encode-1.3.7/Encode/Extend.hs- return a = Ext (\ inp -> [(inp, a)])
encoding-0.8/Data/Encoding/ByteSink.hs- return x = PutME $ Right (return (),x)
encoding-0.8/Data/Encoding/ByteSink.hs- return x = Right x
encoding-0.8/Data/Encoding/ByteSink.hs- return x = StrictS $ \cstr pos max -> return (x,cstr,pos,max)
encoding-0.8/Data/Encoding/ByteSink.hs- return = StrictSinkE . return . Right
encoding-0.8/Data/Encoding/ByteSink.hs- return = (StrictSinkExplicit).return.Right
encoding-0.8/Data/Encoding/ByteSource.hs- return = Right
enumfun-0.5.1.0/include/enumfun.inc- return = pure
Eq-1.1.3/Language/Eq/EvaluationContext.hs- return a = EqContext $ \c -> (c, a)
equivalence-0.3.1/src/Data/Equivalence/Monad.hs- return = EquivT . return
error-continuations-0.1.0.0/src/Control/Monad/Trans/EitherCont.hs- return = pure
error-continuations-0.1.0.0/src/Control/Monad/Trans/MaybeCont.hs- return = pure
errors-2.0.0/Data/EitherR.hs- return e = EitherR (Left e)
errors-2.0.0/Data/EitherR.hs- return e = ExceptRT (throwE e)
esqueleto-2.2.3/src/Database/Esqueleto/Internal/Sql.hs- return = Q . return
ethereum-client-haskell-0.0.4/src/Blockchain/JCommand.hs- return x = Unique $ \val -> (val, x)
Euterpea-1.0.0/HSoM/Monads.lhs-m >>= return = m
Euterpea-1.0.0/HSoM/Monads.lhs-do x <- return a ; k x = k a
Euterpea-1.0.0/HSoM/Monads.lhs-do x <- m ; return x = m
Euterpea-1.0.0/HSoM/Monads.lhs- return = Just
Euterpea-1.0.0/HSoM/Monads.lhs- return x = [x]
event-driven-0.0.2/Control/Talk.hs- return a = Terminus $ \_ t -> ( a, t )
ewe-0.1.0.40/dist/build/ewe/ewe-tmp/Language/EWE/Scanner.hs- return a = Alex $ \s -> Right (s,a)
exceptional-0.1.4.3/Control/Exceptional.hs- return = pure
exceptions-0.8.0.2/src/Control/Monad/Catch/Pure.hs- return a = CatchT (return (Right a))
exception-transformers-0.4.0.1/Control/Monad/Exception.hs- return a = ExceptionT $ return (Right a)
expiring-cache-map-0.0.5.4/Caching/ExpiringCacheMap/Utils/TestSequence.hs- return ret =
explicit-exception-0.1.7.3/src/Control/Monad/Label.hs- return a = Label $ \_ -> a
explicit-exception-0.1.7.3/src/Control/Monad/Label.hs- return a = LabelT $ \_ -> return a
explicit-exception-0.1.7.3/src/Control/Monad/Exception/Warning.hs- return = Warnable [] -- [Nothing]?
explicit-exception-0.1.7.3/src/Control/Monad/Exception/Warning.hs- return = WarnableT . return . return
explicit-exception-0.1.7.3/src/Control/Monad/Exception/Synchronous.hs- return = Success
explicit-exception-0.1.7.3/src/Control/Monad/Exception/Synchronous.hs- return = ExceptionalT . return . return
explicit-exception-0.1.7.3/src/Control/Monad/Exception/Asynchronous/Lazy.hs- return = pure
explicit-exception-0.1.7.3/src/Control/Monad/Exception/Asynchronous/Lazy.hs- return = ExceptionalT . return . return
explicit-exception-0.1.7.3/src/Control/Monad/Exception/Asynchronous/Strict.hs- return = pure
explicit-exception-0.1.7.3/src/Control/Monad/Exception/Asynchronous/Strict.hs- return = ExceptionalT . return . return
explicit-sharing-0.9/Test.hs- convert (x,y) = return (,) `ap` (x >>= convert) `ap` (y >>= convert)
explicit-sharing-0.9/Control/Monad/Sharing/Implementation/CPS.hs- return x = Lazy (\c -> c x)
exposed-containers-0.5.5.1/Data/Graph.hs- return x = SetM $ const (return x)
exposed-containers-0.5.5.1/Data/Graph.hs- return x = SetM $ \s -> (x, s)
exposed-containers-0.5.5.1/Data/Tree.hs- return x = Node x []
exposed-containers-0.5.5.1/Data/Sequence.hs- return = singleton
exposed-containers-0.5.5.1/Data/Sequence.hs- return = Id
exposed-containers-0.5.5.1/Data/Sequence.hs- return x = State $ \ s -> (s, x)
exposed-containers-0.5.5.1/tests/seq-properties.hs- return x = Action 0 x
extcore-1.0.2/Language/Core/Check.hs- return = OkC
extcore-1.0.2/Language/Core/DebugPrinter.hs- return = Right
extended-categories-0.2.0/Monad/Free.hs- return = Pure
extensible-effects-1.11.0.0/src/Control/Monad/Free/Reflection.hs- return = freePure
faceted-0.0.2.0/Data/Faceted/Internal.hs- return x = Raw x
faceted-0.0.2.0/Data/Faceted/Internal.hs- return x = FIO (\pc -> return x)
FailureT-15778.1/Control/Monad/Failure.hs- return = lift ∘ return;
fay-0.23.1.6/examples/Cont.hs- let return a = ContT (\f -> f a)
fay-0.23.1.6/examples/Cont.hs- in CC return (>>=) (>>) callCC lift where (>>=*) = (>>=)
fay-0.23.1.6/tests/Monad2.hs-stateMonad = Monad return (>>=) (>>) where
fay-0.23.1.6/tests/Monad2.hs- return = \x -> State ( \st -> (x, st) )
feldspar-language-0.7/src/Feldspar/Option.hs- return = some
fenfire-0.1/_darcs/pristine/Preprocessor/Hsx/Transform.hs- return x = MkHsxM (\s -> (x,s))
fenfire-0.1/_darcs/pristine/Preprocessor/Hsx/Transform.hs- return a = RN $ \s -> (a,s)
fenfire-0.1/_darcs/pristine/Preprocessor/Hsx/Transform.hs- return a = Tr $ \s -> return (a, s)
fenfire-0.1/_darcs/pristine/Utils.hs- return = BreadthT . return
fenfire-0.1/_darcs/pristine/Utils.hs- return x = MaybeT $ return (Just x)
fenfire-0.1/Preprocessor/Hsx/Transform.hs- return x = MkHsxM (\s -> (x,s))
fenfire-0.1/Preprocessor/Hsx/Transform.hs- return a = RN $ \s -> (a,s)
fenfire-0.1/Preprocessor/Hsx/Transform.hs- return a = Tr $ \s -> return (a, s)
fenfire-0.1/Utils.hs- return = BreadthT . return
fenfire-0.1/Utils.hs- return x = MaybeT $ return (Just x)
ffeed-0.3.2/FriendFeed/Monad.hs- return x = FFm (\ _ -> return x)
ffeed-0.3.2/FriendFeed/Types/Import.hs- return x = JM (\ _ _ -> return x)
fgl-5.5.1.0/Data/Graph/Inductive/Query/Monad.hs- return x = MGT (\mg->do {g<-mg; return (x,g)})
find-conduit-0.4.3/Data/Cond.hs- return = CondT . return . accept'
fingertree-0.1.1.0/tests/ft-properties.hs- return x = M $ \ n -> (n, x)
fixed-list-0.1.6/src/Data/FixedList.hs- return x = x :. return x
fixed-list-0.1.6/src/Data/FixedList.hs- return _ = Nil
fixed-vector-0.8.0.0/Data/Vector/Fixed/Cont.hs- return = pure
fixed-vector-hetero-0.3.1.0/Data/Vector/HFixed/Class.hs- return = pure
fixed-vector-hetero-0.3.1.0/Data/Vector/HFixed/Class.hs- return = pure
fixplate-0.1.5/Data/Generics/Fixplate/Misc.hs- return a = state $ \s -> (s,a)
fixplate-0.1.5/Data/Generics/Fixplate/Base.hs- return x = CoAttrib (Fix (Pure x))
flexiwrap-0.1.0/Data/Wrap.hs- return = wrap
flexiwrap-0.1.0/Data/Wrap.hs- return = InnerWrapT . return . wrap
flexiwrap-0.1.0/Data/Wrap.hs- return = OuterWrapT . wrap . return
flexiwrap-0.1.0/Data/Flex/Wrap.hs- return = FlexiWrap
flexiwrap-0.1.0/Data/Flex/WrapCTC.hs- return = unwrapReturn $
flexiwrap-0.1.0/Data/Flex/WrapT.hs- return = unwrapReturn $
flexiwrap-0.1.0/Data/Flex/Test/WrappedMonad.hs- return = TM . return
flickr-0.3.3/Flickr/Monad.hs- return x = FM (\ _ -> return x)
flite-0.1.2/Flite/Fresh.hs- return a = Fresh (\s i -> (i, a))
flite-0.1.2/Flite/Identity.hs- return a = I a
flite-0.1.2/Flite/Writer.hs- return a = W [] a
flite-0.1.2/Flite/Predex.hs- return a = Count $ \n -> (n, a)
flite-0.1.2/Flite/State.hs- return a = S (\s -> (s, a))
flite-0.1.2/Flite/WriterState.hs- return a = WS $ \s -> (s, [], a)
flow2dot-0.9.0.3/Text/Dot.hs- return a = Dot $ \ uq -> ([],uq,a)
fmlist-0.9/Data/FMList.hs- return = one
FM-SBLEX-3.0.1/src/lib/Dict/ErrM.hs- return = Ok
folds-0.6.2/src/Data/Fold/L'.hs- return = pure
folds-0.6.2/src/Data/Fold/L.hs- return = pure
folds-0.6.2/src/Data/Fold/L1'.hs- return x = L1' (\() -> x) (\() _ -> ()) (\_ -> ())
folds-0.6.2/src/Data/Fold/L1.hs- return x = L1 (\() -> x) (\() _ -> ()) (\_ -> ())
folds-0.6.2/src/Data/Fold/M.hs- return = pure
folds-0.6.2/src/Data/Fold/M1.hs- return x = M1 (\() -> x) (\_ -> ()) (\() () -> ())
folds-0.6.2/src/Data/Fold/R.hs- return b = R (\() -> b) (\_ () -> ()) ()
folds-0.6.2/src/Data/Fold/R1.hs- return x = R1 (\() -> x) (\_ () -> ()) (\_ -> ())
Folly-0.1.3.0/src/Folly/Utils.hs- return a = Succeeded a
formal-0.1.0/src/hs/Formal/Optimize.hs- return x = Optimizer (\y -> (y, x))
formal-0.1.0/src/hs/Formal/TypeCheck/Types.hs- return x = Z x
formal-0.1.0/src/hs/Formal/TypeCheck/Types.hs- return x = TI (\y -> (y, x))
forml-0.2/src/hs/Forml/Optimize.hs- return x = Optimizer (\y -> (y, x))
forml-0.2/src/hs/Forml/TypeCheck/Types.hs- return = Z
forml-0.2/src/hs/Forml/TypeCheck/Types.hs- return x = TI (\y -> (y, x))
fpco-api-1.2.0.5/src/library/FP/API/Types.hs- return = Success
fpco-api-1.2.0.5/src/library/FP/API/Types.hs-eitherFail = (either failure return =<<)
fpco-api-1.2.0.5/src/library/FP/API/Types.hs- return = lift . return
frag-1.1.2/src/AFRPTask.hs- return x = Task (\k -> k x)
frag-1.1.2/src/AFRPTask.hs- return x >>= f
franchise-0.0.6/Distribution/Franchise/ConfigureState.hs- return x = C (\cs -> return $ Right (x, cs))
free-4.12.1/doc/proof/Control/Comonad/Trans/Cofree/instance-Applicative-CofreeT.md- return = CofreeT . return . (:< empty)
free-4.12.1/doc/proof/Control/Comonad/Trans/Cofree/instance-Applicative-CofreeT.md- (wa >>= (\a -> return (bimap f (fmap f) a) >>= \(b :< n) ->
free-4.12.1/doc/proof/Control/Comonad/Trans/Cofree/instance-Monad-CofreeT.md- return = CofreeT . return . (:< empty)
free-4.12.1/src/Control/Comonad/Cofree.hs- return x = x :< empty
free-4.12.1/src/Control/Comonad/Trans/Cofree.hs- return = CofreeT . return . (:< empty)
free-4.12.1/src/Control/Monad/Free.hs- return = Pure
free-4.12.1/src/Control/Monad/Free.hs--- prop> cutoff (n+1) . return == return . Just
free-4.12.1/src/Control/Monad/Free/Church.hs- return a = F (\kp _ -> kp a)
free-4.12.1/src/Control/Monad/Trans/Free.hs- return a = FreeT (return (Pure a))
free-4.12.1/src/Control/Monad/Trans/Free.hs- Free w -> return (Free (fmap (>>= f) w))
free-4.12.1/src/Control/Monad/Trans/Iter.hs- return = IterT . return . Left
free-4.12.1/src/Control/Monad/Trans/Free/Church.hs- return = pure
free-functors-0.6.4.1/src/Data/Functor/Free.hs- return = unit
free-functors-0.6.4.1/src/Data/Functor/HFree.hs- return a = HFree $ const (return a)
free-functors-0.6.4.1/src/Data/Functor/HFree.hs--- F.e. lift . return == return fails if the results are inspected with rightAdjunct (const Nothing).
free-game-1.1.81/FreeGame/Internal/Finalizer.hs- return a = FinalizerT $ \p _ -> p a
freesect-0.8/HSE/Pretty.hs- return = retDocM
freesect-0.8/HSE/ParseMonad.hs- return = ParseOk
freesect-0.8/HSE/ParseMonad.hs- return a = P $ \_i _x _y _l s _m -> Ok s a
freesect-0.8/HSE/ParseMonad.hs- return a = Lex $ \k -> k a
freesect-0.8/HSE/Annotated/ExactPrint.hs- return x = EP $ \l cs -> (x, l, cs, id)
free-theorems-counterexamples-0.3.1.0/Language/Haskell/FreeTheorems/Variations/CounterExamples/Internal/M.hs- return a = M (\s -> [(a,s)])
free-theorems-seq-1.0/src/Language/Haskell/FreeTheorems/Variations/PolySeq/M.hs- return a = M (\s -> [(a,s)])
fst-0.10.0.1/FST/Parse.hs- return = returnE
functor-combo-0.3.6/src/FunctorCombo/Functor.hs- return a = return a :*: return a
functor-combo-0.3.6/src/FunctorCombo/Pair.hs- return = pure
FunGEn-0.4.6.1/Graphics/UI/Fungen/Game.hs- return = unitST
funsat-0.6.2/src/Funsat/Monad.hs- return x = SSTErrMonad ($ x)
future-resource-0.4.0.0/Control/Future.hs- return = pure
game-probability-1.1/Numeric/Probability/Game/Cards/Hand.hs- return x = Done x
gang-of-threads-3.2.1/Control/Concurrent/Bag/Task.hs- return = TaskIO . return
gang-of-threads-3.2.1/Control/Concurrent/Bag/BagT.hs- return = BagT . return
generator-0.5.5/src/Control/Monad/Generator.hs- return = GeneratorT . return
genericserialize-0.1/Data/Generics/Serialization/Streams.hs- return x = LB id x
genericserialize-0.1/Data/Generics/Serialization/Streams.hs- return x = LR (\l -> Just (l, x))
generics-sop-0.1.1.2/src/Generics/SOP/BasicFunctors.hs- return = I
getopt-generics-0.7.1/src/System/Console/GetOpt/Generics/Result.hs- return = pure
gf-3.6/src/binary/Data/Binary/Get.hs- return a = Get (\s -> (a, s))
gf-3.6/src/binary/Data/Binary/Put.hs- return a = Put $ PairS a mempty
gf-3.6/src/compiler/GF/Compile/GenerateBC.hs- return x = GenM (\fm cm is -> (x,cm,is))
gf-3.6/src/compiler/GF/Compile/GeneratePMCFG.hs- return a = CM (\gr c s -> c a s)
gf-3.6/src/compiler/GF/Compile/TypeCheck/ConcreteNew.hs- return x = TcM (\ms msgs -> TcOk x ms msgs)
gf-3.6/src/compiler/GF/Data/BacktrackM.hs- return a = BM (\c s b -> c a s b)
gf-3.6/src/compiler/GF/Data/ErrM.hs- return = Ok
gf-3.6/src/compiler/GF/Data/Operations.hs- return a = STM (\s -> return (a,s))
gf-3.6/src/compiler/GF/Grammar/Lexer.x- return a = a `seq` (P $ \s -> POk a)
gf-3.6/src/compiler/GF/Infra/CheckM.hs- return x = Check $ \{-ctxt-} ws -> (ws,Success x)
gf-3.6/src/compiler/GF/Infra/SIO.hs- return x = SIO (const (return x))
gf-3.6/src/compiler/GF/Infra/UseIO.hs- return a = ioe (return (return a))
gf-3.6/src/runtime/haskell/PGF/TypeCheck.hs- return x = TcM (\abstr k h -> k x)
gf-3.6/src/tools/c/GFCC/ErrM.hs- return = Ok
gf-3.6/treebanks/PennTreebank/Monad.hs- return x = P (\gr pgf m ts -> Just (x,ts))
gf-3.6/treebanks/susanne/Parser.hs- return x = P (\pgf morpho ts -> Just (ts, x))
gf-3.6/treebanks/talbanken/MonadSP.hs- return x = P $ \gr pgf m ts -> return (Just (x,ts))
ggtsTC-0.5/src/ErrMsg.hs- return x = OK x
ghci-haskeline-0.2/GhciHaskeline/GhciMonad.hs- return a = GHCi $ \_ -> return a
ghci-haskeline-0.2/GhciHaskeline612/GhciMonad.hs- return a = GHCi $ \_ -> return a
ghci-ng-7.6.3.5/ghc/GhciMonad.hs- return a = GHCi $ \_ -> return a
ghc-parmake-0.1.8/src/Distribution/Compat/ReadP.hs- return x = Result x Fail
ghc-parmake-0.1.8/src/Distribution/Compat/ReadP.hs- return x = R (\k -> k x)
ginsu-0.8.1/Text/ParserCombinators/ReadP/ByteString.hs- return x = Result x Fail
ginsu-0.8.1/Text/ParserCombinators/ReadP/ByteString.hs- return x = R (\k -> k x)
ginsu-0.8.1/CacheIO.hs- return a = CacheIO (return (a, []))
ginsu-0.8.1/Boolean/Boolean.hs- return x = BoolJust x
ginsu-0.8.1/SimpleParser.hs- return a = MkP (\s -> (Just (a,s)))
gitlib-3.1.0.2/Git/Tree/Builder.hs- return x = TreeT (return x)
gitlib-libgit2-3.1.0.5/Git/Libgit2.hs- facts = return Git.RepositoryFacts { Git.hasSymbolicReferences = True }
GLFW-0.5.2.2/Setup.hs- return a = StateT $ \s -> return (a, s)
gll-0.2.0.3/src/GLL/Parser.hs- return a = GLL $ \p -> (a, p)
goatee-0.3.0/src/Game/Goatee/Lib/Monad.hs- return x = GoT $ return x
GotoT-transformers-1.0.0.1/Control/Monad/Trans/Goto.hs- return = GotoT . return . Right
grammar-combinators-0.2.7/Text/GrammarCombinators/Parser/TopDown.hs- return v = MkNBR $ \_ -> return v
graphbuilder-0.1.0.0/src/Data/Graph/Builder.hs- return a = GraphBuilder (return a)
graph-rewriting-0.7.6/GraphRewriting/Graph/Internal.hs-readEdge (Edge e) = maybe (fail $ "readEdge: edge with ID " ⧺ show e ⧺ " does not exist") return . readRef e =<< asks edgeMap
graphs-0.6.0.1/src/Data/Graph/AdjacencyList.hs- return = AdjacencyList . const
graphs-0.6.0.1/src/Data/Graph/AdjacencyMatrix.hs- return = AdjacencyMatrix . const
graphs-0.6.0.1/src/Data/Graph/Algorithm.hs- return = pure
graphs-0.6.0.1/src/Data/Graph/Dual.hs- return = Dual . return
graph-serialize-0.2/Data/Serialize/References.hs- return a = BuildM $ \s nr nl k -> k s nr nl a
graphviz-2999.17.0.2/Data/GraphViz/Types/Monadic.hs- return = pure
greencard-3.0.4.2/src/LexM.lhs- return = returnLexM
greencard-3.0.4.2/src/MarshallMonad.lhs- return a = MarshallM (\ _env st -> Succeeded (a,st))
greencard-3.0.4.2/src/MarshallMonad.lhs- return (vs,st{ma_ns=ns}))
greencard-3.0.4.2/src/MarshallMonad.lhs- return (vs, st{ma_ns=ns}))
greencard-3.0.4.2/src/FillInMonad.lhs- return = returnFilM
greencard-3.0.4.2/src/NameSupply.lhs- return a = NSM (\ns -> (a, ns))
greencard-3.0.4.2/src/ErrMonad.lhs- return v = Succeeded v
greencard-3.0.4.2/src/Proc.lhs- return v = PM (\ x -> (x, return v))
Grempa-0.2.2/Data/Parser/Grempa/Grammar/Levels.hs- return = ReverseT . return
grm-0.1.1/Grm/Lex.hs- return a = M $ \st -> (Right a, st)
gstreamer-0.12.5.0/Media/Streaming/GStreamer/Core/Types.chs- return a = StructureM $ const $ return a
gtk2hs-buildtools-0.13.0.3/c2hs/base/state/StateBase.hs- return = yield
gtk2hs-buildtools-0.13.0.3/c2hs/base/state/StateTrans.hs- return = yield
gtk2hs-buildtools-0.13.0.3/c2hs/c/CParserMonad.hs- return = returnP
guarded-rewriting-0.1/performance/Common/LogicStrategies.hs- return x = S x mzero
hackage-server-0.5.0/Distribution/Server/Framework/BackupRestore.hs- return = RestoreDone
hackage-server-0.5.0/Distribution/Server/Features/EditCabalFiles.hs- return = CheckM . return
hackport-0.4.5/cabal/cabal-install/Distribution/Client/Tar.hs- return = Ok
hackport-0.4.5/cabal/cabal-install/Distribution/Client/Dependency/Types.hs- return a = Done a
hackport-0.4.5/cabal/Cabal/Distribution/Simple/BuildTarget.hs- return a = ExactMatch 0 [a]
hackport-0.4.5/cabal/Cabal/Distribution/ParseUtils.hs- return = ParseOk []
hackport-0.4.5/cabal/Cabal/Distribution/PackageDescription/Parse.hs- return a = StT (\s -> return (a,s))
hackport-0.4.5/cabal/Cabal/Distribution/Compat/ReadP.hs- return x = Result x Fail
hackport-0.4.5/cabal/Cabal/Distribution/Compat/ReadP.hs- return x = R (\k -> k x)
hackport-0.4.5/Progress.hs- return a = Done a
haddock-2.16.0/haddock-library/vendor/attoparsec-0.12.1.1/Data/Attoparsec/Internal/Types.hs- return v = Parser $ \t pos more _lose succ -> succ t pos more v
haddock-2.16.0/haddock-api/src/Haddock/Types.hs- return a = Writer (a, [])
haddock-2.16.0/haddock-api/src/Haddock/Types.hs- return a = WriterGhc (return (a, []))
haddock-2.16.0/haddock-api/src/Haddock/Interface/Rename.hs- return = returnRn
haddock-api-2.16.0/src/Haddock/Types.hs- return a = Writer (a, [])
haddock-api-2.16.0/src/Haddock/Types.hs- return a = WriterGhc (return (a, []))
haddock-api-2.16.0/src/Haddock/Interface/Rename.hs- return = returnRn
haddock-leksah-2.6.0/src/Haddock/Types.hs- return a = Writer (a, [])
haddock-leksah-2.6.0/src/Haddock/Types.hs- return a = WriterGhc (return (a, []))
haddock-leksah-2.6.0/src/Haddock/Interface/Rename.hs- return = returnRn
haddock-leksah-2.6.0/src/Haddock/Interface/Rn.hs:instance Monad Id where (Id v)>>=f = f v; return = Id
haddock-library-1.2.0/vendor/attoparsec-0.12.1.1/Data/Attoparsec/Internal/Types.hs- return v = Parser $ \t pos more _lose succ -> succ t pos more v
hadoop-rpc-1.0.0.1/src/Network/Hadoop/Hdfs.hs- return = Hdfs . const . return
hails-0.11.2.1/Hails/Web/Router.hs- return a = Route (const . const . const . const $ return Nothing) a
hakaru-0.1.4/Language/Hakaru/ImportanceSampler.hs- return x = Measure (\conds -> deterministic (point (x,conds) 1))
hakaru-0.1.4/Language/Hakaru/Metropolis.hs- return = return_
hakyll-4.7.0.0/src/Hakyll/Core/Compiler/Internal.hs- return x = Compiler $ \_ -> return $ CompilerDone x mempty
HaLeX-1.2.1/HaLeX_lib/Language/HaLex/DfaMonad.lhs- return x = State f
halfs-2.0/Halfs/Classes.hs- return a = TimedT $ \ _ -> return a
halfs-2.0/Halfs/Monad.hs- return = HalfsT . return . Right
hans-2.5.0.0/src/Hans/Layer.hs- return a = Layer (\i o _ _ k -> k a i o)
hans-2.5.0.0/src/Hans/Layer/Tcp/Monad.hs- return = pure
HAppS-Server-0.9.3.1/src/HAppS/Server/SimpleHTTP.hs- return x = ServerPartT $ \_ -> return x
HAppS-Server-0.9.3.1/src/HAppS/Server/SimpleHTTP.hs- return x = WebT $ return (Ok id x)
HAppS-Server-0.9.3.1/src/HAppS/Server/SimpleHTTP.hs- = listen conf (\req -> runValidator (fromMaybe return (validator conf)) =<< simpleHTTP' hs req)
HAppS-State-0.9.3/src/HAppS/State/Monad.hs- return x = Ev $ return x
HAppS-State-0.9.3/src/HAppS/State/Monad.hs- return x = Ev $ \_ -> return x
happstack-dlg-0.1.2/src/Happstack/Server/Dialogues.hs- return = Done
happstack-dlg-0.1.2/src/Happstack/Server/Dialogues.hs- Action x >>= y = Action (x >>= return . (>>= y))
happstack-dlg-0.1.2/src/Happstack/Server/Dialogues.hs- return (diffUTCTime ct st <= timeout)
happstack-server-7.4.4/src/Happstack/Server/Internal/Monads.hs- return a = WebT $ return a
happstack-state-6.1.4/src/Happstack/State/Monad.hs- return x = Ev $ \_ -> return x
happy-1.19.5/examples/igloo/ParserM.hs- return a = ParserM $ \i -> return (i, a)
happy-1.19.5/templates/GLR_Lib.hs- return a = MkST $ \s i -> (a,s,i)
HARM-0.1.4/Arm/ParseLib.hs- return v = P (\inp -> [(v,inp)])
harp-0.4/Harp/Match.hs- return x = Match (\es -> [(x, es)])
harp-0.4/Harp/Match.hs- return x = Return x Fail
harp-0.4/Harp/Match.hs- return x = Match (\k -> k x)
harpy-0.6.0.2/Harpy/CodeGenMonad.hs- return x = cgReturn x
hasim-0.1.2/src/Control/Hasim/Process.hs- return = Prim . Ret
haskeline-0.7.2.1/System/Console/Haskeline/Command.hs- return = Result
haskeline-0.7.2.1/System/Console/Haskeline/Monads.hs- return x = StateT $ \s -> return $ \f -> f x s
haskeline-0.7.2.1/System/Console/Haskeline/Backend/Terminfo.hs- return Layout {height=r,width=c}
haskell-awk-1.1/src/Control/Monad/Trans/OptionParser.hs- return = OptionParserT . return
haskell-awk-1.1/src/Control/Monad/Trans/Uncertain.hs- return = UncertainT . return
haskell-cnc-0.1.3.200/Intel/CncPure.hs- return x = CC$ \w nt ni -> (Just x, Done nt ni)
haskell-cnc-0.1.3.200/Intel/CncPure.hs- return x = GC$ \ w g it -> (w,g,it, x)
haskelldb-2.2.4/src/Database/HaskellDB/Query.hs- return x = Query (\q0 -> (x,q0))
HaskellForMaths-0.4.8/Math/Algebras/Commutative.hs- return x = Glex 1 [(x,1)]
HaskellForMaths-0.4.8/Math/Algebras/Commutative.hs--- |In effect, we have (Num k, Monomial m) => Monad (\v -> Vect k (m v)), with return = var, and (>>=) = bind.
HaskellForMaths-0.4.8/Math/Algebras/VectorSpace.hs- return a = V [(a,1)]
haskell-formatter-1.0.0/src/library/Language/Haskell/Formatter/Result.hs- return = Result . return
haskell-neo4j-client-0.3.1.2/src/Database/Neo4j/Types.hs- return x = Neo4j (const (return x))
HaskellNet-0.4.4/src/Text/Packrat/Parse.hs- return = pure
haskell-src-1.0.2.0/Language/Haskell/Pretty.hs- return = retDocM
haskell-src-1.0.2.0/Language/Haskell/ParseMonad.hs- return = ParseOk
haskell-src-1.0.2.0/Language/Haskell/ParseMonad.hs- return a = P $ \_i _x _y _l s _m -> Ok s a
haskell-src-1.0.2.0/Language/Haskell/ParseMonad.hs- return a = Lex $ \k -> k a
haskell-src-exts-1.16.0.1/src/Language/Haskell/Exts/Pretty.hs- return = retDocM
haskell-src-exts-1.16.0.1/src/Language/Haskell/Exts/ParseMonad.hs- return = ParseOk
haskell-src-exts-1.16.0.1/src/Language/Haskell/Exts/ParseMonad.hs- return a = P $ \_i _x _y _l s _m -> Ok s a
haskell-src-exts-1.16.0.1/src/Language/Haskell/Exts/ParseMonad.hs- return a = Lex $ \k -> k a
haskell-src-exts-1.16.0.1/src/Language/Haskell/Exts/Annotated/ExactPrint.hs- return x = EP $ \l cs -> (x, l, cs, id)
haskell-type-exts-0.1.0/src/Language/Haskell/TypeCheck/Monad.hs- return x = Tc (\_env -> return (Right x))
haskhol-core-1.1.0/src/HaskHOL/Core/State/Monad.hs- return x = HOL $ \ _ _ -> return x
haskoin-util-0.0.1.1/Network/Haskoin/Util/BuildMonad.hs- return = Complete
haskoin-util-0.0.1.1/Network/Haskoin/Util/BuildMonad.hs- return = lift . return
haskore-supercollider-0.3/src/Haskore/Interface/SuperCollider/Schedule/Install.hs- return = Environment . return
haskore-supercollider-0.3/src/Haskore/Interface/SuperCollider/Schedule/Channel.hs- return = Environment . return
haskore-vintage-0.2/src/Haskore/Monads.hs- return a = SR (\s -> a)
haskore-vintage-0.2/src/Haskore/Monads.hs- return a = S (\s -> (a,s))
haskore-vintage-0.2/src/Haskore/Monads.hs- return a = IOS (\s -> return (a,s))
haskore-vintage-0.2/src/Haskore/Monads.hs- return a = O (a, \s -> s)
haskore-vintage-0.2/src/Haskore/Monads.hs- return a = CPS (\c -> c a)
hasktags-0.69.1/testcases/testcase9.hs- return = const
hasktags-0.69.1/testcases/testcase9.hs- return x = [x]
hasktags-0.69.1/testcases/testcase9.hs- return = returnIO
hasktags-0.69.1/testcases/testcase10.hs- return = ResourceT . const . return
hasktags-0.69.1/testcases/testcase10.hs- return = pure
hasktags-0.69.1/testcases/testcase11.hs- return = const
haste-compiler-0.4.4.4/src/Data/JSTarget/Traversal.hs- return x = T $ \js -> (js, x)
haste-compiler-0.4.4.4/src/Data/JSTarget/PP.hs- return x = PP $ \_ _ ns _ b -> (ns, b, x)
haste-compiler-0.4.4.4/src/Data/JSTarget/AST.hs- return x = AST x M.empty
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/Parsing.hs- return x = Parse $ \s -> Just (s, x)
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/Serialize.hs- return = Parser . return
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/Graphics/Canvas.hs- return x = Picture $ \_ -> return x
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/Graphics/Canvas.hs- return x = Shape $ \_ -> return x
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/App/Monad.hs- return x = App $ \c _ cid exports -> return (x, cid, exports, c)
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/App/Monad.hs- return _ = Server
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/App/Monad.hs- return x = Server $ \_ _ -> return x
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/App/Client.hs- return x = Client $ \_ -> return x
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/Concurrent/Monad.hs- return x = C $ \next -> next x
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/Binary/Put.hs- return x = PutM $ \_ -> return x
haste-compiler-0.4.4.4/libraries/haste-lib/src/Haste/Binary/Get.hs- return x = Get $ \_ next -> Right (next, x)
haste-markup-0.0.1.0/src/Haste/Markup/Internal.hs- return _ = Empty
haste-perch-0.1.0.9/Haste/Perch.hs- return = mempty
haste-perch-0.1.0.9/Haste/App/Perch.hs- return = mempty
hat-2.8.0.0/libraries/PreludeBasic.hs- return = Just
hat-2.8.0.0/libraries/PreludeBasic.hs- return = primIOReturn
hat-2.8.0.0/libraries/PreludeBasic.hs- return x = [x]
hat-2.8.0.0/tools/ParseLib.hs- return v = P (\inp -> [(v,inp)])
HaTeX-3.16.1.1/Text/LaTeX/Packages/TikZ/PathBuilder.hs- return = pure
HaTeX-3.16.1.1/Text/LaTeX/Base/Writer.hs- return = LaTeXT . return
hatex-guide-1.3.1.0/src/monad.htxg- return = inject
Hawk-0.0.2/src/Control/Monad/Either.hs- return = Right
Hawk-0.0.2/src/Control/Monad/Either.hs- return = EitherT . return . Right
haxl-0.2.0.0/Haxl/Core/Monad.hs- return a = GenHaxl $ \_env _ref -> return (Done a)
haxl-0.2.0.0/Haxl/Core/Monad.hs- Blocked cont -> return (Blocked (cont >>= k))
haxparse-0.3.1.0/src/HaxParse/Parser.hs- return Replay { version = vers
haxparse-0.3.1.0/src/HaxParse/Parser.hs- return Room { roomName = roomname
h-booru-0.3.0.0/src/HBooru/Types.hs- return = pure
hburg-1.1.2/hburg/hburg-tmp/Parser/Lexer.hs- return a = Alex $ \s -> Right (s,a)
HCL-1.4/src/System/Console/HCL.hs- return x = makeReq x
HCodecs-0.5/src/Codec/ByteString/Parser.hs- return a = Parser (\s -> Right (a, s))
hdirect-0.21.0/src/NameSupply.lhs- return a = NSM (\ns -> (a, ns))
hdirect-0.21.0/src/GetOpt.lhs- return = returnOpt
hdirect-0.21.0/src/CgMonad.lhs- return v = CgM (\ _ st -> (v, st))
hdirect-0.21.0/src/DsMonad.lhs- return = returnDsM
hdirect-0.21.0/src/RnMonad.lhs- return v = RnM (\ _ st -> (v,st))
hdirect-0.21.0/src/MarshallMonad.lhs- return = returnMm
hdirect-0.21.0/src/LexM.lhs- return = returnLexM
hdph-0.0.1/src/Control/Parallel/HdpH/Internal/Misc.hs- return a = Cont $ \ c -> c $! a
hdph-0.0.1/src/Control/Parallel/HdpH/Internal/Type/Par.hs- return a = Par $ \ c -> c $! a
hedis-0.6.7/src/Database/Redis/Transactions.hs- return = pure
hedn-0.1.8.1/src/Data/Parser.hs- return = Success
hedn-0.1.8.1/src/Data/Parser.hs- return a = Parser $ \_kf ks -> ks a
heist-0.14.1/src/Heist/Internal/Types/HeistState.hs- return a = HeistT (\_ s -> return (a, s))
helium-1.8.1/src/Helium/Parser/LexerMonad.hs- return = returnLM
hermit-1.0.0.0/src/HERMIT/Monad.hs- return a = HermitM $ \ env -> return (return (mkResult env a))
hermit-1.0.0.0/src/HERMIT/Plugin/Types.hs- return = PluginT . return
hermit-1.0.0.0/src/HERMIT/Shell/Types.hs- return = CLT . return
heukarya-0.2.0.2/src/AI/Heukarya/Gene/Dynamic.hs- evalTreeGene tree = return . foldl dynApp (rootLabel tree) =<< (sequence $ map evalTreeGene (subForest tree))
heukarya-0.2.0.2/src/AI/Heukarya/Gene/Dynamic.hs- instanceOf _ = \x y -> return (x == y)
hexpat-iteratee-0.6/Text/XML/Expat/Chunked.hs- return a = XMLT $ return $ Result a
hexpr-0.0.0.0/Control/Monad/Environment.hs- return = E . return
hexpr-0.0.0.0/Control/Monad/Errors.hs- return x = ErrorsT . return $ \e -> (Just x, e)
hexpr-0.0.0.0/Control/Monad/Gensym.hs- return = SymbolGenT . return
hexpr-0.0.0.0/Control/Monad/Stack.hs- return = StackT . return
hexpr-0.0.0.0/Language/Distfix.hs- return = Result . Right
hfusion-0.0.6.1/HFusion/Internal/Compositions.hs- return a = C ($ a)
hfusion-0.0.6.1/HFusion/Internal/Compositions.hs--- | A tagged return tags the subtree which results from @treturn b a >>= f@
HGL-3.2.0.5/Graphics/HGL/Internals/Draw.hs- return a = MkDraw (\ hdc -> return a)
hinquire-0.1.1/test/properties.hs- return a = Identity a
hinquire-0.1.1/src/Network/Hinquire.hs- return = Predicate mempty Equal
Hipmunk-5.2.0.16/Physics/Hipmunk/Callbacks.hsc- return = CB . return
Hipmunk-5.2.0.16/Physics/Hipmunk/Callbacks.hsc- return (arbState == #{const cpArbiterStateFirstColl})
HLearn-approximation-1.1.0/src/HLearn/NPHard/Scheduling.hs- return = train1dp
HLearn-approximation-1.1.0/src/HLearn/NPHard/BinPacking.hs- return = train1dp
HLearn-datastructures-1.1.0/src/HLearn/DataStructures/SortedVector.hs- return = SortedVector . V.singleton
HLearn-distributions-1.1.0.2/src/HLearn/Models/Distributions/Univariate/Categorical.hs- return dp = Categorical $ Map.singleton dp 1
hLLVM-0.5.0.1/src/Llvm/Data/Conversion/LabelMapM.hs- return x = LabelMapM $ \iLm -> return (iLm, x)
hLLVM-0.5.0.1/src/Llvm/Data/Conversion/LabelMapM.hs- ; return (iLm { a2h = a2h'}, hl)
HMap-1.2.4/Data/HKeyPrivate.hs- return = Return
HMap-1.2.4/Data/HKeyPrivate.hs- return = KeyT . Return
hmatrix-tests-0.4.1.0/src/Numeric/LinearAlgebra/Tests.hs- return a = State $ \s -> (a,s)
hmatrix-tests-0.4.1.0/src/Numeric/LinearAlgebra/Tests.hs- return a = MaybeT $ return $ Just a
hoauth-0.3.5/src/main/haskell/Network/OAuth/Consumer.hs- return a = OAuthMonadT $ \t -> return $ Right (t,a)
Hoed-0.2.1/Debug/Hoed/Observe.lhs- return a = ObserverM (\ c i -> (a,i))
hofix-mtl-1.0/Control/Monad/StarToStar/Fix.hs- return = to . return
hole-0.1.1/src/Data/Hole/Strict.hs- return = const Hole
hole-0.1.1/src/Data/Hole/Lazy.hs- return = const Hole
HoleyMonoid-0.1.1/Data/HoleyMonoid.hs- return x = HoleyMonoid (return x)
hommage-0.0.6/Sound/Hommage/Notation.hs- return a = Note (1%1) a
hommage-0.0.6/Sound/Hommage/Play.hs- return a = PLAY $ \dur env -> a --returnPlay a
hommage-0.0.6/Sound/Hommage/Play.hs- return a = SONG $ \_ e -> (a,e)
hommage-0.0.6/Sound/Hommage/Rand.hs- return = R . const
hommage-0.0.6/Sound/Hommage/Rand.hs- return a = RM $ const $ note a
hood-0.2.1/Debug/Hood/Observe.lhs- return a = ObserverM (\ c i -> (a,i))
hoopl-3.10.1.0/src/Compiler/Hoopl/Fuel.hs- return a = FM (\f -> return (a, f))
hoopl-3.10.1.0/src/Compiler/Hoopl/Fuel.hs- return a = IFM $ return a
hoopl-3.10.1.0/src/Compiler/Hoopl/Graph.hs- return a = VM $ \visited -> (a, visited)
hoopl-3.10.1.0/src/Compiler/Hoopl/Unique.hs- return a = SUM $ \us -> (a, us)
hoopl-3.10.1.0/src/Compiler/Hoopl/Unique.hs- return a = UMT $ \us -> return (a, us)
hopenpgp-tools-0.15/dist/build/hot/hot-tmp/HOpenPGP/Tools/Lexer.hs- return a = Alex $ \s -> Right (s,a)
hopenpgp-tools-0.15/dist/build/hkt/hkt-tmp/HOpenPGP/Tools/Lexer.hs- return a = Alex $ \s -> Right (s,a)
hoq-0.3/src/Syntax/Term.hs- return = cvar
hoq-0.3/src/TypeChecking/Monad/Warn.hs- return a = WarnT $ return (mempty, Just a)
HPDF-1.4.6/Graphics/PDF/Draw.hs- return x = Draw $ \_env -> return x
hplayground-0.1.3.1/src/Haste/HPlay/View.hs- return = View . return . FormElm mempty . Just
HPlot-0.3/Graphics/PLplot.chs- return x = MkP $ \p -> return x
HRay-1.2.3/HRayParser.hs- return = HappyIdentity
hsc2hs-0.67.20120610/HSCParser.hs- return a = Parser $ \pos s -> Success pos [] s a
hsc2hs-0.67.20120610/CrossCodegen.hs- return a = TestMonad (\_ c -> return $ (Right a, c))
hsc3-lang-0.15/Sound/SC3/Lang/Pattern/P/Core.hs- return x = toP [x]
hspread-0.3.3/Spread/Client/Message.hs- return = Result
HsSVN-0.4.3.3/Subversion/FileSystem/Revision.hsc- return = Rev . return
HsSVN-0.4.3.3/Subversion/FileSystem/Transaction.hsc- return = Txn . return
hs-twitter-0.2.8/Web/Twitter/Monad.hs- return x = TM $ \ _ -> return x
hs-twitter-0.2.8/Web/Twitter/Types/Import.hs- return x = JM (\ _ _ -> return x)
hsx-0.10.5/src/HSX/Transform.hs- return x = MkHsxM (\s -> (x,s))
hsx-0.10.5/src/HSX/Transform.hs- return a = RN $ \s -> (a,s)
hsx-0.10.5/src/HSX/Transform.hs- return a = Tr $ \s -> return (a, s)
hsx2hs-0.13.3.2/src/Language/Haskell/HSX/Transform.hs- return x = MkHsxM (\s -> (x,s))
hsx2hs-0.13.3.2/src/Language/Haskell/HSX/Transform.hs- return a = RN $ \s -> (a,s)
hsx2hs-0.13.3.2/src/Language/Haskell/HSX/Transform.hs- return a = Tr $ \s -> return (a, s)
hsx-jmacro-7.3.6/HSP/JMacroT.hs- return [JMAttr [jmacroE| (function (){ var attrNode = document.createAttribute(`(Lazy.unpack n)`)
HTF-0.13.0.0/Test/Framework/AssertM.hs- return = AssertOk
http-wget-0.6.2.3/Network/HTTP/Wget.hs- return = SplitHelper . return . Right
hub-1.9.0.1/Hub/Poss.hs- return = YUP
hws-1.1.0.1/src/Util.hs- return a = Ok a
HXQ-0.19.0/src/Text/XML/HXQ/Types.hs- return s = Success s
HXQ-0.19.0/src/Text/XML/HXQ/Parser.hs- return = HappyIdentity
HXQ-0.19.0/src/Text/XML/HXQ/TypeInference.hs- return x = TI(\s n -> (s,n,x))
hxt-9.3.1.15/src/Text/XML/HXT/Arrow/Pickle/Xml.hs- return = pure
hxt-tagsoup-9.1.3/src/Text/XML/HXT/Parser/TagSoup.hs- return x = P $ \ ts -> (x, ts)
hxweb-0.1/src/Network/HxWeb/Monad.hs- return = WebPage . return . WebResult
hybrid-vectors-0.1.2.1/src/Data/Vector/Mixed/Internal.hs- return = G.singleton
hylolib-1.4.0/dist/build/HyLo/InputFile/OldParser.hs- return = HappyIdentity
hypher-0.1.5/src/Database/Neo4j/Types.hs- return x = Neo4j (const (return x))
iconv-0.4.1.3/Codec/Text/IConv/Internal.hs- return = returnI
ideas-1.3.1/src/Network/CGI/Monad.hs- return = CGIT . return
ideas-1.3.1/src/Ideas/Encoding/Encoder.hs- return a = Enc $ \_ _ -> return a
ideas-1.3.1/src/Ideas/Encoding/Encoder.hs- return a = Dec $ \_ s -> return (a, s)
ideas-1.3.1/src/Ideas/Encoding/Encoder.hs- return = Error . Right
ideas-1.3.1/src/Ideas/Common/Strategy/Choice.hs- return = single
ideas-1.3.1/src/Ideas/Common/Rule/EnvironmentMonad.hs- return = Return
ideas-1.3.1/src/Ideas/Common/Algebra/Field.hs- return = Ok
ideas-math-1.2/src/Domain/Math/Data/WithBool.hs- return = singleton
ide-backend-common-0.9.1.2/IdeSession/Strict/StateT.hs- return a = StrictStateT $ \s -> return (a, s)
idris-0.9.18.1/src/Idris/AbsSyntax.hs- return = RightOK
idris-0.9.18.1/src/Idris/Core/TT.hs- return x = OK x
illuminate-0.1/alex/AlexWrapper-illuminate- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Alex.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/BibTeX.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/C.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Cabal.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/CPlusPlus.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/CSharp.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/CSS.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/D.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Diff.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Haskell.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/HTML.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Java.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Javascript.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/LiterateHaskell.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Python.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/RHTML.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Ruby.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/RXML.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/Sh.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/TeX.hs- return a = Alex $ \s -> Right (s,a)
illuminate-0.1/dist/build/Text/Highlighting/Illuminate/XML.hs- return a = Alex $ \s -> Right (s,a)
imbib-1.0.0/MaybeIO.hs- return = Return
imm-0.6.0.3/Imm/Config.hs- parseDate date = return . listToMaybe . {-map T.zonedTimeToUTC .-} catMaybes =<< tryParsers strippedDate
improve-0.4.0/Language/ImProve.hs- return a = Stmt $ \ s -> (a, s)
improve-0.4.0/Language/ImProve.hs- return _ = Case id
incremental-parser-0.2.3.4/Test/TestIncrementalParser.hs- return x = TestParser (Described "return ?" (return x))
incremental-parser-0.2.3.4/Text/ParserCombinators/Incremental.hs- return = Result mempty
index-core-1.0.2/Control/IMonad/Restrict.hs- return = D . returnR
indexed-extras-0.1.1/Control/Monad/Indexed/Cont.hs- reset e = IxContT $ \k -> runIxContT e return >>= k
indexed-free-0.3.1/Control/MonadPlus/Indexed/Free.hs- return = ireturn
indexed-free-0.3.1/Control/Monad/Indexed/Free.hs- return = ireturn
indexed-free-0.3.1/Control/Monad/Indexed/Trans/Free.hs- return = ireturn
indices-1.7.1/src/Data/Index.hs- return x = 1:.x
infinite-search-0.12/Data/Searchable.hs- return = Set . const
intervals-0.7.1/src/Numeric/Interval/Kaucher.hs- return a = I a a
IOR-0.1/src/System/IOR/Internal.hs- return = IOR . const . return
IOSpec-0.3/src/Test/IOSpec/STM.hs- return = STMReturn
IOSpec-0.3/src/Test/IOSpec/Types.hs- return = Pure
IOSpec-0.3/src/Test/IOSpec/VirtualMachine.hs- return = Done
io-streams-1.3.1.0/src/System/IO/Streams/Internal.hs- return = Generator . return . Right
io-streams-1.3.1.0/src/System/IO/Streams/Internal.hs- return = Consumer . return . Right
iotransaction-0.1/src/Control/IoTransaction.hs- return val = Do $ return (val, return ())
iotransaction-0.1/src/Control/IoTransaction.hs-1. return x >>= f == f x
iotransaction-0.1/src/Control/IoTransaction.hs-2. mv >>= return == mv
iteratee-0.8.9.6/src/Data/Iteratee/Base.hs- return x = Iteratee $ \onDone _ -> onDone x (Chunk empty)
iteratee-mtl-0.5.0.0/src/Data/Iteratee/Base.hs- return x = Iteratee $ \onDone _ -> onDone x (Chunk empty)
iteratee-parsec-0.0.6/src/Text/Parsec/Iteratee/LinkedList.hs- | otherwise = return . unconsChunk =<< lift (insertCursor r s)
iterIO-0.2.2/Data/IterIO/Iter.hs- return a = Iter $ Done a
iterIO-0.2.2/Data/IterIO/Trans.hs- return a = IterStateT $ \s -> return (a, s)
ivory-0.1.0.0/src/Ivory/Language/MemArea.hs- return = M.derive_return areaInit_iso
ixmonad-0.57/src/Control/Effect/Monad.hs- return x = Wrap (P.return x)
ixmonad-0.57/examples/WriterM.hs- return a = Writer (a, mempty)
ixmonad-0.57/examples/WriterM.hs- return a = Writer (a, Nothing)
iyql-0.0.7/src/main/haskell/Yql/Core/Backend.hs- return = OutputT . return . Right
joinlist-0.3.0/src/Data/JoinList.hs- return = Single
json-0.9.1/Text/JSON.hs- return x = Ok x
json-0.9.1/Text/JSON/String.hs- return x = GetJSON (\s -> Right (x,s))
json-rpc-server-0.1.6.0/src/Network/JsonRpc/Types.hs- where arg = either (parseArg name) return =<<
json-sop-0.1.0.4/src/Generics/SOP/Util/PartialResult.hs- return = PZero
jukebox-0.1.3/Jukebox/Seq.hs- return = Unit
jukebox-0.1.3/Jukebox/TPTP/Parsec.hs- return x = Parsec (\ok err inp exp -> ok x err inp exp)
JustParse-2.1/src/Data/JustParse/Internal.hs- return v = Parser $ \s -> [Done v s]
kan-extensions-4.2.2/src/Control/Monad/Co.hs- return a = CoT (`extract` a)
kan-extensions-4.2.2/src/Control/Monad/Codensity.hs- return x = Codensity (\k -> k x)
kan-extensions-4.2.2/src/Data/Functor/Coyoneda.hs- return = Coyoneda id . return
kan-extensions-4.2.2/src/Data/Functor/Yoneda.hs- return a = Yoneda (\f -> return (f a))
kangaroo-0.4.0/src/Data/ParserCombinators/Kangaroo/ParseMonad.hs- return = returnKang
kansas-lava-0.2.4.2/Language/KansasLava/Fabric.hs- return = pure
kansas-lava-0.2.4.2/Language/KansasLava/Optimization.hs- return a = Opt a 0
kansas-lava-cores-0.1.2.1/Hardware/KansasLava/Simulators/Polyester.hs- return = pure
kansas-lava-cores-0.1.2.1/Hardware/KansasLava/Simulators/Polyester.hs- return = pure
keystore-0.7.0.1/src/Data/KeyStore/Sections.hs- return x = Munch $ \s -> Just (x,s)
KiCS-0.9.3/src/Curry/Compiler/SafeCalls.hs- return x = Safe (return (Just x))
kure-2.16.10/examples/Lam/Monad.hs- return a = LamM (\n -> (n,Right a))
kure-2.16.10/Language/KURE/Transform.hs- return = constT . return
kure-2.16.10/Language/KURE/Lens.hs- return ((cd,d),kd >=> kb)
kure-2.16.10/Language/KURE/Walker.hs- return a = AllT $ return (P a mempty)
kure-2.16.10/Language/KURE/Walker.hs- return a = OneT $ \ mw -> return (P a mw)
kure-2.16.10/Language/KURE/Walker.hs- return a = GetChild (return a) Nothing
kure-2.16.10/Language/KURE/MonadCatch.hs- return = Success
kure-2.16.10/Language/KURE/Combinators/Transform.hs- return = AnyR . return . PBool False
kure-2.16.10/Language/KURE/Combinators/Transform.hs- return a = OneR (\ b -> return (PBool b a))
labeled-graph-1.0.0.0/Data/LabeledGraph.hs- return x = SetM $ const (return x)
lambdabot-core-5.0.1/src/Lambdabot/Command.hs- return = Cmd . return
lambdabot-haskell-plugins-5.0.2.1/src/Lambdabot/Plugin/Haskell/UnMtl.hs- return t = PMonad t Nothing Nothing
lambdabot-haskell-plugins-5.0.2.1/src/Lambdabot/Plugin/Haskell/Free/Parse.hs- return x = ParseS (\ts -> ParseSuccess x ts)
lambdacube-engine-0.2.4/Graphics/LambdaCube/World.hs- return x = LCM (\k t w -> k x w)
LambdaHack-0.4.101.1/Game/LambdaHack/Common/Frequency.hs- return x = Frequency [(1, x)] "return"
LambdaHack-0.4.101.1/Game/LambdaHack/Client/AI/Strategy.hs- return x = Strategy $ return $! uniformFreq "Strategy_return" [x]
language-boogie-0.2/Language/Boogie/ErrorAccum.hs- return x = ErrorAccumT $ return ([], x)
language-c-0.4.7/src/Language/C/Analysis/TravMonad.hs- return x = Trav (\s -> Right (x,s))
language-c-0.4.7/src/Language/C/Analysis/TypeCheck.hs- return = Right
language-c-0.4.7/src/Language/C/Parser/ParserMonad.hs- return = returnP
language-c-quote-0.10.2.2/Language/C/Parser/Monad.hs- return a = P $ \s -> Right (a, s)
language-eiffel-0.1.2/dist/build/Language/Eiffel/Parser/Lex.hs- return a = Alex $ \s -> Right (s,a)
language-javascript-0.5.13.3/dist/build/Language/JavaScript/Parser/Lexer.hs- return a = Alex $ \s -> Right (s,a)
language-objc-0.4.2.8/src/Language/ObjC/Parser/ParserMonad.hs- return a = LP $ \s !pSt -> (POk pSt a, s)
language-objc-0.4.2.8/src/Language/ObjC/Analysis/TypeCheck.hs- return = Right
language-objc-0.4.2.8/src/Language/ObjC/Analysis/TravMonad.hs- return x = Trav (\s -> Right (x,s))
layers-0.1/src/Control/Monad/Layer.hs- -- [Identity] @lift . return = return@
lazyio-0.1.0.1/src/System/IO/Lazy.hs- return x = Cons $ return x
ldap-client-0.1.0/src/Ldap/Asn1/FromAsn1.hs- return x = Parser (\s -> return (s, x))
lens-4.11/src/Control/Lens/Reified.hs- return a = Getter $ to $ \_ -> a
lens-4.11/src/Control/Lens/Reified.hs- return a = Fold $ folding $ \_ -> [a]
lens-4.11/src/Control/Lens/Internal/Deque.hs- return a = BD 1 [a] 0 []
lens-4.11/src/Control/Lens/Internal/Indexed.hs- return b = Indexed $ \_ _ -> b
lens-action-0.2.0.1/src/Control/Lens/Action/Reified.hs- return a = MonadicFold $ folding $ \_ -> [a]
lgtk-0.8.0.4/src/LGtk/Render.hs- return = pure
lhc-0.10/lib/base/src/Text/ParserCombinators/ReadPrec.hs- return x = P (\_ -> return x)
lhc-0.10/lib/base/src/Text/ParserCombinators/ReadP.hs- return x = Result x Fail
lhc-0.10/lib/base/src/Text/ParserCombinators/ReadP.hs- return x = R (\k -> k x)
lhc-0.10/lib/base/src/Data/Maybe.hs- return = Just
lhc-0.10/lib/base/src/Control/Arrow.hs- return x = ArrowMonad (arr (\_ -> x))
lhc-0.10/lib/base/src/Control/Monad/Instances.hs- return = const
lhc-0.10/lib/base/src/Control/Monad/ST/Lazy.hs- return a = ST $ \ s -> (a,s)
lhc-0.10/lib/base/src/GHC/Conc.lhs- return x = returnSTM x
lhc-0.10/lib/base/src/GHC/PArr.hs- return x = [:x:]
lhc-0.10/lib/base/src/GHC/Base.lhs- return x = [x]
lhc-0.10/lib/base/src/GHC/Base.lhs- return = returnIO
lhc-0.10/lib/base/src/GHC/ST.lhs- return x = ST (\ s -> (# s, x #))
lhc-0.10/src/Grin/PreciseDeadCode.hs- return x = SM $ \r s -> (x, s)
lhc-0.10/src/Grin/Stage2/DeadCode.hs- return x = SM $ \r s -> (x, s)
libexpect-0.3.2/System/Expect/ExpectCombinators.hs- return a = ExpectM (\x -> return (a, x))
libjenkins-0.8.1/src/Jenkins/Rest/Internal.hs- return = JenkinsT . return
libjenkins-0.8.1/src/Jenkins/Rest/Internal.hs- return = InterpT . return . return
libmpd-0.9.0.2/src/Network/MPD/Applicative/Internal.hs- return a = Parser $ \input -> Right (a, input)
liboleg-2010.1.10.0/Language/CBAny.hs- -- lam f = return (\x -> (f . return) =<< x)
liboleg-2010.1.10.0/Language/CBAny.hs- lam f = return (f . return =<<)
liboleg-2010.1.10.0/Language/CBAny.hs- -- lam f = return (\x -> f =<< share x)
liboleg-2010.1.10.0/Language/CBAny.hs- lam f = return ((f =<<) . share)
liboleg-2010.1.10.0/Language/CB98.hs- return = SN . return
liboleg-2010.1.10.0/Language/CB98.hs- return = SV . return
liboleg-2010.1.10.0/Language/CB98.hs- -- lam f = return (\x -> (f . return) =<< x)
liboleg-2010.1.10.0/Language/CB98.hs- lam f = return (f . return =<<)
liboleg-2010.1.10.0/Language/CB98.hs- return = SL . return
liboleg-2010.1.10.0/Language/CB98.hs- -- lam f = return (\x -> f =<< share x)
liboleg-2010.1.10.0/Language/CB98.hs- lam f = return ((f =<<) . share)
liboleg-2010.1.10.0/System/RandomIO.hs- return = RBIO . const . return
liboleg-2010.1.10.0/System/RandomIO.hs- return RBState{msb_first = mref, seek_req = sref}
liboleg-2010.1.10.0/System/IterateeM.hs- return x = liftI $ IE_done x (Chunk [])
liboleg-2010.1.10.0/Control/CCCxe.hs- return x = CC $ \ki kd -> ki x
liboleg-2010.1.10.0/Control/CCExc.hs- return = CC . return . Iru
liboleg-2010.1.10.0/Control/CCRef.hs- return x = CC $ \k _ -> k x
liboleg-2010.1.10.0/Control/Generator2.hs- return = Identity
liboleg-2010.1.10.0/Control/StateAlgebra.hs- return = Statte . Return
lifted-async-0.7.0.1/src/Control/Concurrent/Async/Lifted.hs- return = Concurrently . return
lifted-async-0.7.0.1/src/Control/Concurrent/Async/Lifted/Safe.hs- return = Concurrently . return
Limit-1.0/src/Data/Limit.hs- return = Bounded
linear-1.18.1.1/src/Linear/Covector.hs- return a = Covector $ \k -> k a
linear-1.18.1.1/src/Linear/Instances.hs- return a = a :+ a
linear-1.18.1.1/src/Linear/Plucker.hs- return a = Plucker a a a a a a
linear-1.18.1.1/src/Linear/Quaternion.hs- return = pure
linear-1.18.1.1/src/Linear/V.hs- return = V . V.replicate (reflectDim (Proxy :: Proxy n))
linear-1.18.1.1/src/Linear/V0.hs- return _ = V0
linear-1.18.1.1/src/Linear/V1.hs- return = V1
linear-1.18.1.1/src/Linear/V2.hs- return a = V2 a a
linear-1.18.1.1/src/Linear/V3.hs- return a = V3 a a a
linear-1.18.1.1/src/Linear/V4.hs- return a = V4 a a a a
linux-blkid-0.2.0.0/System/Linux/Blkid/Probe.hsc- return = ProbeT . return
lio-0.11.5.0/LIO/TCB.hs- return = LIOTCB . const . return
liquidhaskell-0.4.1.1/src/Language/Haskell/Liquid/CoreToLogic.hs- return = LM . const . Left
liquidhaskell-0.4.1.1/src/Language/Haskell/Liquid/Desugar/Coverage.lhs- return a = TM $ \ _env st -> (a,noFVs,st)
liquidhaskell-0.4.1.1/tests/neg/StateConstraints0.hs- return :: forall s a <p :: s -> Prop >. x:a -> ST <p, {\s v -> v == s}, {\s v -> x == v}> s a;
liquidhaskell-0.4.1.1/tests/neg/StateConstraints0.hs- return x = ST $ \s -> (x, s)
liquidhaskell-0.4.1.1/tests/pos/StateConstraints0.hs- return :: forall s a <p :: s -> Prop >. x:a -> ST <p, {\s v -> v == s}, {\s v -> x == v}> s a;
liquidhaskell-0.4.1.1/tests/pos/StateConstraints0.hs- return x = ST $ \s -> (x, s)
liquidhaskell-0.4.1.1/tests/pos/ToyMVar.hs- return = undefined
List-0.5.2/src/Control/Monad/Trans/List.hs- return = ListT . return . (`Cons` mempty)
ListLike-4.2.0/src/Data/ListLike/Base.hs- return x = singleton x
list-t-0.4.5.1/library/ListT.hs- return a =
list-t-html-parser-0.4.0.0/library/ListT/HTMLParser.hs- return =
llvm-extra-0.6/src/LLVM/Extra/MaybeContinuation.hs- return a = lift (return a)
llvm-general-3.4.5.3/src/Control/Monad/Trans/AnyCont.hs- return a = AnyContT $ return a
llvm-general-quote-0.2.0.0/src/LLVM/General/Quote/Parser/Monad.hs- return a = P $ \s -> Right (a, s)
llvm-pretty-bc-parser-0.1.3.1/src/Data/LLVM/BitCode/GetBits.hs- return = pure
llvm-pretty-bc-parser-0.1.3.1/src/Data/LLVM/BitCode/Parse.hs- return = Parse . return
llvm-pretty-bc-parser-0.1.3.1/src/Data/LLVM/BitCode/Parse.hs- a <|> b = Parse (either (const (unParse b)) return =<< try (unParse a))
log-domain-0.10.1/src/Numeric/Log.hs- return = Exp
logic-classes-1.5.2/Data/Logic/Failing.hs- return = Success
logicst-0.1.0.0/src/Control/Monad/ST/Logic/Internal.hs- return = LogicT . return
logict-0.6.0.2/Control/Monad/Logic.hs- return a = LogicT $ \sk fk -> sk a fk
loops-0.2.0.2/src/Control/Monad/Loop/Internal.hs- return = pure
loop-while-1.0.0/Control/Monad/LoopWhile.hs- return = LWT . return . Just
LslPlus-0.4.3/src/Language/Lsl/Internal/WorldState.hs- return [ image | (Script { scriptImage = image } ) <- map snd scripts ]
LTree-0.1/Data/Trees/LTree.hs- return x = Leaf x
LTree-0.1/Control/Trees/LTreeT.hs- return c = TreeT $ return $ Leaf c
lucid-2.9.2/src/Lucid/Base.hs- return a = HtmlT (return (mempty,a))
Lucu-0.7.0.3/Network/HTTP/Lucu/Parser.hs- return !x = Parser $! return $! Success x
Lucu-0.7.0.3/Network/HTTP/Lucu/Resource.hs- return = Resource . return
lvish-1.1.4/Control/LVish/SchedIdempotent.hs- return a = Par $ \k -> k a
lvmlib-1.1/Lvm/Read.hs- return x = Read (\_ bs -> Result x bs)
lvmlib-1.1/Lvm/Write.hs- return x = Emit (\_ st -> (x,st))
lvmlib-1.1/Lvm/Instr/Resolve.hs- return x = R (\(_,_,d) -> (x,d))
maam-0.2.0.1/src/FP/Compat.hs:instance (Monad m) => Prelude.Monad m where { return = FP.Core.return ; (>>=) = (FP.Core.>>=) }
maam-0.2.0.1/src/FP/Monads.hs--- * PROOF of: left unit := return x >>= k = k x {{{
maam-0.2.0.1/src/FP/Monads.hs--- return x >>= k
maam-0.2.0.1/src/FP/Monads.hs--- * PROOF of: right unit := aM >>= return = aM {{{
machines-0.5.1/src/Data/Machine/Mealy.hs- return b = r where r = Mealy (const (b, r))
machines-0.5.1/src/Data/Machine/Moore.hs- return a = r where r = Moore a (const r)
machines-0.5.1/src/Data/Machine/Plan.hs- return a = PlanT (\kp _ _ _ -> kp a)
mage-1.1.0/src/RandT.hs- return a = RandT $ return a
MagicHaskeller-0.9.1/MagicHaskeller/PriorSubsts.lhs- return x = PS (\s m -> return (x, s, m))
MagicHaskeller-0.9.1/MagicHaskeller/MyCheck.hs- return a = Gen $ \_ _ -> a
MagicHaskeller-0.9.1/Control/Monad/Search/Best.hs- return x = Result [x]
MagicHaskeller-0.9.1/Control/Monad/Search/Combinatorial.lhs- return x = Mx (return x : nils)
MagicHaskeller-0.9.1/Control/Monad/Search/Combinatorial.lhs- return x = Rc f where f 0 = return x
MagicHaskeller-0.9.1/Control/Monad/Search/Combinatorial.lhs- return x = RcT f where f 0 = return [x]
MagicHaskeller-0.9.1/Control/Monad/Search/Combinatorial.lhs- return x = DB $ \n -> [(x,n)]
MagicHaskeller-0.9.1/Control/Monad/Search/Combinatorial.lhs- return x = DBT $ \n -> return [(x,n)]
MagicHaskeller-0.9.1/Control/Monad/Search/Combinatorial.lhs- return x = tabulate $ return x -- $B%3%s%Q%$%kDL$k(B?
magma-0.3.0.0/Data/Magma.hs- return = Leaf
managed-1.0.0/src/Control/Monad/Managed.hs- return r = Managed (\return_ ->
markup-1.1.0/src/Data/Markup/Types.hs- return = InlineMarkupM
markup-1.1.0/src/Data/Markup/Types.hs- return = HostedMarkupM
markup-1.1.0/src/Data/Markup/Types.hs- return = LocalMarkupM
marxup-3.0.0.1/MarXup/Text.hs- return = Return
marxup-3.0.0.1/MarXup/Verbatim.hs- return x = Verbatim "" x
maude-0.6.1/src/Language/Maude/Exec/XML.hs- return = Ok
maude-0.6.1/src/Language/Maude/Exec/XML.hs- notNone e' = attr "solution-number" e' >>= return . (/= "NONE")
MaybeT-0.1.2/Control/Monad/Maybe.hs- return = lift . return
MaybeT-transformers-0.2/Control/Monad/Maybe.hs- return = lift . return
memory-0.7/Data/ByteArray/Parse.hs- return v = Parser $ \buf _ ok -> ok buf v
memory-0.7/Data/ByteArray/Pack/Internal.hs- return = returnPacker
MemoTrie-0.6.2/src/Data/MemoTrie.hs- return a = trie (return a)
MemoTrie-0.6.2/src/Data/MemoTrie.hs- return a = trie (return a)
MFlow-0.4.5.9/src/MFlow/Forms/Internals.hs- return x = Sup . return $ NoBack x
MFlow-0.4.5.9/src/MFlow/Forms/Internals.hs- return (GoBack, s{mfTrace= [show e]})
MFlow-0.4.5.9/src/MFlow/Forms/Internals.hs--- return (GoBack, s{mfTrace= Just ["exception: " ++show e]})
MFlow-0.4.5.9/src/MFlow/Forms/Internals.hs- return (FormElm mempty Nothing, s{mfTrace= [show e]}) -- !> loc
MFlow-0.4.5.9/src/MFlow/Forms/Internals.hs- return = View . return . FormElm mempty . Just
midi-0.2.1.5/src/Sound/MIDI/Parser/ByteString.hs- return = Cons . return
midi-0.2.1.5/src/Sound/MIDI/Parser/Restricted.hs- return = Cons . return
midi-0.2.1.5/src/Sound/MIDI/Parser/File.hs- return = Cons . return
midi-0.2.1.5/parser/Sound/MIDI/Parser/Stream.hs- return = Cons . return
midi-0.2.1.5/parser/Sound/MIDI/Parser/Stream.hs- (\s ss -> lift (fromState (put ss)) >> return s) =<<
mime-directory-0.5.1/Codec/MIME/ContentType/Text/Directory.hs- return x = P $ \s -> (x, s)
MiniAgda-0.2014.9.12/dist/build/miniagda/miniagda-tmp/Parser.hs- return = HappyIdentity
minioperational-0.4.9/Control/Monad/Trans/Operational/Mini.hs- return a = ProgramT $ \p _ _ -> p a
minioperational-0.4.9/Control/Monad/Trans/Operational/Mini.hs-interpret e (ProgramT m) = m return join (\t c -> e t >>= c)
minioperational-0.4.9/Control/Monad/Trans/Operational/Mini.hs- return = Return
minioperational-0.4.9/Control/Monad/Operational/Mini.hs- return a = Program $ \p _ -> p a
minioperational-0.4.9/Control/Monad/Operational/Mini.hs-interpret e (Program m) = m return (\t f -> e t >>= f)
minioperational-0.4.9/Control/Monad/Operational/Mini.hs-cloneProgram (Program m) = m return ((>>=) . elevate)
minioperational-0.4.9/Control/Monad/Operational/Mini.hs- return = Return
MissingH-1.3.0.1/src/Data/Compression/Inflate.hs- return x = InfM $ \s -> (x, s)
mlist-0.0.2/src/Data/MList.hs- return = singleton
mmorph-1.0.4/src/Control/Monad/Trans/Compose.hs- return a = ComposeT (return a)
mmtl-0.1/Control/Monad/State/Lazy.hs- return a = State $ \s -> (a, s)
mmtl-0.1/Control/Monad/State/Lazy.hs- return a = StateT $ \s -> return (a, s)
mmtl-0.1/Control/Monad/State/Strict.hs- return a = State $ \s -> (a, s)
mmtl-0.1/Control/Monad/State/Strict.hs- return a = StateT $ \s -> return (a, s)
mmtl-0.1/Control/Monad/Writer/Lazy.hs- return a = Writer (a, mempty)
mmtl-0.1/Control/Monad/Writer/Lazy.hs- return a = WriterT $ return (a, mempty)
mmtl-0.1/Control/Monad/Writer/Strict.hs- return a = Writer (a, mempty)
mmtl-0.1/Control/Monad/Writer/Strict.hs- return a = WriterT $ return (a, mempty)
mmtl-0.1/Control/Monad/Codensity.hs- return a = Codensity (\k -> k a)
mmtl-0.1/Control/Monad/Identity.hs- return a = Identity a
mmtl-0.1/Control/Monad/Cont.hs- return a = Cont ($ a)
mmtl-0.1/Control/Monad/Cont.hs- return a = ContT ($ a)
mmtl-0.1/Control/Monad/Reader.hs- return a = Reader $ \_ -> a
mmtl-0.1/Control/Monad/Reader.hs- return a = ReaderT $ \_ -> return a
mmtl-0.1/Control/Monad/Reader.hs-> return (count == (Map.size bindings))
mmtl-0.1/Control/Monad/List.hs- return a = ListT $ return [a]
mmtl-0.1/Control/Monad/Error.hs- return = Right
mmtl-0.1/Control/Monad/Error.hs- return a = ErrorT $ return (Right a)
module-management-0.20.3/testdata/split-expected/Data/Logic/Failing.hs- return = Success
module-management-0.20.3/testdata/split-merge-expected/Data/Logic/Failing.hs- return = Success
module-management-0.20.3/testdata/split-merge-merge-expected/Data/Logic/Failing.hs- return = Success
module-management-0.20.3/testdata/logic/Data/Logic/Failing.hs- return = Success
monadacme-0.0.2/src/Control/Monad/Acme.hs- return = Acme
monadacme-0.0.2/src/Control/Monad/Acme.hs- return = AcmeT . return
monad-classes-0.3.1.1/Control/Monad/Classes/Proxied.hs- return x = Proxied (\_ -> return x)
monad-classes-0.3.1.1/tests/test.hs- return [s1,s2,s3,s4]) @?= "abxa"
monad-control-1.0.0.4/Control/Monad/Trans/Control.hs- -- @liftBaseWith . const . return = return@
monad-coroutine-0.9.0.1/Control/Monad/Coroutine.hs- return x = Coroutine (return (Right x))
monad-coroutine-0.9.0.1/Control/Monad/Coroutine.hs- apply fc (Left s) = return (Left (fmap (>>= fc) s))
monad-exception-0.1/src/Control/Monad/Trans/Exception.hs- return = ExceptionT . return . Right'
monad-gen-0.3.0.1/src/Control/Monad/Gen.hs- return = GenT . return
monadiccp-0.7.6/Control/Monatron/Transformer.hs- return = treturn
monadiccp-0.7.6/Control/Monatron/Monad.hs- return = Id
monadiccp-0.7.6/Control/Monatron/Monad.hs- return x = L x
monadiccp-0.7.6/Control/Monatron/AutoInstances.hs- return = treturn
monadiccp-0.7.6/Control/CP/SearchTree.hs- return = Return
monadiccp-0.7.6/Control/CP/SearchTree.hs- - 1. return x >>= f == f x
monadiccp-0.7.6/Control/CP/SearchTree.hs- - return a >>= f
monadiccp-0.7.6/Control/CP/SearchTree.hs- - 2. m >>= return = m
monadiccp-0.7.6/Control/CP/SearchTree.hs- - == Label (sm >>= \m -> return (m >>= return)) (bind def)
monadiccp-0.7.6/Control/CP/FD/Interface.hs- return _ = DummySolver ()
monadiccp-gecode-0.1.2/Control/CP/FD/Gecode/Common.hs- return = GecodeWrappedSolver . return
monadLib-3.7.3/src/MonadLib.hs- return x = I x
monadLib-3.7.3/src/MonadLib.hs- return x = L x
monadLib-3.7.3/src/MonadLib.hs- return = t_return
monadLib-3.7.3/src/MonadLib.hs- return = t_return
monadLib-3.7.3/src/MonadLib.hs- return = t_return
monadLib-3.7.3/src/MonadLib.hs- return = t_return
monadLib-3.7.3/src/MonadLib.hs- return = t_return
monadLib-3.7.3/src/MonadLib.hs- return x = Answer x
monadLib-3.7.3/src/MonadLib.hs- return = t_return
monadLib-3.7.3/src/MonadLib/Monads.hs- return = derive_return iso_R
monadLib-3.7.3/src/MonadLib/Monads.hs- return = derive_return iso_W
monadLib-3.7.3/src/MonadLib/Monads.hs- return = derive_return iso_S
monadLib-3.7.3/src/MonadLib/Monads.hs- return = derive_return iso_X
monadLib-3.7.3/src/MonadLib/Monads.hs- return = derive_return iso_C
monad-logger-0.3.13.1/Control/Monad/Logger.hs- return = NoLoggingT . return
monad-logger-0.3.13.1/Control/Monad/Logger.hs- return = LoggingT . const . return
monad-lrs-0.0.2.1/Math/LinearRecursive/Monad.hs- return a = LR (const (a, 0, id))
monad-memo-0.4.1/Control/Monad/Trans/Memo/ReaderCache.hs- return a = ReaderCache $ \ !c -> return a
monad-memo-0.4.1/Control/Monad/Trans/Memo/StateCache.hs- return a = StateCache $ \ !c -> return (a, c)
monad-mersenne-random-0.1/Control/Monad/Mersenne/Random.hs- return a = Rand $ \s -> R a s
monad-par-0.3.4.7/Control/Monad/Par/Scheds/Sparks.hs- return x = Done x
monad-par-0.3.4.7/Control/Monad/Par/Scheds/TraceInternal.hs- return a = Par ($ a)
monadplus-1.4.2/src/Control/Monad/Plus.hs- return x = Partial (\_ -> Just x)
monad-products-4.0.0.1/Control/Monad/Product.hs- return a = Product (return a, return a)
MonadPrompt-1.0.0.5/Control/Monad/Prompt.hs- return a = Prompt $ \done _ -> done a
MonadPrompt-1.0.0.5/Control/Monad/Prompt.hs-runPromptM prm = runPromptC return (\p cont -> prm p >>= cont)
MonadPrompt-1.0.0.5/Control/Monad/Prompt.hs- return = RecPrompt . return
MonadPrompt-1.0.0.5/Control/Monad/Prompt.hs- return = PromptT . return
MonadPrompt-1.0.0.5/Control/Monad/Prompt.hs-runPromptTM prm lft = runPromptT return (\p k -> prm p >>= k) (\l k -> lft l >>= k)
MonadPrompt-1.0.0.5/Control/Monad/Prompt.hs- return = RecPromptT . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
monad-ran-0.1.0/Control/Monad/Ran.hs- return = liftRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return x = Ran (\k -> Endo (\_ -> runIdentity (k x)))
monad-ran-0.1.0/Control/Monad/Ran.hs- return x = Ran (\k -> ErrorH (\_ -> runIdentity (k x)))
monad-ran-0.1.0/Control/Monad/Ran.hs- return a = Ran (\f _ -> runIdentity (f a))
monad-ran-0.1.0/Control/Monad/Ran.hs- return a = Ran (\f -> Reader (\_ -> runIdentity (f a)))
monad-ran-0.1.0/Control/Monad/Ran.hs- return = inRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return = inRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return = inRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return = inRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return = inRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return = inRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return = inRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return = inRan . return
monad-ran-0.1.0/Control/Monad/Ran.hs- return x = Codensity (\k -> k x)
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
monad-ran-0.1.0/Control/Monad/Ran.hs- return a = Yoneda (\f -> return (f a))
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
monad-ran-0.1.0/Control/Monad/Ran.hs- return = returnRanCodensity
MonadRandomLazy-0.1/Control/Monad/LazyRandom.hs- return x = MkRand (const x)
monad-resumption-0.1.1.5/Control/Monad/Resumption.hs- return x = ResT $ return $ Left x
monad-resumption-0.1.1.5/Control/Monad/Resumption/Reactive.hs- return = ReacT . return . Left
monad-resumption-0.1.1.5/Control/Monad/Resumption/Reactive.hs- Right (output, resume) -> return (Right (output,\ p -> resume p >>= f))
monad-skeleton-0.1.2/src/Control/Monad/Skeleton.hs- return a = Skeleton (Return a) id
monad-stlike-io-0.2.2/Control/Monad/STLike/Internal.hs- return = R
monad-stlike-io-0.2.2/Control/Monad/STLike/Internal.hs- return x = STLike (return x)
monad-task-0.1.0/Control/Monad/Trans/Task.hs- return = TaskT . return
monad-tx-0.0.1/Control/Monad/Tx.hs- return a = TxM (\s k -> k s a)
monad-unlift-0.1.1.0/Control/Monad/Trans/Writer/Ref.hs- return = WriterRefT . const . return
monad-unlift-0.1.1.0/Control/Monad/Trans/State/Ref.hs- return = StateRefT . const . return
monad-unlift-0.1.1.0/Control/Monad/Trans/RWS/Ref.hs- return m = RWSRefT $ \_ _ _ -> return m
Monatron-0.3.1/Control/Monatron/AutoInstances.hs- return = treturn
Monatron-0.3.1/Control/Monatron/Monad.hs- return = Id
Monatron-0.3.1/Control/Monatron/Monad.hs- return x = L x
Monatron-0.3.1/Control/Monatron/Transformer.hs- return = treturn
monte-carlo-0.6.1/lib/Control/Monad/MC/GSLBase.hs- return a = MC $ \_ -> return a
moonshine-1.2.2.1/src/Web/Moonshine.hs- return a = Moonshine (\state -> return (state, a))
morte-1.2.0/src/Morte/Core.hs- return = Import
morte-1.2.0/src/Morte/Core.hs- go (Const cL) (Const cR) = return (cL == cR)
mstate-0.2.7/src/Control/Concurrent/MState.hs- return a = MState $ \_ -> return a
mtl-c-0.1/Control/Monad/Writer/CPS.hs- return x = WriterT $ \c -> c x mempty
mtl-c-0.1/Control/Monad/State/CPS.hs- return x = StateT $ \s c -> c x s
mtl-c-0.1/Control/Monad/Reader/CPS.hs- return x = ReaderT $ \_ c -> c x
mtlparse-0.1.4.0/Text/ParserCombinators/MTLParse/MTLParseCore.hs- return = Parse . \val inp -> [ (val, inp) ]
mtlparse-0.1.4.0/Text/ParserCombinators/MTLParse/MTLParseCore.hs- return b = ParseT $ \a -> return [ (b, a) ]
mtl-tf-0.1/Control/Monad/Error.hs- return = Right
mtl-tf-0.1/Control/Monad/Error.hs- return a = ErrorT $ return (Right a)
mtl-tf-0.1/Control/Monad/Identity.hs- return a = Identity a
mtl-tf-0.1/Control/Monad/List.hs- return a = ListT $ return [a]
mtl-tf-0.1/Control/Monad/Writer/Strict.hs- return a = Writer (a, mempty)
mtl-tf-0.1/Control/Monad/Writer/Strict.hs- return a = WriterT $ return (a, mempty)
mtl-tf-0.1/Control/Monad/Writer/Lazy.hs- return a = Writer (a, mempty)
mtl-tf-0.1/Control/Monad/Writer/Lazy.hs- return a = WriterT $ return (a, mempty)
mtl-tf-0.1/Control/Monad/Reader.hs- return a = Reader $ \_ -> a
mtl-tf-0.1/Control/Monad/Reader.hs- return a = ReaderT $ \_ -> return a
mtl-tf-0.1/Control/Monad/Reader.hs-> return (count == (Map.size bindings))
mtl-tf-0.1/Control/Monad/Cont.hs- return a = Cont ($ a)
mtl-tf-0.1/Control/Monad/Cont.hs- return a = ContT ($ a)
mtl-tf-0.1/Control/Monad/RWS/Strict.hs- return a = RWS $ \_ s -> (a, s, mempty)
mtl-tf-0.1/Control/Monad/RWS/Strict.hs- return a = RWST $ \_ s -> return (a, s, mempty)
mtl-tf-0.1/Control/Monad/RWS/Lazy.hs- return a = RWS $ \_ s -> (a, s, mempty)
mtl-tf-0.1/Control/Monad/RWS/Lazy.hs- return a = RWST $ \_ s -> return (a, s, mempty)
mtl-tf-0.1/Control/Monad/State/Strict.hs- return a = State $ \s -> (a, s)
mtl-tf-0.1/Control/Monad/State/Strict.hs- return a = StateT $ \s -> return (a, s)
mtl-tf-0.1/Control/Monad/State/Lazy.hs- return a = State $ \s -> (a, s)
mtl-tf-0.1/Control/Monad/State/Lazy.hs- return a = StateT $ \s -> return (a, s)
mtlx-0.1.6/Control/Monad/ErrorX.hs- return a = mkErrorTX (getVal::ix) $ return (Right a)
mtlx-0.1.6/Control/Monad/IdentityX.hs- return a = mkIdentityX (getVal::ix) a
mtlx-0.1.6/Control/Monad/ReaderX.hs- return a = mkReaderX (getVal::ix) $ \_ -> a
mtlx-0.1.6/Control/Monad/ReaderX.hs- return a = mkReaderTX (getVal::ix) $ \_ -> return a
mtlx-0.1.6/Control/Monad/RWSX/Lazy.hs- return a = mkRWSX (getVal::ix) $ \_ s -> (a, s, mempty)
mtlx-0.1.6/Control/Monad/RWSX/Lazy.hs- return a = mkRWSTX (getVal::ix) $ \_ s -> return (a, s, mempty)
mtlx-0.1.6/Control/Monad/RWSX/Strict.hs- return a = mkRWSX (getVal::ix) $ \_ s -> (a, s, mempty)
mtlx-0.1.6/Control/Monad/RWSX/Strict.hs- return a = mkRWSTX (getVal::ix) $ \_ s -> return (a, s, mempty)
mtlx-0.1.6/Control/Monad/StateX/Lazy.hs- return a = mkStateX (getVal::ix) $ \s -> (a, s)
mtlx-0.1.6/Control/Monad/StateX/Lazy.hs- return a = mkStateTX (getVal::ix) $ \s -> return (a, s)
mtlx-0.1.6/Control/Monad/StateX/Strict.hs- return a = mkStateX (getVal::ix) $ \s -> (a, s)
mtlx-0.1.6/Control/Monad/StateX/Strict.hs- return a = mkStateX (getVal::ix) $ \s -> (a, s)
mtlx-0.1.6/Control/Monad/StateX/Strict.hs- return a = mkStateTX (getVal::ix) $ \s -> return (a, s)
mtlx-0.1.6/Control/Monad/StateX/Strict.hs- return a = mkStateTX (getVal::ix) $ \s -> return (a, s)
mtlx-0.1.6/Control/Monad/WriterX/Lazy.hs- return a = mkWriterX (getVal::ix) (a, mempty)
mtlx-0.1.6/Control/Monad/WriterX/Lazy.hs- return a = mkWriterTX (getVal::ix) $ return (a, mempty)
mtlx-0.1.6/Control/Monad/WriterX/Strict.hs- return a = mkWriterX (getVal::ix) (a, mempty)
mtlx-0.1.6/Control/Monad/WriterX/Strict.hs- return a = mkWriterTX (getVal::ix) $ return (a, mempty)
mtlx-0.1.6/examples/ListX.hs- return a = mkListX (getVal::ix) $ [a]
mtlx-0.1.6/examples/ListX.hs- return a = mkListTX (getVal::ix) $ return [a]
multifocal-0.0.1/dist/build/Language/TLT/TltLexer.hs- return a = Alex $ \s -> Right (s,a)
multifocal-0.0.1/dist/build/Language/TLT/TltParser.hs- return = HappyIdentity
multipass-0.1.0.2/Data/Pass/Calc.hs- return = Stop
multistate-0.6.0.0/src/Control/Monad/Trans/MultiState/Strict.hs- return = MultiStateT . return
multistate-0.6.0.0/src/Control/Monad/Trans/MultiState/Lazy.hs- return = MultiStateT . return
multistate-0.6.0.0/src/Control/Monad/Trans/MultiRWS/Strict.hs- return = MultiRWST . return
multistate-0.6.0.0/src/Control/Monad/Trans/MultiRWS/Lazy.hs- return = MultiRWST . return
multistate-0.6.0.0/src/Control/Monad/Trans/MultiReader/Strict.hs- return = MultiReaderT . return
multistate-0.6.0.0/src/Control/Monad/Trans/MultiReader/Lazy.hs- return = MultiReaderT . return
multistate-0.6.0.0/src/Control/Monad/Trans/MultiWriter/Strict.hs- return = MultiWriterT . return
multistate-0.6.0.0/src/Control/Monad/Trans/MultiWriter/Lazy.hs- return = MultiWriterT . return
music-score-1.8.1/src/Data/PairMonad.hs- return = pure
music-score-1.8.1/src/Music/Time/Chord.hs- return = view _Unwrapped . return . return
music-score-1.8.1/src/Music/Time/Event.hs- return = Compose . return . return
music-score-1.8.1/src/Music/Time/Reactive.hs- return = Trans . return . return
music-score-1.8.1/src/Music/Time/Score.hs- return = (^. _Unwrapped') . return . return
music-score-1.8.1/src/Music/Time/Score.hs- return = (^. _Unwrapped) . pure . pure
music-score-1.8.1/src/Music/Time/Track.hs- return = view _Unwrapped . return . return
music-score-1.8.1/src/Music/Time/Voice.hs- return = view _Unwrapped . return . return
musicxml-0.1.2/src/Text/XML/MusicXML/Util.lhs- return x = Ok x
musicxml-0.1.2/src/Text/XML/MusicXML/Util.lhs- return x = State (\s -> (s,x))
musicxml-0.1.2/src/Text/XML/MusicXML/Util.lhs- return x = StateT (\s -> return (s,x))
mutable-iter-0.6.1/src/Data/MutableIter.hs- return x = MIteratee (I.Iteratee $ \onDone _ -> onDone x (I.Chunk empty))
mwc-random-monad-0.7.3.1/System/Random/MWC/Monad.hs- return = Rand . const . return
mysnapsession-0.4.1/src/Snap/Dialogues.hs- return = Done
mysnapsession-0.4.1/src/Snap/Dialogues.hs- Action x >>= y = Action (x >>= return . (>>= y))
myTestlll-1.0.0/HSoM/Monads.lhs-m >>= return = m
myTestlll-1.0.0/HSoM/Monads.lhs-do x <- return a ; k x = k a
myTestlll-1.0.0/HSoM/Monads.lhs-do x <- m ; return x = m
myTestlll-1.0.0/HSoM/Monads.lhs- return = Just
myTestlll-1.0.0/HSoM/Monads.lhs- return x = [x]
mzv-0.1.0.2/src/Control/Monad/Cont.hs- return a = Cont ($ a)
mzv-0.1.0.2/src/Control/Monad/Cont.hs- return a = ContT ($ a)
mzv-0.1.0.2/src/Control/Monad/Error.hs--- return = Right
mzv-0.1.0.2/src/Control/Monad/Error.hs- return a = ErrorT $ return (Right a)
mzv-0.1.0.2/src/Control/Monad/Identity.hs- return a = Identity a
mzv-0.1.0.2/src/Control/Monad/Identity.hs- return = IdentityT . return
mzv-0.1.0.2/src/Control/Monad/Identity.hs- unlift = \k -> IdentityT (k (\tm -> runIdentityT tm >>= return . Identity) >>= return . runIdentity)
mzv-0.1.0.2/src/Control/Monad/List.hs- return a = ListT $ return [a]
mzv-0.1.0.2/src/Control/Monad/Mask.hs- unlift k = Tag $ k (\tm -> unTag tm >>= return . Identity) >>= return . runIdentity
mzv-0.1.0.2/src/Control/Monad/Mask.hs- return = Tag . return
mzv-0.1.0.2/src/Control/Monad/Reader.hs- return a = Reader $ \_ -> a
mzv-0.1.0.2/src/Control/Monad/Reader.hs- return a = ReaderT $ \_ -> return a
mzv-0.1.0.2/src/Control/Monad/Reader.hs-> return (count == (Map.size bindings))
mzv-0.1.0.2/src/Control/Monad/Views.hs- return = MonadStateReaderT . return
mzv-0.1.0.2/src/Control/Monad/Zipper.hs- return x = returnZ x
mzv-0.1.0.2/src/Control/Monad/RWS/Lazy.hs- return a = RWS $ \_ s -> (a, s, mempty)
mzv-0.1.0.2/src/Control/Monad/RWS/Lazy.hs- return a = RWST $ \_ s -> return (a, s, mempty)
mzv-0.1.0.2/src/Control/Monad/RWS/Strict.hs- return a = RWS $ \_ s -> (a, s, mempty)
mzv-0.1.0.2/src/Control/Monad/RWS/Strict.hs- return a = RWST $ \_ s -> return (a, s, mempty)
mzv-0.1.0.2/src/Control/Monad/State/Lazy.hs- return a = State $ \s -> (a, s)
mzv-0.1.0.2/src/Control/Monad/State/Lazy.hs- return a = StateT $ \s -> return (a, s)
mzv-0.1.0.2/src/Control/Monad/State/Lazy.hs- unlift f = StateT $ \s -> f (\m -> runStateT m s >>= return . toRP) >>= return . fromRP
mzv-0.1.0.2/src/Control/Monad/State/Strict.hs- return a = State $ \s -> (a, s)
mzv-0.1.0.2/src/Control/Monad/State/Strict.hs- return a = StateT $ \s -> return (a, s)
mzv-0.1.0.2/src/Control/Monad/Writer/Lazy.hs- return a = Writer (a, mempty)
mzv-0.1.0.2/src/Control/Monad/Writer/Lazy.hs- return a = WriterT $ return (a, mempty)
mzv-0.1.0.2/src/Control/Monad/Writer/Lazy.hs- unlift f = WriterT $ (f (\tmx -> runWriterT tmx >>= return . (\(x,w) -> WriterF x w))) >>= return . (\(WriterF x w) -> (x,w))
mzv-0.1.0.2/src/Control/Monad/Writer/Strict.hs- return a = Writer (a, mempty)
mzv-0.1.0.2/src/Control/Monad/Writer/Strict.hs- return a = WriterT $ return (a, mempty)
nanoparsec-0.1.1/Data/Nanoparsec/Internal.hs- return x = Parser $ \s _ su → su x s
nanospec-0.2.1/src/Test/Hspec.hs- return = pure
narc-0.1.3/Gensym.hs- return v = G(\x -> (x,v))
neither-0.3.1.1/Data/Neither.hs- return = MRight
neither-0.3.1.1/Data/Neither.hs- return = MEitherT . return . return
netcore-1.0.0/nettle-openflow/src/Nettle/OpenFlow/StrictPut.hs- return x = PutM (\ptr -> return (x, ptr))
NetSNMP-0.3.1.0/src/Network/Protocol/NetSNMP.hsc- return a = Trouble $ return (Right a)
nettle-frp-0.1.1/src/Nettle/FRPControl/AFRPTask.hs- return x = Task (\k -> k x)
nettle-frp-0.1.1/src/Nettle/FRPControl/AFRPTask.hs- return x >>= f
nettle-openflow-0.2.0/src/Nettle/OpenFlow/StrictPut.hs- return x = PutM (\ptr -> return (x, ptr))
network-api-support-0.2.0/src/Network/Api/Support/Response.hs- return = JsonSuccess
network-dns-1.0.0.1/src/Network/DNS.hs- return = lift . return
network-house-0.1.0.1/Net/PacketParsing.hs- return x = P $ \ p -> return (Out x p)
network-transport-tcp-0.4.1/tests/TestQC.hs- return x = Unifier $ \subst -> Just (x, subst)
newsynth-0.3.0.1/Quantum/Synthesis/StepComp.hs- return a = Done a
nntp-0.0.4/src/Network/NNTP/Internal.hs- return x = NntpT $ \s -> return $! (s, Right x)
noise-0.0.1/src/Text/Noise/Compiler/Function.hs- return x = Function $ \args -> Success x args
Nomyx-Core-0.7.6/src/Data/Todo.hs- return = Done
Nomyx-Language-0.7.6/src/Language/Nomyx/Expression.hs- return = Return
Nomyx-Language-0.7.6/src/Language/Nomyx/Expression.hs- return = PureEvent
Nomyx-Rules-0.1.0/src/Language/Nomyx/Expression.hs- return = Const
nondeterminism-1.0/Control/Monad/Amb.hs- return = AmbT . return
non-empty-0.2.1/src/Data/NonEmptyPrivate.hs- return = singleton
NonEmptyList-0.0.9/Data/List/NonEmpty.hs- return = flip NonEmpty []
noodle-0.0.19/src/lib/Language/Noodle/Parsing/Generic.hs- return value = P (\(state,tokens) -> Success value state tokens)
NoSlow-0.2/NoSlow/Backend/TH.hs- return x = SM $ \_ ns -> (x, ns)
NoSlow-0.2/NoSlow/Util/Opts.hs- return = Ok
null-canvas-0.2.7/Graphics/Blank/Canvas.hs- return = Return
numeric-prelude-0.4.2/src/Number/SI.hs- return = SIValue.Cons
numeric-prelude-0.4.2/src/Number/Physical.hs- return = fromScalarSingle
numeric-prelude-0.4.2/src/Number/OccasionallyScalarExpression.hs- return = OccScalar.fromScalar
numeric-prelude-0.4.2/src/Number/ResidueClass/Reader.hs- return = Cons . const
numeric-tools-0.2.0.1/Numeric/Tools/Equation.hs- return = Root
ObjectIO-1.0.1.1/Graphics/UI/ObjectIO/OS/Picture.hs- return x = Draw (\pict -> return (x, pict))
ObjectIO-1.0.1.1/Graphics/UI/ObjectIO/OS/Picture.hs-setPictOrigin origin = Draw (\picture -> return ((), picture{pictOrigin=origin}))
objective-1.0.5/src/Control/Object/Mortal.hs- return a = mortal $ const $ left a
objective-1.0.5/src/Control/Object/Mortal.hs- Right (x, m') -> return (x, m' >>= k)
Obsidian-0.1.0.0/Obsidian/Program.hs- return = Return
OGL-0.0.3/Graphics/Rendering/OGL/GL/IOState.hs- return a = IOState $ \s -> return (a, s)
oi-0.3.1/src/Data/OI/Internal.hs- return = (##)
omega-1.5.2/Bind.hs- return x = M (\ n -> (x,n))
omega-1.5.2/Monads.hs- return x = Right x
omega-1.5.2/Monads.hs- return x = Id x
omega-1.5.2/Monads.hs- return x = Ok x
omega-1.5.2/Monads.hs- return x = Env(\ e -> x)
omega-1.5.2/Monads.hs- return x = St(\ s -> (x,s))
omega-1.5.2/Monads.hs- return x = Mult[x]
omega-1.5.2/Monads.hs- return x = OP(x,"")
omega-1.5.2/Monads.hs- return x = FIO(return(Ok x))
omega-1.5.2/Monads.hs- return x = SE h
omega-1.5.2/Monads.hs- return x = Tc f where f env = return(x,[])
OneTuple-0.2.1/Data/Tuple/OneTuple.hs- return = OneTuple
OpenGL-2.12.0.1/src/Graphics/Rendering/OpenGL/GL/IOState.hs- return a = IOState $ \s -> return (a, s)
opensoundcontrol-ht-0.3/src/Sound/OSC/Transport/Monad/ByteString.hs- return = Cons . return
Operads-1.0/Math/Operad/OrderedTree.hs- return = DTLeaf;
operational-0.2.3.2/src/Control/Monad/Operational.hs- return = Lift . return
operational-0.2.3.2/src/Control/Monad/Operational.hs-viewT ((Instr i) `Bind` g) = return (i :>>= g)
operational-0.2.3.2/src/Control/Monad/Operational.hs-viewT (Instr i) = return (i :>>= return)
optional-args-1.0.0/src/Data/Optional.hs- return = Specific
optparse-applicative-0.11.0.2/Options/Applicative/Types.hs- return = pure
optparse-applicative-0.11.0.2/Options/Applicative/Types.hs- return x = ParserM $ \k -> k x
optparse-applicative-0.11.0.2/Options/Applicative/Types.hs- return = pure
optparse-applicative-0.11.0.2/Options/Applicative/Internal.hs- return a = P $ return a
optparse-applicative-0.11.0.2/Options/Applicative/Internal.hs- return = pure
optparse-applicative-0.11.0.2/Options/Applicative/Internal.hs- return a = Completion $ return a
optparse-applicative-0.11.0.2/Options/Applicative/Internal.hs- return = pure
optparse-applicative-0.11.0.2/Options/Applicative/Internal.hs- return = pure
optparse-applicative-0.11.0.2/Options/Applicative/Help/Chunk.hs- return = pure
orc-1.2.1.4/src/Control/Concurrent/Hierarchical.hs- return x = HIO $ \_ -> return x
orc-1.2.1.4/src/Orc/Monad.hs- return x = Orc $ \k -> k x
ord-adhoc-0.0.0.1/Data/Ord/Bounded.hs- return = ValueB
pack-0.4.0/Data/Pack/Packet.hs- return = pure
packer-0.1.8/Data/Packer/Internal.hs- return = returnPacking
packer-0.1.8/Data/Packer/Internal.hs- return = returnUnpacking
paragon-0.1.28/src/Language/Java/Paragon/NameResolution/Monad.hs- return = liftPR . return
paragon-0.1.28/src/Language/Java/Paragon/Monad/Base.hs- return x = BaseM $ \_ _ -> return $ Right x
paragon-0.1.28/src/Language/Java/Paragon/Monad/PiReader.hs- return x = PiReader $ \_ -> return x
paragon-0.1.28/src/Language/Java/Paragon/TypeCheck/Monad/TcDeclM.hs- return x = TcDeclM $ \k -> k x
paragon-0.1.28/src/Language/Java/Paragon/TypeCheck/Monad/TcDeclM.hs- return = liftPR . return
paragon-0.1.28/src/Language/Java/Paragon/TypeCheck/Monad/TcCodeM.hs- return x = TcCodeM $ \_ s -> return (x, s, [])
paragon-0.1.28/src/Language/Java/Paragon/TypeCheck/Monad/TcCodeM.hs-updateState f = getState >>= return . f >>= setState
parallel-3.2.0.6/Control/Parallel/Strategies.hs- return x = Eval $ \s -> (# s, x #)
parallel-3.2.0.6/Control/Parallel/Strategies.hs- return x = Done x
parallel-3.2.0.6/Control/Parallel/Strategies.hs--- return x >>= f ==> Done x >>= f ==> f x
parallel-3.2.0.6/Control/Parallel/Strategies.hs--- (i) m >>= return =*> Done u >>= return
parallel-3.2.0.6/Control/Parallel/Strategies.hs--- (ii) m >>= return =*> undefined >>= return
parcom-lib-0.8.0.2/Text/Parcom/Core.hs- return x = ParcomT (\s -> return (Right x, s))
parconc-examples-0.3.5/findpar5.hs- return a = E (return (Right a))
parconc-examples-0.3.5/parinfer/InferMonad.hs- return = returnI
parsec1-1.0.0.6/Text/ParserCombinators/Parsec/Prim.hs- return x = parsecReturn x
parsec2-1.0.0/Text/ParserCombinators/Parsec/Prim.hs- return x = parsecReturn x
parsec3-1.0.1.8/Text/Parsec/Prim.hs- return x = parserReturn x
parsec-3.1.9/Text/Parsec/Prim.hs- return x = parserReturn x
parsek-1.0.1.3/Text/ParserCombinators/Parsek.hs- return a = Parser (\fut -> fut a)
parsergen-0.2.0.7/src/ParserGen/Parser.hs- return a = Parser $ \s -> (# OK a, s #)
parsimony-1.3/src/Parsimony/Prim.hs- return a = pure a
pcf-0.1.0.1/src/Language/Pcf.hs- return = V
pcf-0.1.0.1/src/Language/Pcf.hs- return = VC
pcf-0.1.0.1/src/Language/Pcf.hs- return = VL
pcf-0.1.0.1/src/Language/Pcf.hs- return = VFC
PCLT-0.1/Text/PCLT/Parser/ParserInternals.hs- return !x = Parser $! return $! Success x
peakachu-0.3.1/src/FRP/Peakachu/Program.hs- return x = AppendProg $ Program [x] Nothing
peggy-0.3.2/Text/Peggy/Prim.hs- return v = Parser $ \_ pos p s -> return $ Parsed pos p s v
peggy-0.3.2/Text/Peggy/Prim.hs- fmap f p = return . f =<< p
penny-0.32.0.10/lib/Penny/Lincoln/Serial.hs- return a = GenSerial $ \s -> (a, s)
penny-lib-0.22.0.0/lib/Penny/Lincoln/Serial.hs- return a = GenSerial $ \s -> (a, s)
perdure-0.2.1/src/Database/Perdure/CDeserializer.hs- return = pure
perm-0.4.0.0/Control/Monad/Perm/Internal.hs- return = lift . return
persistable-record-0.1.0.0/src/Database/Record/FromSql.hs- return a = createRecordFromSql ((,) a)
picoparsec-0.1.2.2/Data/Picoparsec/Zepto.hs- return a = Parser $ \s -> (# OK a, s #)
picoparsec-0.1.2.2/Data/Picoparsec/Internal/Types.hs- return = returnP
pipes-4.1.5/src/Pipes.hs- return a = Select (yield a)
pipes-4.1.5/src/Pipes/Internal.hs- return = Pure
pipes-concurrency-2.0.3/src/Pipes/Concurrent.hs- return r = Input (return (return r))
pipes-core-0.1.0/Control/Pipe/Common.hs- return r = Pure r []
pipes-extra-0.2.0/Control/Pipe/PutbackPipe.hs- return = PutbackPipe . return
pipes-safe-2.2.2/src/Pipes/Safe.hs- return r = SafeT (return r)
plat-0.1.0.1/Plat/Context.hs- return = Context . return
plat-0.1.0.1/Plat/Errors.hs- return = Result
plot-0.2.3.4/lib/Control/Monad/Supply.hs- return a = SupplyT $ \s -> return (a, s)
Plot-ho-matic-0.5.0.5/src/PlotHo.hs- return a = Plotter $ return (a, [])
polyparse-1.11/src/Text/ParserCombinators/HuttonMeijer.hs- return v = P (\inp -> [(v,inp)])
polyparse-1.11/src/Text/ParserCombinators/HuttonMeijerWallace.hs- return v = P (\st inp -> Right [(v,st,inp)])
polyparse-1.11/src/Text/ParserCombinators/Poly/ByteString.hs- return x = P (\ts-> Success ts x)
polyparse-1.11/src/Text/ParserCombinators/Poly/ByteStringChar.hs- return x = P (\ts-> Success ts x)
polyparse-1.11/src/Text/ParserCombinators/Poly/Lazy.hs- return x = P (return x)
polyparse-1.11/src/Text/ParserCombinators/Poly/Lex.hs- return x = P (\ts-> Success ts x)
polyparse-1.11/src/Text/ParserCombinators/Poly/Parser.hs- return x = P (\ts-> Success ts x)
polyparse-1.11/src/Text/ParserCombinators/Poly/StateLazy.hs- return x = P (return x)
polyparse-1.11/src/Text/ParserCombinators/Poly/StateParser.hs- return x = P (\s ts-> Success (ts,s) x)
polyparse-1.11/src/Text/ParserCombinators/Poly/StateText.hs- return x = P (\s ts-> Success (ts,s) x)
polyparse-1.11/src/Text/ParserCombinators/Poly/Text.hs- return x = P (\ts-> Success ts x)
polyseq-0.1.2.1/src/Language/Haskell/FreeTheorems/Variations/PolySeq/M.hs- return a = M (\s -> [(a,s)])
polysoup-0.5.2/src/Text/XML/PolySoup/Parser.hs- return = pure
pooled-io-0.0.2/src/Control/Concurrent/PooledIO/InOrder.hs- return = Cons . return
possible-0.1.0.5/Data/Possible.hs- return = HaveData
postgresql-simple-0.4.10.0/src/Database/PostgreSQL/Simple/Internal.hs- return a = Conversion $ \_conn -> return (return a)
postgresql-simple-0.4.10.0/src/Database/PostgreSQL/Simple/Ok.hs- return = Ok
powerpc-0.0.1/Language/PowerPC/RTL.hs- return a = RTL (\ s -> (a, s))
precis-0.5.0/src/Precis/Cabal/ResolveM.hs- return a = ResolveM $ \_ st -> return (a,st)
precis-0.5.0/src/Precis/ReportMonad.hs- return a = ReportM $ \_ w -> returnIO (a,w)
presburger-1.3.1/src/Data/Integer/SAT.hs- return a = One a
presburger-1.3.1/src/Data/Integer/SAT.hs- return a = S $ \s -> return (a,s)
probability-0.2.4.1/src/Numeric/Probability/Random.hs- return x = Cons (return x)
probability-0.2.4.1/src/Numeric/Probability/Random.hs-pick d = return . Dist.selectP d =<< randomR (0,1)
probability-0.2.4.1/src/Numeric/Probability/Either.hs- return a = EitherT $ return $ Right a
probability-0.2.4.1/src/Numeric/Probability/Distribution.hs- return = certainly
ProbabilityMonads-0.1.0/Control/Monad/MonoidValue.hs- return v = MV mempty v
ProbabilityMonads-0.1.0/Control/Monad/MonoidValue.hs- return = lift . return
probable-0.1.0.0/src/Math/Probable/Random.hs- return x = RandT $ \_ -> return x
probable-0.1.0.0/src/Math/Probable/Random.hs- fmap f r = RandT $ \gen -> return . f =<< runRandT r gen
probable-0.1.0.0/src/Math/Probable/Distribution/Finite.hs- return evt = Event evt 1
probable-0.1.0.0/src/Math/Probable/Distribution/Finite.hs- return = lift . return
processing-1.2.0.1/Graphics/Web/Processing/Mid.hs- return = pure
processing-1.2.0.1/Graphics/Web/Processing/Mid.hs- s2 = execState e2 $ EventState { event_preamble = return () , event_code = setVarNumber n1 }
processing-1.2.0.1/Graphics/Web/Processing/Mid.hs- return = pure
processing-1.2.0.1/Graphics/Web/Processing/Core/Monad.hs- return = pure
profunctors-5.1.1/src/Data/Profunctor.hs- return a = Star $ \_ -> return a
profunctors-5.1.1/src/Data/Profunctor.hs- return a = Costar $ \_ -> a
progression-0.5.0.2/Progression/Config.hs- return = Result
progression-0.5.0.2/Progression/Plot.hs- return = Fine
promise-0.1.0.0/src/Control/Concurrent/Promise.hs- return = liftIO . return
protocol-buffers-2.0.17/Text/ProtocolBuffers/Get.hs- return a = seq a $ Get (\sc -> sc a)
protocol-buffers-fork-2.0.16/Text/ProtocolBuffers/Get.hs- return a = seq a $ Get (\sc -> sc a)
PTQ-0.0.7/src/Parser.hs- return x = Parser $ \_ s ts -> [(x,s,ts)]
pugixml-0.3.2/Text/XML/Pugi/Mutable.hs- return = pure
Pugs-6.2.13.20130611/src/Pugs/Monads.hs- return = MaybeT . return . Just
Pugs-6.2.13.20130611/src/Pugs/AST/Eval.hs- return a = EvalT $ return (RNormal a)
Pugs-6.2.13.20130611/src/Pugs/AST/SIO.hs- return a = MkSIO a
pugs-DrIFT-2.2.3.20130611/src/ParseLib2.hs- return v = P (\pos inp -> [(v,inp)])
QIO-1.2/QIO/Qio.hs- return = Prob . return
QIO-1.2/QIO/QioSyn.hs- return = QReturn
QIO-1.2/QIO/Vec.hs- return a = Vec [(a,1)]
QIO-1.2/QIO/VecEq.hs- return = Return
QuickCheck-2.8.1/Test/QuickCheck/Gen.hs- return x =
QuickCheck-2.8.1/Test/QuickCheck/Monadic.hs- return x = MkPropertyM (\k -> k x)
QuickCheck-2.8.1/Test/QuickCheck/Property.hs- return x = MkRose x []
QuickCheck-GenT-0.1.4/src/QuickCheck/GenT.hs- return a = GenT (\_ _ -> return a)
rad-0.1.6.3/Numeric/RAD.hs- return a = S (\s -> (a,s))
ralist-0.1.0.0/Data/RAList.hs- return x = RAList 1 (Cons 1 (Leaf x) Nil)
random-fu-0.2.6.2/src/Data/Random/Distribution/Categorical.hs- return x = Categorical (V.singleton (1, x))
rand-vars-0.1/Control/Monad/Random.hs- return x = Rand (\ g -> (x, g))
rand-vars-0.1/Control/Monad/Random.hs- return x = RandT (\ g -> return (x, g))
react-haskell-1.3.0.0/src/React/Types.hs- return a = ReactT $ \_ -> return ([], a)
reactive-0.11.5/src/Data/PairMonad.hs- return = pure
reactive-0.11.5/src/FRP/Reactive/Fun.hs- return = pure
reactive-0.11.5/src/FRP/Reactive/PrimReactive.hs- return a = Event (pure (pure a))
reactive-0.11.5/src/FRP/Reactive/PrimReactive.hs- return = pure
reactive-banana-0.8.1.2/src/Reactive/Banana/Model.hs- return = const
reactive-banana-0.8.1.2/src/Reactive/Banana/Switch.hs- return x = AnyMoment $ return (Identity x)
reactive-banana-0.8.1.2/src/Reactive/Banana/Types.hs- return = F . return
reactive-banana-0.8.1.2/src/Reactive/Banana/Types.hs- return = M . return
reactive-banana-0.8.1.2/src/Reactive/Banana/Test/Plumbing.hs- return a = M (return a) (return a)
reactive-thread-0.3.2.1/Reactive/Thread/Internal/Thread.hs- return = Pure
reactive-thread-0.3.2.1/Reactive/Thread/Internal/Thread.hs- Lift m >>= f = Lift (m >>= \ t -> return (t >>= f))
reactor-0.1.3/Reactor/Observable.hs- return = pure
reactor-0.1.3/Reactor/Task.hs- return = pure
reasonable-operational-0.1.0.1/src/Control/Monad/Operational.hs- return = Pure
reasonable-operational-0.1.0.1/src/Control/Monad/Operational.hs- return = Program . return
redHandlers-0.1/Network/HTTP/RedHandler/Response.hs- return x = HandlerRsp [] (Right x)
reflection-extras-0.1.1.0/src/Data/Reflection/Extras.hs- return =
reflection-without-remorse-0.9.5/Control/Monad/Operational/Reflectable.hs- return = fromView . Return
reflection-without-remorse-0.9.5/Control/Monad/Free/Reflectable.hs- return = fromView . Pure
reform-0.2.7/Text/Reform/Result.hs- return = Ok
RefSerialize-0.3.1.4/Data/RefSerialize/Serialize.hs- return x = STW (\s -> (s, x))
RefSerialize-0.3.1.4/Data/RefSerialize/Parser.hs- return x = STR (\s -> Right (s, x))
regex-applicative-0.3.1/Text/Regex/Applicative/Reference.hs- return x = P $ \s -> [(x, s)]
remote-0.1.1/Remote/Process.hs- return x = ProcessM $ \s -> return (s,x)
remote-0.1.1/Remote/Process.hs- return x = MatchM $ \mb -> return $ ((mb,Nothing),x)
remote-0.1.1/Remote/Task.hs- return x = TaskM $ \ts -> return $ (ts,x)
remote-debugger-0.2.1/src/DebuggerMonad.hs- return a = DebuggerMonad $ \_ -> return a
remote-debugger-0.2.1/src/ParserMonad.hs- return x = P $ \cs -> [ (x, cs) ]
repa-convert-4.2.0.1/Data/Repa/Convert/Format/Base.hs- return = pure
repa-v4l2-0.2.0.0/src/Graphics/Webcam/Linux/Internal.hs- return = V4lCamT . return
repa-v4l2-0.2.0.0/src/Graphics/Webcam/Linux/Internal.hs- -- return . toByteString >>=
repa-v4l2-0.2.0.0/src/Graphics/Webcam/Linux/Internal.hs- -- return . BMP.packRGBA32ToBMP w h >>=
RepLib-0.5.3.3/Generics/RepLib/Lib.hs- return x = M x []
representable-functors-3.2.0.2/src/Control/Monad/Representable/Reader.hs- return = ReaderT . pureRep . return
representable-functors-3.2.0.2/src/Control/Monad/Representable/State.hs- return = StateT . leftAdjunctRep return
representable-functors-3.2.0.2/src/Data/Functor/Representable.hs- return = pureRep
representable-tries-3.0.2/src/Control/Monad/Reader/Trie.hs- return = ReaderTrieT . pure . return
representable-tries-3.0.2/src/Data/Functor/Representable/Trie.hs- return a = Trie (pureRep a)
representable-tries-3.0.2/src/Data/Functor/Representable/Trie/Bool.hs- return = pure
representable-tries-3.0.2/src/Data/Functor/Representable/Trie/Either.hs- return = pureRep
representable-tries-3.0.2/src/Data/Functor/Representable/Trie/List.hs- return a = as where as = ListTrie a (pureRep as)
resource-simple-0.2/src/Control/Monad/Resource.hs- return = ResourceT . const . return
resourcet-1.1.5/Control/Monad/Trans/Resource/Internal.hs- return = ResourceT . const . return
resourcet-1.1.5/Data/Acquire/Internal.hs- return a = Acquire (\_ -> return (Allocated a (const $ return ())))
respond-1.1.0/src/Web/Respond/Path.hs- return = pure
rest-types-1.14.0.1/src/Rest/Types/Error.hs- return a = CustomReason (DomainReason a)
resumable-exceptions-0.0.0.20100920/Control/Monad/Resumable.hs- return = lift . return
rev-state-0.1/Control/Monad/Trans/RevState.hs- return x = state $ \s -> (x, s)
rewriting-0.2.2/src/Generics/Regular/Rewriting/Strategies.hs- return x = S x mzero
risc386-0.0.20130719/dist/build/risc386/risc386-tmp/ParseIntel.hs- return = HappyIdentity
rivers-0.1.0/Data/Rivers/Streams.hs- return = srepeat
rivet-migration-0.1.0.1/src/Rivet/Migration.hs- return v = Migration v []
rmonad-0.8.0.2/src/Control/RMonad.hs- return = M.return
rmonad-0.8.0.2/src/Control/RMonad.hs- return = M.return
rmonad-0.8.0.2/src/Control/RMonad.hs- return = M.return
rmonad-0.8.0.2/src/Control/RMonad.hs- return = M.return
rmonad-0.8.0.2/src/Control/RMonad.hs- return = Set.singleton
rmonad-0.8.0.2/src/Control/RMonad/AsMonad.hs- return = Return
rmonad-0.8.0.2/src/Control/RMonad/Trans/Set.hs- return a = withResConstraints $ \SetTConstraints -> SetT $ return (Set.singleton a)
rmonad-0.8.0.2/src/Control/RMonad/Trans/Reader.hs- return a = withResConstraints $ \ReaderTConstraints -> ReaderT $ const (return a)
rmonad-0.8.0.2/src/Control/RMonad/Trans/List.hs- return a = withResConstraints $ \ListTConstraints -> ListT $ return [a]
rmonad-0.8.0.2/src/Control/RMonad/Trans/Cont.hs- return a = ContT $ \c -> c a
roguestar-engine-0.6.0.1/src/DB.hs- return a = DB $ \h f -> f a h
roguestar-engine-0.6.0.1/src/Perception.hs- return = DBPerception . return
rope-0.6.4/Data/Rope/Branded.hs- return = Branded mempty
roshask-0.2/src/Ros/Topic.hs- fmap f (IterContM (x, k)) = IterContM (fmap f x, return . fmap f <=< k)
rowrecord-0.1/Text/RowRecord.hs- return = Success
rvar-0.2.0.2/src/Data/RVar.hs- return x = RVarT (return $! x)
RxHaskell-0.2/Signal.hs- return v =
RxHaskell-0.2/Scheduler/Internal.hs- return v = SchedulerIO $ \_ -> return v
safe-access-0.2.1.1/src/Control/SafeAccess.hs- return = SafeAccessT . const . return . Right
safe-freeze-0.2.1/Control/Monad/ST/Freeze.hs- return = ireturn
satchmo-2.9.7.1/Satchmo/SAT/Mini.hs- return x = SAT $ \ s -> return x
satchmo-toysat-0.2.1.0/src/Satchmo/SAT/Toysat.hs- return x = SAT $ \ _ -> return x
scalpel-0.2.1/src/Text/HTML/Scalpel/Internal/Scrape.hs- return = pure
scat-1.1.0.1/src/Scat/Builder.hs- return = pure
scion-0.1.0.2/lib/Scion/Types.hs- return x = ScionM $ \_ -> return x
scion-0.1.0.2/server/Scion/Server/Commands.hs- return x = Pa $ \_ -> Right x
sci-ratio-0.2.1.0/tests/Main.hs- return x = Test $ \ s -> return (x, s)
scotty-0.10.0/Web/Scotty/Internal/Types.hs- return = ActionT . return
scyther-proof-0.10.0.0/dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs- return a = Alex $ \s -> Right (s,a)
scyther-proof-0.10.0.0/src/Scyther/Theory/Lexer.x- return a = Alex $ \s -> Right (s,a)
scyther-proof-0.10.0.0/src/Text/Dot.hs- return a = Dot $ \ uq -> ([],uq,a)
search-0.1.0.1/src/Data/Search.hs- return a = Search $ \_ -> a
search-0.1.0.1/src/Data/Search/Intensional.hs- return a = Search $ \_ -> return a
seclib-1.1.0.2/SecLib/TCB/SecIO.hs- return a =
seclib-1.1.0.2/SecLib/TCB/Sec.hs- return a = MkSec a
selectors-0.0.3.0/dist/build/XML/Selectors/CSS/Tokens.hs- return a = Alex $ \s -> Right (s,a)
semigroups-0.16.2.2/src/Data/Semigroup.hs- return = Min
semigroups-0.16.2.2/src/Data/Semigroup.hs- return = Max
semigroups-0.16.2.2/src/Data/Semigroup.hs- return = First
semigroups-0.16.2.2/src/Data/Semigroup.hs- return = Last
semigroups-0.16.2.2/src/Data/Semigroup.hs- return = pure
semigroups-0.16.2.2/src/Data/List/NonEmpty.hs- return a = a :| []
sequent-core-0.4/src/Language/SequentCore/Simpl/Monad.hs- return x = SimplM $
sessions-2008.7.18/Control/Concurrent/Session/Base/SMonad.hs- return a = SChain $ \x -> return (a, x)
set-monad-0.2.0.0/Data/Set/Monad.hs- return = Return
sgf-0.1.3.1/Data/SGF/Parse/Encodings.hs- return = MyEither . Right
shakespeare-2.0.5/Text/Hamlet/Parse.hs- return = Ok
shell-conduit-4.5.2/src/Data/Conduit/Shell/Process.hs- return = SegmentConduit . return
shellmate-0.1.6/Control/Shell.hs- return x = Shell $ \_ -> return (Right x, [])
shell-monad-0.6.4/Control/Monad/Shell.hs- return ret = Script $ \env -> ([], env, ret)
shelly-1.6.2.5/src/Shelly/Pipe.hs- return = Sh . return . return
sifflet-lib-2.2.1/Language/Sifflet/Expr.hs- return = EvalOk
sifflet-lib-2.2.1/Language/Sifflet/Util.hs- return = Succ
simple-0.10.1/src/Web/Simple/Controller/Trans.hs- return a = ControllerT $ \st _ -> return $ (Right a, st)
simple-conduit-0.5.1/Conduit/Simple/Core.hs- return x = Source $ return x
simple-pipe-0.0.0.28/src/Data/Pipe/Core.hs- (p >> return undefined) |||| (await >>= maybe (return undefined) return)
sindre-0.4/Sindre/ANSI.hs- return SindreANSIConf { sindreTerminal = h
sindre-0.4/Sindre/Runtime.hs-waitForEvent = maybe waitForBackEvent return =<< popQueue
sindre-0.4/Sindre/Runtime.hs- return (v, WidgetSlot s { widgetObject = s' })
sindre-0.4/Sindre/Runtime.hs- return (v, s { objectState = s' })
sindre-0.4/Sindre/Runtime.hs- return (v, s { widgetObject = (widgetObject s)
sloth-0.0.2/Test/Sloth/Search.hs- return = Complete
sloth-0.0.2/Test/Sloth/Search.hs- return = lift . return
smartcheck-0.2.1/src/Test/SmartCheck/Types.hs- return a = Result a
smartword-0.0.0.5/CGI.lhs- return v = Parser (\inp -> [(v,inp)])
sme-0.1/SME/ME.hs- return x = Return x
smtlib2-0.2/Language/SMTLib2/Internals.hs- return x = SMT $ \b -> return (x,b)
snap-0.14.0.5/src/Snap/Snaplet/Internal/RST.hs- return a = RST $ \_ s -> return (a, s)
snap-0.14.0.5/src/Snap/Snaplet/Internal/Lensed.hs- return a = Lensed $ \_ v s -> return (a, v, s)
snap-core-0.9.7.0/src/Snap/Internal/Types.hs- return = snapReturn
snaplet-mandrill-0.1.0.3/src/Snap/Snaplet/Mandrill.hs- return =<< MandrillState <$> (liftIO $ require conf "token")
snaplet-mandrill-0.1.0.3/src/Snap/Snaplet/Mandrill.hs- return =<< M.runMandrill tk action
snaplet-typed-sessions-0.5/src/Snap/Dialogues.hs- return = Done
snaplet-typed-sessions-0.5/src/Snap/Dialogues.hs- Action x >>= y = Action (x >>= return . (>>= y))
snaplet-typed-sessions-0.5/src/Snap/Dialogues.hs- maybe mzero return =<< liftIO (SM.lookup dmap tok)
snap-predicates-0.3.1/src/Snap/Route.hs- return = Routes . return
sodium-0.11.0.3/src/FRP/Sodium/Plain.hs- return a = Reactive $ return a
sousit-0.4/Data/SouSiT/Sink.hs- return a = doneSink $ return a
sparsecheck-0.1.0.3/SparseCheck.hs- return a = LP (\s k -> k s a)
sparser-0.6.1/src/Data/Sparser.hs- return x = PartialP (\a -> Just (a, x))
spdx-0.0.1.0/src/Distribution/SPDX/LatticeSyntax.hs- return = LVar
sphero-0.1.0.0/Network/Protocol/Orbotix/Sphero.hs- return a = Sphero (return a)
spice-0.5.0.0/src/FRP/Spice/Internal/Types.hs- return = pure
sqlite-simple-0.4.8.0/Database/SQLite/Simple/Ok.hs- return = Ok
stable-heap-0.1.0.0/src/Data/Heap/Stable.hs- return = pure
stack-0.1.4.1/src/Stack/Types/StackT.hs- return (str == str')
state-plus-0.1.1/Control/Monad/Trans/State/Plus.hs- return = lift . return
statethread-0.1.1/src/Control/Monad/ST/Strict.hs- return f = ST (return f)
statethread-0.1.1/src/Control/Monad/ST/Lazy.hs- return f = ST (return f)
stateWriter-0.2.3/Control/Monad/Trans/RSS/Strict.hs- return a = RSST $ \_ s -> return (a, s)
stateWriter-0.2.3/Control/Monad/Trans/RSS/Lazy.hs- return a = RSST $ \_ s -> return (a, s)
statistics-0.13.2.3/Statistics/Math/RootFinding.hs- return = Root
stepwise-1.0.2/src/Control/Monad/Stepwise/Core.hs- return = final
stepwise-1.0.2/src/Control/Monad/Stepwise/Derived.hs- p <*> q = let !r1 = (\f -> let !r2 = return . f in q >>= r2)
stm-2.4.4/Control/Sequential/STM.hs- return = pure
STMonadTrans-0.3.3/Control/Monad/ST/Trans.hs- return a = STT $ \st -> return (STTRet st a)
stm-promise-0.0.3.1/Control/Concurrent/STM/Promise/Tree.hs- return = Leaf
Strafunski-ATermLib-1.6.0.3/Data/ATerm/ReadWrite.hs- return t = RM $ \str tbl -> (t,str,tbl)
StrategyLib-4.0.0.0/library/Data/Generics/Strafunski/StrategyLib/MonadicFunctions.hs- return = Id
Stream-0.4.7.2/Data/Stream.hs- return = repeat
stream-monad-0.4.0.2/src/Control/Monad/Stream.hs- return = Single
streams-3.2/src/Data/Stream/Infinite.hs- return = repeat
streams-3.2/src/Data/Stream/Infinite/Skew.hs- return = pure
streams-3.2/src/Data/Stream/Infinite/Functional/Zipper.hs- return = repeat
strict-identity-0.1.0.0/src/Control/Monad/StrictIdentity.hs- return !a = StrictIdentity $! a
stringbuilder-0.5.0/src/Data/String/Builder.hs- return a = BuilderM a id
sunroof-compiler-0.2/Language/Sunroof/Types.hs- return a = JS $ \ k -> return a >>= k
supervisor-0.1.1.0/Control/Monad/Supervisor.hs- return x = Sup . return $ Forward x
svgutils-0.1/Data/SVG/Internal/Fail.hs- return = OK
syb-0.5.1/tests/XML.hs- return x = ReadX (\y -> Just (y,x))
syb-0.5.1/tests/Perm.hs- return x = ReadT (\y -> Just (y,x))
syb-0.5.1/tests/GRead2.hs- return a = D (\s -> Just (s,a))
syb-0.5.1/tests/Encode.hs- return = undefined
syb-0.5.1/tests/Bits.hs- return a = ReadB (\bs -> (Just a, bs))
sylvia-0.2.2/Sylvia/Model.hs- return = S
sylvia-0.2.2/Sylvia/Model.hs- return = Ref
sym-0.11.1/Sym/Permgram.hs- return x = permgram (P.fromList [0]) [x]
syntactic-2.1/src/Data/Syntactic/Functional.hs- return a = Remon $ return a
syntax-printer-1.0.0.0/Data/Syntax/Printer/Consumer.hs- return = pure
synthesizer-0.2.0.1/src/Synthesizer/Dimensional/Process.hs- return = pure
synthesizer-0.2.0.1/src/Synthesizer/Dimensional/Process.hs-share x y = y . return =<< x
synthesizer-0.2.0.1/src-4/Synthesizer/Inference/DesignStudy/Monad.hs- return x = P Any (\_ -> return x)
synthesizer-core-0.7.1/src/Synthesizer/State/Signal.hs- return = singleton
synthesizer-dimensional-0.7.0.2/src/Synthesizer/Dimensional/Process.hs- return = pure
synthesizer-dimensional-0.7.0.2/src/Synthesizer/Dimensional/Process.hs-share x y = y . return =<< x
synthesizer-inference-0.2/src/Synthesizer/Inference/Reader/Process.hs- return = pure
synthesizer-llvm-0.7.0.1/src/Synthesizer/LLVM/Parameter.hs- return = pure
system-command-0.0.10/src/System/Command/Monad.hs- return =
tables-0.4.1.1/src/Data/Table.hs- return = Value
tagged-0.8.0.1/old/Data/Proxy.hs- return _ = Proxy
tagged-0.8.0.1/src/Data/Tagged.hs- return = Tagged
tagged-exception-core-2.1.0.0/src/Control/Monad/TaggedException/Internal/Throws.hs- return = Throws . return
tagged-transformer-0.7.1/src/Data/Functor/Trans/Tagged.hs- return = TagT . return
taglib-api-0.1.1.3/src/Audio/TagLib/Internal.hs- return = TagLib . return
tagsoup-ht-0.3/src/Text/HTML/TagSoup/HT/Parser/Custom.hs- return = Identity
tagsoup-ht-0.3/src/Text/HTML/TagSoup/HT/Parser/Custom.hs- return a = Cons $ \s -> return (a, s, mempty)
Tainted-0.1.0.2/src/Data/Tainted.hs- return = Clean
Tainted-0.1.0.2/src/Control/Monad/Trans/Tainted.hs- return = TaintedT . return . return
tamarin-prover-term-0.8.5.1/src/Term/LTerm.hs- return = Free
tamarin-prover-term-0.8.5.1/src/Term/VTerm.hs- return = Var
tamarin-prover-utils-0.8.5.1/src/Control/Monad/Trans/Disj.hs- return = DisjT . return
tamarin-prover-utils-0.8.5.1/src/Text/Dot.hs- return a = Dot $ \ uq -> ([],uq,a)
tar-0.4.1.0/Codec/Archive/Tar/Read.hs- return = Ok
tardis-0.3.0.0/Control/Monad/Trans/Tardis.hs- return x = tardis $ \s -> (x, s)
taskpool-0.1.0/Data/TaskPool/Internal.hs- return = pure
tcp-0.0.2/Network/TCP/Aux/SockMonad.hs- return a = SMonad $ \s -> (a,s)
tcp-0.0.2/Network/TCP/Aux/HostMonad.hs- return a = HMonad $ \s -> (a,s)
TeaHS-0.3.1/Tea/Tea.hs- return = Tea . return
template-haskell-2.10.0.0/Language/Haskell/TH/Syntax.hs- return x = Q (return x)
template-haskell-2.10.0.0/Language/Haskell/TH/PprLib.hs- return x = PprM $ \s -> (x, s)
tempus-0.1.0/Tempus/Lexer.hs- return a = Parser $ \_ _ -> Right a
tensor-0.3.0.1/src/Data/Ordinal.hs- return = Succ
terminfo-0.4.0.1/System/Console/Terminfo/Base.hs- return = Capability . const . return . Just
test-framework-0.8.1.1/Test/Framework/Improving.hs- return x = IIO (const $ return x)
text-1.2.1.1/Data/Text/Internal/Read.hs- return = pure
textocat-api-0.1.0.0/src/Network/Textocat/Monadic.hs- return = pure
text-show-0.8.1.1/src/Text/Show/Text/Classes.hs- return = FromStringShow
text-show-0.8.1.1/src/Text/Show/Text/Classes.hs- return = FromTextShow
text-xml-generic-0.1.1/src/Text/XML/Generic.hs- return v = Right v
th-alpha-0.2.0.2/src/Language/Haskell/TH/Alpha.hs- -- 1. lift . return == return
th-alpha-0.2.0.2/src/Language/Haskell/TH/Alpha.hs- -- LookupST $ StateT (\tbl -> MaybeT $ return n >>= \x -> return $ Just (x, tbl))
these-0.4.2/Control/Monad/Trans/Chronicle.hs- return = ChronicleT . return . return
these-0.4.2/Data/These.hs- return = pure
thih-1.0/src/TIMonad.hs- return x = TI (\s n -> (s,n,x))
threepenny-gui-0.6.0.2/src/Graphics/UI/Threepenny/Internal.hs- return = UI . return
thrist-0.3.0.2/Data/Thrist/List.hs- return a = List' $ Cons (El a) Nil
thrist-0.3.0.2/Data/Thrist/List.hs- return x = [x]
thrist-0.3.0.2/Data/Thrist/Monad.hs- return a = List' $ Cons (El a) Nil
tickle-0.0.4/src/Data/Tickle/RunGetResult.hs- return =
tickle-0.0.4/src/Data/Tickle/Get.hs- return =
tidal-0.4.33/Sound/Tidal/Pattern.hs- return = pure
timberc-1.0.3/lib/Prelude.t- return a = Just a
timberc-1.0.3/lib/Prelude.t- return a = do result a
timberc-1.0.3/lib/Prelude.t- return a = class result a
timberc-1.0.3/src/Common.hs- return a = M $ \k -> Right (k,a)
timberc-1.0.3/src/Common.hs- return (n {annot = genAnnot {location = startPos(posInfo p)}})
timberc-1.0.3/src/ParseMonad.hs- return = returnPM
timeout-with-results-0.2/src/System/Timeout/Returning.hs- return = Timeout . return
timeout-with-results-0.2/src/System/Timeout/Returning/Writer.hs- return = TimeoutWriter . return
tip-lib-0.1.2/src/Tip/Writer.hs- return x = WriterT (\k -> k mempty x)
tip-lib-0.1.2/src/Tip/Parser/ErrM.hs- return = Ok
tls-1.2.17/Network/TLS/Record/State.hs- return a = RecordM $ \_ st -> Right (a, st)
tokenize-0.3.0/src/NLP/Tokenize/Text.hs- return x = E [Right x]
tokenize-0.3.0/src/NLP/Tokenize/String.hs- return x = E [Right x]
Top-1.7/src/Top/Implementation/Overloading.hs- return (generalize monos (map fst (as ++ cs) .=>. tp))
Top-1.7/src/Top/Interface/TypeInference.hs- return (generalize monos (ps .=>. tp))
Top-1.7/src/Top/Monad/Select.hs- return a = Select (return a)
Top-1.7/src/Top/Monad/Select.hs- return a = SelectFix (return a)
Top-1.7/src/Top/Monad/StateFix.hs- return = Fix . return
total-map-0.0.4/src/Data/TotalMap.hs- return = pure
toysolver-0.3.0/src/ToySolver/Data/BoolExpr.hs- return = pure
tpdb-1.1.1/TPDB/Xml.hs- return x = CParser $ \ cs -> return ( x, cs )
tracer-0.1/Debug/Tracer.hs- return x = TracerT $ seq x $ \p -> return (x, (pstep p))
transactional-events-0.1.0.0/Control/Concurrent/CHS.hs- return = CHS . return
transformers-0.4.3.0/Control/Monad/Trans/List.hs- return a = ListT $ return [a]
transformers-0.4.3.0/Control/Monad/Trans/Except.hs- return a = ExceptT $ return (Right a)
transformers-0.4.3.0/Control/Monad/Trans/Maybe.hs- return = lift . return
transformers-0.4.3.0/Control/Monad/Trans/Reader.hs- return = lift . return
transformers-0.4.3.0/Control/Monad/Trans/Error.hs- return = Right
transformers-0.4.3.0/Control/Monad/Trans/Error.hs- return a = ErrorT $ return (Right a)
transformers-0.4.3.0/Control/Monad/Trans/Cont.hs- return x = ContT ($ x)
transformers-0.4.3.0/Control/Monad/Trans/Identity.hs- return = IdentityT . return
transformers-0.4.3.0/Control/Monad/Trans/State/Strict.hs- return a = state $ \ s -> (a, s)
transformers-0.4.3.0/Control/Monad/Trans/State/Lazy.hs- return a = state $ \ s -> (a, s)
transformers-0.4.3.0/Control/Monad/Trans/RWS/Strict.hs- return a = RWST $ \ _ s -> return (a, s, mempty)
transformers-0.4.3.0/Control/Monad/Trans/RWS/Lazy.hs- return a = RWST $ \ _ s -> return (a, s, mempty)
transformers-0.4.3.0/Control/Monad/Trans/Writer/Strict.hs- return a = writer (a, mempty)
transformers-0.4.3.0/Control/Monad/Trans/Writer/Lazy.hs- return a = writer (a, mempty)
transformers-0.4.3.0/Data/Functor/Product.hs- return x = Pair (return x) (return x)
transformers-0.4.3.0/oldsrc/Data/Functor/Identity.hs- return a = Identity a
transformers-abort-0.5.0.1/src/Control/Monad/Trans/Abort.hs- return = AbortT . return . Right
transformers-abort-0.5.0.1/src/Control/Monad/Trans/Finish.hs- return = FinishT . return . Right
transformers-compat-0.4.0.4/0.3/Control/Monad/Trans/Except.hs- return a = ExceptT $ return (Right a)
transformers-free-1.0.1/Control/Monad/Trans/Free.hs- return = FreeT . return . Pure
transformers-supply-0.1.0/Control/Monad/Trans/Supply.hs- return = pure
tree-monad-0.3/Control/Monad/SearchTree.hs- return = One
tree-monad-0.3/Control/Monad/SearchTree.hs- return x = Search ($x)
TreeT-0.0/Control/TreeT.hs- return m = TreeT $ return $ Node m []
tremulous-query-1.0.7/Network/Tremulous/StrictMaybe.hs- return = Just
TrieMap-4.1.0/Control/Monad/Lookup.hs- return a = Lookup $ \ _ yes -> yes a
trifecta-1.5.1.3/src/Text/Trifecta/Parser.hs- return a = Parser $ \ eo _ _ _ _ _ -> eo a mempty
trifecta-1.5.1.3/src/Text/Trifecta/Util/It.hs- return = Pure
trivia-0.0/Control/Monad/One.hs- return _ = One
tsession-0.1/Control/TSession.hs- return = Trans . return . Success
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
tuples-homogenous-h98-0.1.1.0/Data/Tuple/Homogenous.hs- where return = pure
turtle-1.1.1/src/Turtle/Shell.hs- return a = Shell (\(FoldM step begin done) -> do
twilight-stm-1.2/src/Control/Concurrent/STM/Twilight.hs- return x = STM (\state -> return (Success state x))
twilio-0.1.2.0/src/Control/Monad/Twilio.hs- return a = TwilioT (return . const a)
TypeCompose-0.9.10/src/Control/Compose.hs- return = pure
TypeIlluminator-0.0/TypeIlluminator.hs- return = Correct
TypeIlluminator-0.0/TypeIlluminator.hs- return x = TI (\_ n -> Right (n,x))
type-unary-0.2.16/src/TypeUnary/Vec.hs- return = pure
uhc-util-0.1.5.6/src/UHC/Util/CompileRun.hs- return x = CompilePhase_S_E_T $ return x -- \cr -> return (x, cr)
uhc-util-0.1.5.6/src/UHC/Util/CompileRun.hs- return x = CompilePhaseT $ return x -- \cr -> return (x, cr)
uhc-util-0.1.5.6/src/UHC/Util/CompileRun2.hs- return x = CompilePhaseT $ return x -- \cr -> return (x, cr)
UMM-0.3.1/UMMData.hs- return a = Ledger (a, [], [])
unagi-chan-0.4.0.0/src/Control/Concurrent/Chan/Unagi/NoBlocking/Types.hs- return = Element . return . return
unexceptionalio-0.2.0/UnexceptionalIO.hs-runEitherIO = either throwIO return <=< runUnexceptionalIO
uni-events-2.2.2.0/Events/Events.hs- return = doneEvent
unification-fd-0.10.0.1/src/Control/Monad/EitherK.hs- return a = EK (\k -> k a)
unification-fd-0.10.0.1/src/Control/Monad/EitherK.hs- return a = EKT (\k -> k a)
unification-fd-0.10.0.1/src/Control/Monad/MaybeK.hs- return a = MK (\k -> k a)
unification-fd-0.10.0.1/src/Control/Monad/MaybeK.hs- return a = MKT (\k -> k a)
unification-fd-0.10.0.1/src/Control/Unification/IntVar.hs- return = IBT . return
unification-fd-0.10.0.1/src/Control/Unification/STVar.hs- return = STB . return
unification-fd-0.10.0.1/src/Control/Unification/Types.hs- return = UVar
unification-fd-0.10.0.1/src/Control/Unification/Ranked/IntVar.hs- return = IRBT . return
unification-fd-0.10.0.1/src/Control/Unification/Ranked/STVar.hs- return = STRB . return
uniform-pair-0.1.5/src/Data/UniformPair.hs- return = pure
union-find-array-0.1.0.2/src/Control/Monad/Union.hs- return x = U (return x)
unique-logic-0.3/src/UniqueLogic/ST/SystemLog.hs- return = Cons . return
unique-logic-tf-0.4.1.1/src/UniqueLogic/ST/TF/System.hs- return = Cons . return
unique-logic-tf-0.4.1.1/src/UniqueLogic/ST/TF/MonadTrans.hs- return = wrap . point
unique-logic-tf-0.4.1.1/src/UniqueLogic/ST/TF/Example/Verify.hs- return = Track . UMT.point
uni-util-2.3.0.1/Util/Sources.hs- return x = SimpleSource (staticSource x)
uni-util-2.3.0.1/Util/Computation.hs- return v = hasValue v
uni-util-2.3.0.1/Util/Computation.hs- return v = MonadWithError (return (Value v))
uni-util-2.3.0.1/Util/BinaryUtils.hs- return v = ArgMonad (const (return v))
unlambda-0.1.4.1/Language/Unlambda.hs- return a = Eval $ \dat cont -> cont dat a
unpack-funcs-0.3.1/Control/Monad/Unpack/Class.hs- return x = lift $ return x
urldisp-happstack-0.1/Happstack/UrlDisp.hs-getInput x = maybe empty return . fmap (BS.unpack . inputValue) . lookup x . rqInputs =<< askRq
urlpath-2.1.0/src/Data/Url/Types.hs- return x = RelativeUrlT $ \_ -> return x
urlpath-2.1.0/src/Data/Url/Types.hs- return x = GroundedUrlT $ \_ -> return x
urlpath-2.1.0/src/Data/Url/Types.hs- return x = AbsoluteUrlT $ const $ return x
URLT-0.14/URLT/HandleT.hs- (Success lnk) -> return . Success =<< runReaderT (unURLT ((handleLink site) lnk)) ((prefix ++) . (formatLink site))
uu-cco-0.1.0.3/src/CCO/Feedback.hs- return x = Succeed [] x
uu-interleaved-0.2.0.0/src/Control/Applicative/Interleaved.hs- return a = Gram [] (Just a)
uu-parsinglib-2.9.1/src/Text/ParserCombinators/UU/Core.hs- return = pure
uu-tc-2009.2.2/src/ParseLib/Abstract/Core.hs- return = pure
uu-tc-2009.2.2/src/ParseLib/Parallel/Core.hs- return x = Parser (\ k -> k x)
vacuum-2.2.0.0/src/GHC/Vacuum/Internal.hs- return a = S (\k -> k a)
Validation-0.2.0/src/Data/Validation.hs- return =
Validation-0.2.0/src/Data/Validation.hs- return =
validation-0.5.1/src/Data/Validation.hs- return =
validation-0.5.1/src/Data/Validation.hs- return =
validation-0.5.1/src/Data/Validation.hs- return =
var-0.2.0.0/src/Control/Monad/Prim.hs- return a = Prim $ \ s -> (# s, a #)
variables-0.1.1/Control/Monad/Variables.hs- return Variable { readVar = readIORef var,
variables-0.1.1/Control/Monad/Variables.hs- return Variable { readVar = readSTRef var,
variables-0.1.1/Control/Monad/Variables.hs- return Variable { readVar = readTVar var,
variables-0.1.1/Control/Monad/Variables.hs- return Variable { readVar = lift (readVar lowerVariable),
vcache-0.2.6/hsrc_lib/Database/VCache/Types.hs- return r = VPut (\ s -> return (VPutR r s))
vcache-0.2.6/hsrc_lib/Database/VCache/Types.hs- return r = VGet (\ s -> return (VGetR r s))
vcache-trie-0.1.1/hsrc_lib/Ident.hs- return = Ident
vcache-trie-0.1.1/hsrc_lib/Strict.hs- return = Strict
vector-0.10.12.3/Data/Vector.hs- return = singleton
vector-0.10.12.3/Data/Vector/Fusion/Util.hs- return = Id
vector-0.10.12.3/Data/Vector/Fusion/Util.hs- return = Box
vector-bytestring-0.0.0.1/tests/QuickCheckUtils.hs- return = const
vector-static-0.3.0.1/Data/Vector/Static.hs- return = replicate
verilog-0.0.11/dist/build/Language/Verilog/Parser/Parse.hs- return = HappyIdentity
vimus-0.2.1/src/Vimus/Command/Parser.hs- return a = Parser $ \input -> Right (a, input)
vintage-basic-1.0.1/src/Control/Monad/CPST.hs- return x = CPST (\k -> k x)
vinyl-0.5.1/Data/Vinyl/Functor.hs- return = Identity
vinyl-0.5.1/Data/Vinyl/Functor.hs- return = Thunk
vision-0.0.5.0/src/Control/Monad/EnvIO.hs- return a = EnvIO $ const $ return a
visual-graphrewrite-0.4.0.1/GraphRewrite/Internal/Rename.hs- return = Ok
visual-prof-0.5/Pretty.hs- return = retDocM
wai-lite-0.2.0.0/Web/Simple/Router.hs- return a = Route (const $ return Nothing) a
wai-lite-0.2.0.0/Network/Wai/Router.hs- return a = Route (const $ return Nothing) a
wai-predicates-0.8.4/src/Data/Predicate/Result.hs- return = Okay 0
wai-predicates-0.8.4/src/Data/Predicate/Result.hs- return = ResultT . return . return
wai-request-spec-0.10.0.1/src/Network/Wai/RequestSpec/Internal/Parser.hs- return = pure
wai-request-spec-0.10.0.1/src/Network/Wai/RequestSpec/Internal/Parser.hs- return a = P $ \_ ks -> ks a mempty
wai-routing-0.12.1/src/Network/Wai/Routing/Route.hs- return = Routes . return
WashNGo-2.12.0.1/WASH/CGI/TCGI.hs- return x =
WashNGo-2.12.0.1/WASH/CGI/CGIMonad.hs- return a =
WashNGo-2.12.0.1/WASH/CGI/CGIMonad.hs- return CGIFieldName { fnMcount = mc, fnCount = count pageInfo }
WashNGo-2.12.0.1/WASH/HTML/HTMLTemplates.hs- return x = ST (\s -> (x, s))
WashNGo-2.12.0.1/WASH/HTML/HTMLTemplates.hs- return a = M (\t -> (a, t))
WashNGo-2.12.0.1/WASH/HTML/HTMLMonadBase.hs- return a = WithHTML (\elem -> return (a, elem))
WashNGo-2.12.0.1/WASH/Utility/SimpleParser.hs- return x = Parser (\ w -> [(x, w)])
WashNGo-2.12.0.1/washparser/hs/WASHOut.hs- return a = Out a id
WashNGo-2.12.0.1/washparser/hs/WASHClean.hs- return x = CM (const x)
wavesurfer-0.0.6/Sound/WaveSurfer.hs- return = Right
WebCont-0.0.1/WebCont.hs- return = WebCont . const . Done
Webrexp-1.1.2/Text/Webrexp/WebContext.hs- return a =
Webrexp-1.1.2/Text/Webrexp/WebContext.hs- in return ("file_" ++ show i, c { uniqueNameCount = i + 1 })
Webrexp-1.1.2/Text/Webrexp/WebContext.hs- return ((), c{ httpDelay = delay })
web-routes-0.27.9/Web/Routes/RouteT.hs- return = liftRouteT . return
weighted-regexp-0.3.1.2/dist/build/Text/RegExp/Parser.hs- return = HappyIdentity
weighted-search-0.1.0.1/Control/Monad/WeightedSearch.hs- return x = Yield x Fail
welshy-0.1.0.0/Web/Welshy/Action.hs- return a = Action $ \_ s -> return $ Ok a s
welshy-0.1.0.0/Web/Welshy/Action.hs-catchIO act h = either h return =<< (liftIO $ try $ act)
wl-pprint-extras-3.5.0.5/src/Text/PrettyPrint/Free/Internal.hs- return = Effect
Workflow-0.8.3/Control/Workflow.hs- return x = WF (\s -> return (s, x))
wtk-0.2.1/Text/WtkParser.hs- return a = Parser (\xl -> Right (xl,a))
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Drawing/Chain.hs- return a = GenChain $ \_ pt s -> (a, pt, s, mempty)
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Drawing/LocDrawing.hs- return a = GenLocDrawing $ \_ s -> (a, s, mempty)
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Drawing/LocTrace.hs- return a = GenLocTrace $ \_ pt s -> (a, pt, s, mempty)
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Drawing/PosObject.hs- return a = GenPosObject $ \_ _ s -> (a, s, mempty, mempty)
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Drawing/TraceDrawing.hs- return a = GenTraceDrawing $ \_ s -> (a, s, mempty)
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/AdvObject.hs- return a = AdvObject $ \_ _ -> (a,mempty,mempty)
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/Connector.hs- return a = ConnectorImage $ \_ _ -> return a
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/Connector.hs- return a = ConnectorQuery $ \_ _ -> return a
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/Image.hs- return a = Image $ \_ -> (a,mempty)
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/Image.hs- return a = Query $ \_ -> a
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/LocImage.hs- return a = LocImage $ \_ -> return a
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/LocImage.hs- return a = LocQuery $ \_ -> return a
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/LocThetaImage.hs- return a = LocThetaImage $ \_ _ -> return a
wumpus-basic-0.24.0/src/Wumpus/Basic/Kernel/Objects/LocThetaImage.hs- return a = LocThetaQuery $ \_ _ -> return a
wumpus-basic-0.24.0/src/Wumpus/Basic/System/FontLoader/FontLoadMonad.hs- return a = FontLoadIO $ return (Right a, mempty)
wumpus-basic-0.24.0/src/Wumpus/Basic/Utils/ParserCombinators.hs- return = yield
wumpus-core-0.52.1/src/Wumpus/Core/OutputPostScript.hs- return a = PsMonad $ \s -> (a,s)
wumpus-core-0.52.1/src/Wumpus/Core/OutputSVG.hs- return a = SvgMonad $ \_ s -> (a,s)
wumpus-drawing-0.9.0/src/Wumpus/Drawing/Paths/PathBuilder.hs- return a = GenPathSpec $ \_ s -> (a, s, mempty)
wumpus-drawing-0.9.0/src/Wumpus/Drawing/Text/Base/DocTextZero.hs- return a = GenDoc $ \_ -> return a
wumpus-microprint-0.14.0/src/Wumpus/Microprint/Teletype.hs- return a = Teletype $ \w s -> (a,w,s)
wumpus-microprint-0.14.0/src/Wumpus/Microprint/Tokenizer.hs- return a = Lexer $ \_ s -> (a,s)
wumpus-tree-0.20.0/src/Wumpus/Tree/Base.hs- return a = TreeMonad $ \_ -> return a
xhtml-combinators-0.3/src/Text/XHtmlCombinators/Internal.hs- return = XHtmlMT . return
xml-conduit-1.3.0/Text/XML/Stream/Parse.hs- return a = AttrParser $ \as -> Right (as, a)
xml-conduit-parse-0.2.0.1/Data/Conduit/Parser/XML.hs- return a = AttrParser $ \attributes -> Right (attributes, a)
xml-enumerator-0.4.4.1/Text/XML/Stream/Parse.hs- return a = AttrParser $ \as -> Right (as, a)
xml-extractors-0.4.0.0/src/Text/XML/Light/Extractors/Internal/Result.hs- return = pure
xml-extractors-0.4.0.0/src/Text/XML/Light/Extractors/Internal/Result.hs- return = ResultT . return . Ok
xml-hamlet-0.4.0.11/Text/Hamlet/XMLParse.hs- return = Ok
xml-picklers-0.3.6/src/Data/XML/Pickle/Basic.hs- return x = Result x Nothing
XMPP-0.1.2/Network/XMPP/XMPPMonad.hs- return a = XMPP $ \_ state -> return (state, XMPPJust a)
XSaiga-1.0.0.0/AGParser2.hs- return k = State (\s -> (k,s))
yall-0.2.1/Data/Yall/Lens.hs- return (cMb >=> bWa, c)
yaml-0.8.11/Data/Yaml/Parser.hs- return = YamlParser . const . Right
yaml-0.8.11/Data/Yaml/Internal.hs- return = PErrorT . return . Right
YamlReference-0.9.3/Text/Yaml/Reference.hs- return result = Parser $ \ state -> returnReply state result
Yampa-0.10.1.1/src/FRP/Yampa/Task.hs- return x = Task (\k -> k x)
Yampa-0.10.1.1/src/FRP/Yampa/Task.hs- return x >>= f
yesod-core-1.4.11/Yesod/Core/Types.hs- return a = WidgetT $ const $ return (a, mempty)
yesod-core-1.4.11/Yesod/Core/Types.hs- return = HandlerT . const . return
yesod-form-1.4.4.1/Yesod/Form/Input.hs-runInputGet = either invalidArgs return <=< runInputGetHelper
yesod-pure-0.1.0.2/Yesod/Pure/NoRoute.hs- return = pure
yesod-worker-0.0.1/Yesod/Worker/Types.hs- return = WorkerT . const . return
yhccore-0.9.1/Yhc/Core/FreeVar2.hs- return a = FreeVar (return a)
yi-0.12.0/src/library/Parser/Incremental.hs- return = pure
yi-0.12.0/src/library/Yi/Interact.hs- return = Returns
yi-0.12.0/src/library/Yi/Types.hs- e' `seq` a `seq` return (var {yiEditor = e'}, a)
yoko-2.0/Examples/LambdaLift/LLBasics.hs- return a = M $ \_ -> (a, [])
york-lava-0.2/modules/Lava/JList.hs- return a = One a
york-lava-0.2/modules/Recipe.hs- return a = RWS (\r s -> (s, [], a))
yuuko-2010.11.28/src/Yuuko/Text/XML/HXT/Parser/TagSoup.hs- return x = P $ \ ts -> (x, ts)
zeno-0.2.0.1/src/Zeno/Utils.hs- return x = EndoKleisli (return, x)
zeromq3-haskell-0.5.2/src/System/ZMQ3/Monadic.hs- return = ZMQ . return
zeromq4-haskell-0.6.3/src/System/ZMQ4/Monadic.hs- return = ZMQ . return
zlib-0.6.1.1/Codec/Compression/Zlib/Stream.hsc- return = returnZ
zmidi-core-0.7.0/src/ZMidi/Core/Internal/ParserMonad.hs- return a = ParserM $ \s -> (Right a, s)
zmidi-core-0.7.0/src/ZMidi/Core/Internal/SimpleFormat.hs- return = pure
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment