UI.Border

Wrap elements in a border.

This module provides the border values to pass to UI.bordered.

default : Border

Default border.

Thin lines. Sharp corners. Can't lose.
rounded : Border

Border with rounded corners.
thick : Border

Border with thick lines.
veryThick : Border

Border with very thick lines.
double : Border

A double-lined border.
hidden : Border

An invisible border.

All border characters will render as empty strings.

This is useful if you are trying to line up bordered and unbordered things.
type alias Border =
{ top : String
, bottom : String
, left : String
, right : String
, topLeft : String
, topRight : String
, bottomLeft : String
, bottomRight : String
}

Type for all borders.