Play.Types

type Def = { childGap :: Number, direction :: Direction, padding :: Padding, sizing :: { height :: Sizing, width :: Sizing } }

data Direction

Constructors

• TopToBottom
• LeftToRight

type Offset = Pos

type Padding = { bottom :: Number, left :: Number, right :: Number, top :: Number }

type Pos = { x :: Number, y :: Number }

type Rect = { pos :: Pos, size :: Size }

type Size = { height :: Number, width :: Number }

data Sizing

Constructors

• None
• Fixed Number
• Fit
• Grow
• FitGrow

Instances

• Eq Sizing

  FixedPct Percentage FitMin { min :: Number } FitMax { max :: Number } FitMinMax { min :: Number, max :: Number }

type WithDef a = { def :: Def, v :: a }

type WithDefSize a = { def :: Def, size :: Size, v :: a }

type WithRect a = { rect :: Rect, v :: a }

type WithDefRect a = { def :: Def, rect :: Rect, v :: a }