Prima.Pyxis.Form.Checkbox

Configuration

type Checkbox model msg

Represent the opaque Checkbox configuration.

{ value : String

, label : String

}

Represent a choice for the Checkbox.

(model -> List String)

-> (String -> msg)

-> List CheckboxChoice

-> Checkbox model msg

Create a checkbox.

checkboxChoice : String -> String -> CheckboxChoice

Creates a choice for the Checkbox.

render : model -> Checkbox model msg -> List (Html msg)

Renders the Checkbox.

withAttribute : Attribute msg -> Checkbox model msg -> Checkbox model msg

Adds a generic Html.Attribute to the Checkbox.

withDisabled : Bool -> Checkbox model msg -> Checkbox model msg

Adds a disabled Html.Attribute to the Checkbox.

withClass : String -> Checkbox model msg -> Checkbox model msg

Adds a class to the Checkbox.

withId : String -> Checkbox model msg -> Checkbox model msg

Adds an id Html.Attribute to the Checkbox.

withName : String -> Checkbox model msg -> Checkbox model msg

Adds a name Html.Attribute to the Checkbox.

withOnFocus : msg -> Checkbox model msg -> Checkbox model msg

Attaches the onFocus event to the Checkbox.

withOnBlur : msg -> Checkbox model msg -> Checkbox model msg

Attaches the onBlur event to the Checkbox.

withValidation : (model -> Maybe Type) -> Checkbox model msg -> Checkbox model msg

Adds a Validation rule to the Checkbox.