mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-11-27 13:02:42 +03:00
Avoid type aliasing configurables
This commit is contained in:
parent
602b18664b
commit
1e012a0001
@ -114,19 +114,15 @@ type Initialized
|
||||
| NotInitialized
|
||||
|
||||
|
||||
{-| Config is used by init to setup an initial Model
|
||||
{-| Setup initial model
|
||||
-}
|
||||
type alias Config marker =
|
||||
init :
|
||||
{ id : String
|
||||
, highlightables : List (Highlightable marker)
|
||||
, marker : Tool.Tool marker
|
||||
, onClickAction : OnClickAction
|
||||
}
|
||||
|
||||
|
||||
{-| Setup initial model
|
||||
-}
|
||||
init : Config marker -> Model marker
|
||||
-> Model marker
|
||||
init config =
|
||||
{ id = config.id
|
||||
, highlightables = config.highlightables
|
||||
|
Loading…
Reference in New Issue
Block a user