Safe Haskell	None
Language	Haskell2010

DzenDhall.Data

Documentation

type Cache = IORef (Maybe Text) Source #

data SourceHandle Source #

Constructors

SourceHandle
Fields _shOutputRef :: IORef Text _shCacheRef :: Cache _shEscape :: Bool

shOutputRef :: Lens' SourceHandle (IORef Text) Source #

shEscape :: Lens' SourceHandle Bool Source #

shCacheRef :: Lens' SourceHandle Cache Source #

data Bar id Source #

Constructors

BarAutomaton Text (StateTransitionTableX id) (AutomataRefX id (Bar id))
BarPad Int Padding (Bar id)
BarTrim Int Direction (Bar id)
BarMarquee Marquee (Bar id)
BarProp Property (Bar id)
BarMarkup Text
BarScope (Bar id)
BarShape Shape
BarSlider Slider (Vector (Bar id))
BarSource (SourceRefX id)
BarText Text
BarDefine Variable
Bars [Bar id]

Instances

Eq (Bar Marshalled) Source #
Instance details Defined in DzenDhall.Data Methods (==) :: Bar Marshalled -> Bar Marshalled -> Bool # (/=) :: Bar Marshalled -> Bar Marshalled -> Bool #
Show (Bar Marshalled) Source #
Instance details Defined in DzenDhall.Data Methods showsPrec :: Int -> Bar Marshalled -> ShowS # show :: Bar Marshalled -> String # showList :: [Bar Marshalled] -> ShowS #
Generic (Bar id) Source #
Instance details Defined in DzenDhall.Data Associated Types type Rep (Bar id) :: Type -> Type # Methods from :: Bar id -> Rep (Bar id) x # to :: Rep (Bar id) x -> Bar id #
Semigroup (Bar id) Source #
Instance details Defined in DzenDhall.Data Methods (<>) :: Bar id -> Bar id -> Bar id # sconcat :: NonEmpty (Bar id) -> Bar id # stimes :: Integral b => b -> Bar id -> Bar id #
Monoid (Bar id) Source #
Instance details Defined in DzenDhall.Data Methods mempty :: Bar id # mappend :: Bar id -> Bar id -> Bar id # mconcat :: [Bar id] -> Bar id #
type Rep (Bar id) Source #
Instance details Defined in DzenDhall.Data type Rep (Bar id) = D1 (MetaData "Bar" "DzenDhall.Data" "dzen-dhall-1.0.2-1DjeyjLENUgKHKuAgVFJmg" False) (((C1 (MetaCons "BarAutomaton" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (StateTransitionTableX id)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AutomataRefX id (Bar id))))) :+: (C1 (MetaCons "BarPad" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Padding) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Bar id)))) :+: C1 (MetaCons "BarTrim" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Direction) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Bar id)))))) :+: (C1 (MetaCons "BarMarquee" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Marquee) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Bar id))) :+: (C1 (MetaCons "BarProp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Property) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Bar id))) :+: C1 (MetaCons "BarMarkup" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))) :+: ((C1 (MetaCons "BarScope" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Bar id))) :+: (C1 (MetaCons "BarShape" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Shape)) :+: C1 (MetaCons "BarSlider" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Slider) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector (Bar id)))))) :+: ((C1 (MetaCons "BarSource" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SourceRefX id))) :+: C1 (MetaCons "BarText" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :+: (C1 (MetaCons "BarDefine" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Variable)) :+: C1 (MetaCons "Bars" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Bar id]))))))

type family AutomataRefX id :: * -> * Source #

Instances

type AutomataRefX Marshalled Source #
Instance details Defined in DzenDhall.Data type AutomataRefX Marshalled = HashMap Text
type AutomataRefX Initialized Source #
Instance details Defined in DzenDhall.Data type AutomataRefX Initialized = IORef

type family StateTransitionTableX id Source #

Instances

type StateTransitionTableX Marshalled Source #
Instance details Defined in DzenDhall.Data type StateTransitionTableX Marshalled = StateTransitionTable
type StateTransitionTableX Initialized Source #
Instance details Defined in DzenDhall.Data type StateTransitionTableX Initialized = ()

type family SourceRefX id Source #

Instances

type SourceRefX Marshalled Source #
Instance details Defined in DzenDhall.Data type SourceRefX Marshalled = Source
type SourceRefX Initialized Source #
Instance details Defined in DzenDhall.Data type SourceRefX Initialized = SourceHandle

newtype Initialized Source #

Constructors

Initialized Void

Instances

type SourceRefX Initialized Source #
Instance details Defined in DzenDhall.Data type SourceRefX Initialized = SourceHandle
type StateTransitionTableX Initialized Source #
Instance details Defined in DzenDhall.Data type StateTransitionTableX Initialized = ()
type AutomataRefX Initialized Source #
Instance details Defined in DzenDhall.Data type AutomataRefX Initialized = IORef

newtype Marshalled Source #

Constructors

Marshalled Void

Instances

Eq (Bar Marshalled) Source #
Instance details Defined in DzenDhall.Data Methods (==) :: Bar Marshalled -> Bar Marshalled -> Bool # (/=) :: Bar Marshalled -> Bar Marshalled -> Bool #
Show (Bar Marshalled) Source #
Instance details Defined in DzenDhall.Data Methods showsPrec :: Int -> Bar Marshalled -> ShowS # show :: Bar Marshalled -> String # showList :: [Bar Marshalled] -> ShowS #
type SourceRefX Marshalled Source #
Instance details Defined in DzenDhall.Data type SourceRefX Marshalled = Source
type StateTransitionTableX Marshalled Source #
Instance details Defined in DzenDhall.Data type StateTransitionTableX Marshalled = StateTransitionTable
type AutomataRefX Marshalled Source #
Instance details Defined in DzenDhall.Data type AutomataRefX Marshalled = HashMap Text

data Property Source #

Constructors

BG Color
IB
FG Color
CA ClickableArea
P Position
PA AbsolutePosition

Instances

Eq Property Source #
Instance details Defined in DzenDhall.Data Methods (==) :: Property -> Property -> Bool # (/=) :: Property -> Property -> Bool #
Show Property Source #
Instance details Defined in DzenDhall.Data Methods showsPrec :: Int -> Property -> ShowS # show :: Property -> String # showList :: [Property] -> ShowS #
Generic Property Source #
Instance details Defined in DzenDhall.Data Associated Types type Rep Property :: Type -> Type # Methods from :: Property -> Rep Property x # to :: Rep Property x -> Property #
type Rep Property Source #
Instance details Defined in DzenDhall.Data type Rep Property = D1 (MetaData "Property" "DzenDhall.Data" "dzen-dhall-1.0.2-1DjeyjLENUgKHKuAgVFJmg" False) ((C1 (MetaCons "BG" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Color)) :+: (C1 (MetaCons "IB" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "FG" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Color)))) :+: (C1 (MetaCons "CA" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ClickableArea)) :+: (C1 (MetaCons "P" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Position)) :+: C1 (MetaCons "PA" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AbsolutePosition)))))

type Handler = Text Source #

type ImagePath = Text Source #

data Shape Source #

Constructors

I ImagePath
R Int Int
RO Int Int
C Int
CO Int

Instances

Eq Shape Source #
Instance details Defined in DzenDhall.Data Methods (==) :: Shape -> Shape -> Bool # (/=) :: Shape -> Shape -> Bool #
Show Shape Source #
Instance details Defined in DzenDhall.Data Methods showsPrec :: Int -> Shape -> ShowS # show :: Shape -> String # showList :: [Shape] -> ShowS #
Generic Shape Source #
Instance details Defined in DzenDhall.Data Associated Types type Rep Shape :: Type -> Type # Methods from :: Shape -> Rep Shape x # to :: Rep Shape x -> Shape #
Renderable Shape Source #
Instance details Defined in DzenDhall.AST.Render Methods render :: Shape -> Render () Source #
type Rep Shape Source #
Instance details Defined in DzenDhall.Data type Rep Shape = D1 (MetaData "Shape" "DzenDhall.Data" "dzen-dhall-1.0.2-1DjeyjLENUgKHKuAgVFJmg" False) ((C1 (MetaCons "I" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImagePath)) :+: C1 (MetaCons "R" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) :+: (C1 (MetaCons "RO" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "C" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "CO" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))))