Home
last modified time | relevance | path

Searched defs:Free (Results 26 – 50 of 7639) sorted by relevance

12345678910>>...306

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/free-5.1.6/src/Control/Monad/Free/
H A DAp.hs81 data Free f a = Pure a | Free (f (Free f a)) function
96 Free fa `eq1` Free fb = fmap Lift1 fa `eq1` fmap Lift1 fb function
119 Free _ `compare1` Pure _ = GT function
120 Free fa `compare1` Free fb = fmap Lift1 fa `compare1` fmap Lift1 fb function
186 Free fa <.> Pure b = Free $ fmap ($ b) <$> fa function
187 Free fa <.> Free fb = Free $ fmap (<.>) fa <.> fb function
194 Free ma <*> Pure b = Free $ fmap ($ b) <$> ma function
195 Free ma <*> Free mb = Free $ fmap (<*>) ma <*> mb function
199 Free m >>- f = Free ((>>- f) <$> m) function
205 Free m >>= f = Free ((>>= f) <$> m) function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/free-5.1.6/src/Control/Monad/Free/
H A DAp.hs81 data Free f a = Pure a | Free (f (Free f a)) type
96 Free fa `eq1` Free fb = fmap Lift1 fa `eq1` fmap Lift1 fb function
119 Free _ `compare1` Pure _ = GT function
120 Free fa `compare1` Free fb = fmap Lift1 fa `compare1` fmap Lift1 fb function
186 Free fa <.> Pure b = Free $ fmap ($ b) <$> fa function
187 Free fa <.> Free fb = Free $ fmap (<.>) fa <.> fb function
194 Free ma <*> Pure b = Free $ fmap ($ b) <$> ma function
195 Free ma <*> Free mb = Free $ fmap (<*>) ma <*> mb function
199 Free m >>- f = Free ((>>- f) <$> m) function
205 Free m >>= f = Free ((>>= f) <$> m) function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/free-5.1.6/src/Control/Monad/Free/
H A DAp.hs81 data Free f a = Pure a | Free (f (Free f a)) constructor
96 Free fa `eq1` Free fb = fmap Lift1 fa `eq1` fmap Lift1 fb function
119 Free _ `compare1` Pure _ = GT function
120 Free fa `compare1` Free fb = fmap Lift1 fa `compare1` fmap Lift1 fb function
186 Free fa <.> Pure b = Free $ fmap ($ b) <$> fa function
187 Free fa <.> Free fb = Free $ fmap (<.>) fa <.> fb function
194 Free ma <*> Pure b = Free $ fmap ($ b) <$> ma function
195 Free ma <*> Free mb = Free $ fmap (<*>) ma <*> mb function
199 Free m >>- f = Free ((>>- f) <$> m) function
205 Free m >>= f = Free ((>>= f) <$> m) function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/free-5.1.7/src/Control/Monad/Free/
H A DAp.hs89 data Free f a = Pure a | Free (f (Free f a)) constructor
104 Free fa `eq1` Free fb = fmap Lift1 fa `eq1` fmap Lift1 fb function
127 Free _ `compare1` Pure _ = GT function
128 Free fa `compare1` Free fb = fmap Lift1 fa `compare1` fmap Lift1 fb function
194 Free fa <.> Pure b = Free $ fmap ($ b) <$> fa function
195 Free fa <.> Free fb = Free $ fmap (<.>) fa <.> fb function
202 Free ma <*> Pure b = Free $ fmap ($ b) <$> ma function
203 Free ma <*> Free mb = Free $ fmap (<*>) ma <*> mb function
207 Free m >>- f = Free ((>>- f) <$> m) function
213 Free m >>= f = Free ((>>= f) <$> m) function
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/free-5.1.3/src/Control/Monad/Free/
H A DAp.hs77 data Free f a = Pure a | Free (f (Free f a)) constructor
92 Free fa `eq1` Free fb = fmap Lift1 fa `eq1` fmap Lift1 fb function
115 Free _ `compare1` Pure _ = GT function
116 Free fa `compare1` Free fb = fmap Lift1 fa `compare1` fmap Lift1 fb function
182 Free fa <.> Pure b = Free $ fmap ($ b) <$> fa function
183 Free fa <.> Free fb = Free $ fmap (<.>) fa <.> fb function
190 Free ma <*> Pure b = Free $ fmap ($ b) <$> ma function
191 Free ma <*> Free mb = Free $ fmap (<*>) ma <*> mb function
195 Free m >>- f = Free ((>>- f) <$> m) function
201 Free m >>= f = Free ((>>= f) <$> m) function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/free-5.1.3/src/Control/Monad/Free/
H A DAp.hs77 data Free f a = Pure a | Free (f (Free f a)) type
92 Free fa `eq1` Free fb = fmap Lift1 fa `eq1` fmap Lift1 fb function
115 Free _ `compare1` Pure _ = GT function
116 Free fa `compare1` Free fb = fmap Lift1 fa `compare1` fmap Lift1 fb function
182 Free fa <.> Pure b = Free $ fmap ($ b) <$> fa function
183 Free fa <.> Free fb = Free $ fmap (<.>) fa <.> fb function
190 Free ma <*> Pure b = Free $ fmap ($ b) <$> ma function
191 Free ma <*> Free mb = Free $ fmap (<*>) ma <*> mb function
195 Free m >>- f = Free ((>>- f) <$> m) function
201 Free m >>= f = Free ((>>= f) <$> m) function
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/free-5.1.3/src/Control/Monad/Free/
H A DAp.hs77 data Free f a = Pure a | Free (f (Free f a)) constructor
92 Free fa `eq1` Free fb = fmap Lift1 fa `eq1` fmap Lift1 fb function
115 Free _ `compare1` Pure _ = GT function
116 Free fa `compare1` Free fb = fmap Lift1 fa `compare1` fmap Lift1 fb function
182 Free fa <.> Pure b = Free $ fmap ($ b) <$> fa function
183 Free fa <.> Free fb = Free $ fmap (<.>) fa <.> fb function
190 Free ma <*> Pure b = Free $ fmap ($ b) <$> ma function
191 Free ma <*> Free mb = Free $ fmap (<*>) ma <*> mb function
195 Free m >>- f = Free ((>>- f) <$> m) function
201 Free m >>= f = Free ((>>= f) <$> m) function
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) function
/dports/devel/stack/stack-2.7.3/_cabal_deps/hashable-1.3.1.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) constructor
/dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/hashable-1.3.1.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) constructor
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/hashable-1.3.1.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) function
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) function
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/hashable-1.3.2.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/hashable-1.3.1.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) function
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/hashable-1.3.1.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/hashable-1.3.1.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/hashable-1.3.1.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) type
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/hashable-1.3.2.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) function
/dports/devel/hs-shake/shake-0.19.6/_cabal_deps/hashable-1.3.0.0/examples/
H A DMain.hs35 data Free f a = Pure a | Free (f (Free f a)) function

12345678910>>...306