Safe Haskell | None |
---|---|
Language | Haskell2010 |
- int2natural :: Int -> Natural
- powerSet :: Ord a => Set a -> Set (Set a)
- dropEach :: Ord a => Set a -> Set (Set a)
- powerset2matrix :: Set (Set a) -> [[a]]
- printMappings :: Show a => [[a]] -> IO ()
- module Prelude.Spiros
Documentation
int2natural :: Int -> Natural Source #
powerSet :: Ord a => Set a -> Set (Set a) Source #
the power set of a set of values.
>>>
(powerset2matrix . powerSet . Set.fromList) [1..3]
[[],[1],[2],[3],[1,2],[1,3],[2,3],[1,2,3]]
dropEach :: Ord a => Set a -> Set (Set a) Source #
>>>
(powerset2matrix . dropEach . Set.fromList) [1..3]
[[1,2],[1,3],[2,3]]
powerset2matrix :: Set (Set a) -> [[a]] Source #
convert a power set to an isomorphic matrix, sorting the entries.
(for doctest)
printMappings :: Show a => [[a]] -> IO () Source #
(for doctest)
module Prelude.Spiros