Home
last modified time | relevance | path

Searched defs:Monad (Results 1 – 25 of 265) sorted by relevance

1234567891011

/dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/stateref-0.3/src/Data/MRef/
H A DTypes.hs32 class Monad m => NewMRef sr m a | sr -> a where constructor
37 class Monad m => TakeMRef sr m a | sr -> a where constructor
40 class Monad m => PutMRef sr m a | sr -> a where constructor
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/generic-associated-types/
H A Dissue-79636-1.rs3 trait Monad { trait
/dports/devel/boost-docs/boost_1_72_0/boost/hana/concept/
H A Dmonad.hpp25 struct Monad struct
/dports/devel/hyperscan/boost_1_75_0/boost/hana/concept/
H A Dmonad.hpp25 struct Monad struct
/dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/hana/concept/
H A Dmonad.hpp25 struct Monad struct
/dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/hana/concept/
H A Dmonad_plus.hpp25 struct MonadPlus struct
/dports/security/keybase/client-v5.7.1/shared/ios/Pods/boost-for-react-native/boost/hana/concept/
H A Dmonad.hpp25 struct Monad struct
/dports/devel/boost-libs/boost_1_72_0/boost/hana/concept/
H A Dmonad.hpp25 struct Monad struct
/dports/devel/boost-python-libs/boost_1_72_0/boost/hana/concept/
H A Dmonad.hpp25 struct Monad struct
/dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/lib/stan_math/lib/boost_1.69.0/boost/hana/concept/
H A Dmonad.hpp25 struct Monad struct
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc90/
H A DLinear.hs3 module Monad.Linear where module
10 class Monad m where constructor
/dports/www/newsboat/newsboat-2.22.1/cargo-crates/cxx-0.5.10/tests/ui/
H A Dmultiple_parse_error.rs3 struct Monad<T>; struct
/dports/lang/ghc/ghc-8.10.7/libraries/haskeline/System/Console/Haskeline/
H A DMonads.hs35 class Monad m => MonadReader r m where constructor
51 class Monad m => MonadState s m where constructor
/dports/lang/elm/compiler-0.19.1/_cabal_deps/haskeline-0.8.0.0/System/Console/Haskeline/
H A DMonads.hs35 class Monad m => MonadReader r m where constructor
51 class Monad m => MonadState s m where constructor
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/haskeline-0.8.2/System/Console/Haskeline/
H A DMonads.hs35 class Monad m => MonadReader r m where constructor
51 class Monad m => MonadState s m where constructor
/dports/devel/coursier/coursier-1.1.0-M12/modules/core/shared/src/main/scala/coursier/util/
H A DMonad.scala3 trait Monad[F[_]] { trait
/dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/random-source-0.3.0.11/src/Data/Random/Internal/
H A DSource.hs40 class Monad m => MonadRandom m where constructor
100 class Monad m => RandomSource m s where constructor
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/monad-time-0.3.1.0/src/Control/Monad/
H A DTime.hs14 class Monad m => MonadTime m where constructor
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/test/golden/
H A DAutoThetaGADTDestruct.hs3 data X f = Monad f => X constructor
H A DAutoThetaGADT.expected.hs3 data X f = Monad f => X constructor
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/test/golden/
H A DAutoThetaGADTDestruct.hs3 data X f = Monad f => X constructor
H A DAutoThetaGADT.expected.hs3 data X f = Monad f => X constructor
H A DAutoThetaGADT.hs3 data X f = Monad f => X constructor
H A DAutoThetaGADTDestruct.expected.hs3 data X f = Monad f => X constructor
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/monad-memo-0.5.3/Control/Monad/Memo/
H A DClass.hs61 class Monad m => MonadCache k v m | m -> k, m -> v where constructor
66 class Monad m => MonadMemo k v m | m -> k, m -> v where constructor

1234567891011