Home
last modified time | relevance | path

Searched refs:DList (Results 1 – 25 of 976) sorted by relevance

12345678910>>...40

/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/dlist-0.8.0.8/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/Cabal/Distribution/Compat/
H A DDList.hs13 DList,
26 newtype DList a = DList ([a] -> [a]) constructor
28 runDList :: DList a -> [a]
32 singleton :: a -> DList a
33 singleton a = DList (a:)
36 empty :: DList a
37 empty = DList id
39 fromList :: [a] -> DList a
42 toList :: DList a -> [a]
45 snoc :: DList a -> a -> DList a
[all …]
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/Cabal-3.6.0.0/src/Distribution/Compat/
H A DDList.hs13 DList,
26 newtype DList a = DList ([a] -> [a]) type
28 runDList :: DList a -> [a]
32 singleton :: a -> DList a
33 singleton a = DList (a:)
36 empty :: DList a
37 empty = DList id
39 fromList :: [a] -> DList a
42 toList :: DList a -> [a]
45 snoc :: DList a -> a -> DList a
[all …]
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/Cabal-3.4.0.0/Distribution/Compat/
H A DDList.hs13 DList,
26 newtype DList a = DList ([a] -> [a]) function
28 runDList :: DList a -> [a]
32 singleton :: a -> DList a
33 singleton a = DList (a:)
36 empty :: DList a
37 empty = DList id
39 fromList :: [a] -> DList a
42 toList :: DList a -> [a]
45 snoc :: DList a -> a -> DList a
[all …]
/dports/devel/stack/stack-2.7.3/_cabal_deps/dlist-1.0/Data/DList/
H A DInternal.hs159 toList :: DList a -> [a]
176 pattern Nil :: DList a
231 empty :: DList a
271 cons :: a -> DList a -> DList a
294 snoc :: DList a -> a -> DList a
315 append :: DList a -> DList a -> DList a
336 concat :: [DList a] -> DList a
382 head :: DList a -> a
405 tail :: DList a -> [a]
472 map :: (a -> b) -> DList a -> DList b
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/dlist-1.0/Data/DList/
H A DInternal.hs159 toList :: DList a -> [a]
176 pattern Nil :: DList a
231 empty :: DList a
271 cons :: a -> DList a -> DList a
294 snoc :: DList a -> a -> DList a
315 append :: DList a -> DList a -> DList a
336 concat :: [DList a] -> DList a
382 head :: DList a -> a
405 tail :: DList a -> [a]
472 map :: (a -> b) -> DList a -> DList b
[all …]
/dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/dlist-0.8.0.7/Data/
H A DDList.hs28 module Data.DList
31 ( DList(Nil, Cons)
33 ( DList
169 cons :: a -> DList a -> DList a
175 snoc :: DList a -> a -> DList a
180 append :: DList a -> DList a -> DList a
185 concat :: [DList a] -> DList a
197 list :: b -> (a -> DList a -> b) -> DList a -> b
204 head :: DList a -> a
208 tail :: DList a -> DList a
[all …]
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/dlist-1.0/Data/DList/
H A DInternal.hs159 toList :: DList a -> [a]
176 pattern Nil :: DList a
231 empty :: DList a
271 cons :: a -> DList a -> DList a
294 snoc :: DList a -> a -> DList a
315 append :: DList a -> DList a -> DList a
336 concat :: [DList a] -> DList a
382 head :: DList a -> a
405 tail :: DList a -> [a]
472 map :: (a -> b) -> DList a -> DList b
[all …]
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/dlist-1.0/Data/DList/
H A DInternal.hs159 toList :: DList a -> [a]
176 pattern Nil :: DList a
231 empty :: DList a
271 cons :: a -> DList a -> DList a
294 snoc :: DList a -> a -> DList a
315 append :: DList a -> DList a -> DList a
336 concat :: [DList a] -> DList a
382 head :: DList a -> a
405 tail :: DList a -> [a]
472 map :: (a -> b) -> DList a -> DList b
[all …]
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/dlist-1.0/Data/DList/
H A DInternal.hs159 toList :: DList a -> [a]
176 pattern Nil :: DList a
231 empty :: DList a
271 cons :: a -> DList a -> DList a
294 snoc :: DList a -> a -> DList a
315 append :: DList a -> DList a -> DList a
336 concat :: [DList a] -> DList a
382 head :: DList a -> a
405 tail :: DList a -> [a]
472 map :: (a -> b) -> DList a -> DList b
[all …]
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/dlist-1.0/Data/DList/
H A DInternal.hs159 toList :: DList a -> [a]
176 pattern Nil :: DList a
231 empty :: DList a
271 cons :: a -> DList a -> DList a
294 snoc :: DList a -> a -> DList a
315 append :: DList a -> DList a -> DList a
336 concat :: [DList a] -> DList a
382 head :: DList a -> a
405 tail :: DList a -> [a]
472 map :: (a -> b) -> DList a -> DList b
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/dlist-1.0/Data/DList/
H A DInternal.hs159 toList :: DList a -> [a]
176 pattern Nil :: DList a
231 empty :: DList a
271 cons :: a -> DList a -> DList a
294 snoc :: DList a -> a -> DList a
315 append :: DList a -> DList a -> DList a
336 concat :: [DList a] -> DList a
382 head :: DList a -> a
405 tail :: DList a -> [a]
472 map :: (a -> b) -> DList a -> DList b
[all …]

12345678910>>...40