Blessed.UI.Boxes.BigText.Option

newtype BDFSource

Constructors

• BDFSource String

Instances

• Newtype BDFSource _
• EncodeJson BDFSource

type OptionsRow :: Row Type -> Row Typetype OptionsRow r = (fch :: Char, font :: BDFSource, fontBold :: BDFSource | r)

type Options = Record (OptionsRow ())

type BigTextAttribute :: Subject -> Symbol -> Row Type -> Type -> Type -> Typetype BigTextAttribute subj id r state e = Attribute subj id (OptionsRow + OptionsRow + r) state e

bigTextOption :: forall subj id a r r' sym state e. Respresents BigText subj id => EncodeJson a => IsSymbol sym => Cons sym a r' (OptionsRow + OptionsRow + r) => Proxy sym -> a -> BigTextAttribute subj id r state e

bdf :: String -> BDFSource

font :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents BigText subj id => BDFSource -> BigTextAttribute subj id (font :: BDFSource | r) state e

fontBold :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents BigText subj id => BDFSource -> BigTextAttribute subj id (fontBold :: BDFSource | r) state e

fch :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents BigText subj id => Char -> BigTextAttribute subj id (fch :: Char | r) state e