-
Notifications
You must be signed in to change notification settings - Fork 366
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
905ddd8
commit c4fd35c
Showing
3 changed files
with
33 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,17 @@ | ||
|
||
import Website.Docs (createDocs) | ||
|
||
basics = | ||
[ ("empty", "Map k v", "Create an empty map.") | ||
, ("singleton", "k -> v -> Map k v", "Create a map with one key-value pair.") | ||
, ("insert", "k -> v -> Map k v -> Map k v", "Insert a key-value pair into a map. Replaces value when there is a collision.") | ||
, ("lookup", "k -> Map k v -> Maybe v", "Lookup the value associated with a key.") | ||
, ("remove", "k -> Map k v -> Map k v", "Remove a key-value pair from a map. If the key is not found, no changes are made.") | ||
, ("member", "k -> Map k v -> Bool", "Determine if a key is in a map.") | ||
-- , ("keys", "Map k v -> [k]", "Get all of the keys in a map.") | ||
-- , ("values", "Map k v -> [v]", "Get all of the values in a map.") | ||
] | ||
|
||
categories = [ ("Using Maps", basics) ] | ||
|
||
main = createDocs "Data.Map" categories |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
|
||
import Website.Docs (createDocs) | ||
|
||
basics = | ||
[ ("empty", "Set a", "Create an empty set.") | ||
, ("singleton", "a -> Set a", "Create a set with one value.") | ||
, ("insert", "a -> Set a -> Set a", "Insert a value into a set.") | ||
, ("remove", "a -> Set a -> Set a", "Remove a value from a set. If the value is not found, no changes are made.") | ||
, ("member", "a -> Set a -> Bool", "Determine if a value is in a set.") | ||
] | ||
|
||
categories = [ ("Using Sets", basics) ] | ||
|
||
main = createDocs "Data.Set" categories |