Put document structure in nicer location
This commit is contained in:
parent
c4d07300a1
commit
8a255de2ba
2 changed files with 14 additions and 21 deletions
|
@ -1,16 +1,6 @@
|
|||
module Graphics.Input where
|
||||
|
||||
import Basics (String)
|
||||
import Signal (Signal,lift,dropRepeats)
|
||||
import Native.Graphics.Input
|
||||
import List
|
||||
import Graphics.Element (Element)
|
||||
import Maybe (Maybe)
|
||||
import JavaScript (JSString)
|
||||
|
||||
{-| DOCUMENT STRUCTURE
|
||||
|
||||
This module is for creating standard input widgets such as buttons and
|
||||
{-| This module is for creating standard input widgets such as buttons and
|
||||
text boxes. In general, functions in this library return a signal representing
|
||||
events from the user.
|
||||
|
||||
|
@ -34,9 +24,16 @@ two-way inputs.
|
|||
|
||||
# Mouse Hover
|
||||
@docs hoverable, hoverables
|
||||
|
||||
-}
|
||||
|
||||
import Basics (String)
|
||||
import Signal (Signal,lift,dropRepeats)
|
||||
import Native.Graphics.Input
|
||||
import List
|
||||
import Graphics.Element (Element)
|
||||
import Maybe (Maybe)
|
||||
import JavaScript (JSString)
|
||||
|
||||
id x = x
|
||||
|
||||
{-| Create a group of buttons.
|
||||
|
|
|
@ -1,13 +1,7 @@
|
|||
|
||||
module List where
|
||||
|
||||
import open Basics
|
||||
import Native.List
|
||||
|
||||
{-| DOCUMENT STRUCTURE
|
||||
|
||||
A library for manipulating lists of values. Every value in a list must have
|
||||
the same type.
|
||||
{-| A library for manipulating lists of values. Every value in a
|
||||
list must have the same type.
|
||||
|
||||
# Basics
|
||||
@docs (::), (++), length, reverse, map
|
||||
|
@ -26,9 +20,11 @@ the same type.
|
|||
|
||||
# Special Folds
|
||||
@docs susm, product, maximum, minimum, all, any, and, or
|
||||
|
||||
-}
|
||||
|
||||
import open Basics
|
||||
import Native.List
|
||||
|
||||
{-| Add an element to the front of a list `(1 :: [2,3] == [1,2,3])` -}
|
||||
(::) : a -> [a] -> [a]
|
||||
(::) = Native.List.cons
|
||||
|
|
Loading…
Reference in a new issue