Verified Commit f8c2d2dd authored by Camil Staps's avatar Camil Staps 🚀

Some cleanup:

- Add @type for non-trivial macros;
- remove RawText in Text.HTML (it was added for backwards compatibility
  6 years ago and is not used at the moment as far as I can see);
- cleanup Data.OrdList documentation.
parent 52347372
Pipeline #11246 passed with stage
in 1 minute and 37 seconds
......@@ -2,4 +2,5 @@ definition module System._Platform
import System.Platform
/** @type Platform */
CURRENT_PLATFORM :== Android32
......@@ -2,4 +2,5 @@ definition module System._Platform
import System.Platform
/** @type Platform */
CURRENT_PLATFORM :== Android64
......@@ -371,12 +371,19 @@ derive gEq EdgeStyle // PK++
| HSV Real Real Real
| Color String // X11 1.2 color names; see rgb.txt
/** @type Color */
CBlack :== Color "black"
/** @type Color */
CWhite :== Color "white"
/** @type Color */
CGray :== Color "gray"
/** @type Color */
CRed :== Color "red"
/** @type Color */
CGreen :== Color "green"
/** @type Color */
CBlue :== Color "blue"
/** @type Color */
CYellow :== Color "yellow"
instance toString Color
......
definition module Data.OrdList
/** This module extends StdOrdList with extra functions.
*/
/**
* This module extends StdOrdList with extra functions.
*/
import StdOrdList
/** removeMembersSortedList @xs @ys = @zs:
removes all occurrences of elements in @ys from @xs, resulting in @zs.
The function assumes that both @xs and @ys are sorted and contain no duplicate elements.
*/
/**
* removeMembersSortedList `xs ys` removes all occurrences of elements in `ys`
* from `xs`. The function assumes that both `xs` and `ys` are sorted and
* contain no duplicate elements.
*/
removeMembersSortedList :: ![a] ![a] -> [a] | Eq, Ord a
/** removeDupSortedList @xs = @zs:
removes all duplicate elements from @xs, resulting in @zs.
The function assumes that @xs is sorted.
*/
/**
* removeDupSortedList `xs` removes all duplicate elements from `xs`, assuming
* `xs` is sorted.
*/
removeDupSortedList :: ![a] -> [a] | Eq a
......@@ -422,9 +422,6 @@ instance html HtmlTag
instance html [a] | html a
instance html (Maybe a) | html a
//BACKWARDS COMPATIBILITY
RawText :== Html
browserFriendlySVGEltToString :: !SVGElt -> String
escapeStr :: !String -> String
......@@ -2,4 +2,5 @@ definition module System._Platform
import System.Platform
/** @type Platform */
CURRENT_PLATFORM :== Linux32
......@@ -2,4 +2,5 @@ definition module System._Platform
import System.Platform
/** @type Platform */
CURRENT_PLATFORM :== Linux64
......@@ -8,6 +8,7 @@ WNOHANG :== 0x00000001
WUNTRACED :== 0x00000002
MAXPATHLEN :== 1024
/** @type Int */
DIRENT_D_NAME_OFFSET :== IF_INT_64_OR_32 19 11
S_IFMT :== 0170000
......
......@@ -2,4 +2,5 @@ definition module System._Platform
import System.Platform
/** @type Platform */
CURRENT_PLATFORM :== Mac
......@@ -2,4 +2,5 @@ definition module System._Platform
import System.Platform
/** @type Platform */
CURRENT_PLATFORM :== Windows32
......@@ -2,4 +2,5 @@ definition module System._Platform
import System.Platform
/** @type Platform */
CURRENT_PLATFORM :== Windows64
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment