Text.CSS.Grid

Types and utilities for laying out components in a grid.

Definitions

record Flex : Type

Totality: total
Visibility: public export
Constructor: 

MkFlex : Bits16 -> Flex

Projection: 

.value : Flex -> Bits16

Hints:

Cast Flex MinMaxValue

Cast Flex GridValue

Render Flex

.value : Flex -> Bits16

Visibility: public export

value : Flex -> Bits16

Visibility: public export

fr : Cast Flex a => Bits16 -> a

Visibility: export

data MinMaxValue : Type

Totality: total
Visibility: public export
Constructors:

Auto : MinMaxValue

MML : Length -> MinMaxValue

MMP : Percentage -> MinMaxValue

MMF : Flex -> MinMaxValue

MinContent : MinMaxValue

MaxContent : MinMaxValue

Hints:

Cast Length MinMaxValue

Cast Percentage MinMaxValue

Cast Flex MinMaxValue

Render MinMaxValue

data GridValue : Type

Totality: total
Visibility: public export
Constructors:

GL : Length -> GridValue

GP : Percentage -> GridValue

GF : Flex -> GridValue

MinMax : MinMaxValue -> MinMaxValue -> GridValue

MaxContent : GridValue

MinContent : GridValue

Hints:

Cast Length GridValue

Cast Percentage GridValue

Cast Flex GridValue

Render GridValue

Render (List GridValue)

data GridPosition : Type

Totality: total
Visibility: public export
Constructors:

At : Bits32 -> GridPosition

FromTo : Bits32 -> Bits32 -> GridPosition

Hint: 

Render GridPosition