Copyright | Will Thompson Iñaki García Etxebarria and Jonas Platte |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria (inaki@blueleaf.cc) |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- data ArrowsDirection
- data Fold
- data LeafletChildTransitionType
- data LeafletModeTransitionType
Enumerations
ArrowsDirection
data ArrowsDirection Source #
No description available in the introspection data.
ArrowsDirectionUp | Arrows point upwards. |
ArrowsDirectionDown | Arrows point to the left. |
ArrowsDirectionLeft | Arrows point to the right. |
ArrowsDirectionRight | Arrows point downwards |
AnotherArrowsDirection Int | Catch-all for unknown values |
Instances
Fold
Represents the fold of widgets and other objects which can be switched between folded and unfolded state on the fly, like HdyLeaflet.
FoldUnfolded | The element isn't folded |
FoldFolded | The element is folded |
AnotherFold Int | Catch-all for unknown values |
LeafletChildTransitionType
data LeafletChildTransitionType Source #
These enumeration values describe the possible transitions between pages in a
Leaflet
widget.
New values may be added to this enumeration over time.
LeafletChildTransitionTypeNone | No transition |
LeafletChildTransitionTypeCrossfade | A cross-fade |
LeafletChildTransitionTypeSlide | Slide from left, right, up or down according to the orientation, text direction and the children order |
LeafletChildTransitionTypeOver | Cover the old page or uncover the new page, sliding from or towards the end according to orientation, text direction and children order |
LeafletChildTransitionTypeUnder | Uncover the new page or cover the old page, sliding from or towards the start according to orientation, text direction and children order |
AnotherLeafletChildTransitionType Int | Catch-all for unknown values |
Instances
LeafletModeTransitionType
data LeafletModeTransitionType Source #
These enumeration values describe the possible transitions between pages in a
Leaflet
widget.
New values may be added to this enumeration over time.
LeafletModeTransitionTypeNone | No transition |
LeafletModeTransitionTypeSlide | Slide from left, right, up or down according to the orientation, text direction and the children order |
AnotherLeafletModeTransitionType Int | Catch-all for unknown values |