/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/dlist-0.8.0.8/Data/ |
H A D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 28 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 D | DList.hs | 13 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 D | DList.hs | 13 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 D | DList.hs | 13 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 D | Internal.hs | 159 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 D | Internal.hs | 159 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 D | DList.hs | 28 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 D | Internal.hs | 159 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 D | Internal.hs | 159 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 D | Internal.hs | 159 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 D | Internal.hs | 159 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 D | Internal.hs | 159 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 …]
|