Language.Symantic.CLI.Plain

Class Doc

class (IsString d, Semigroup d, Monoid d, Textable d, Indentable d, Breakable d, Colorable d, Decorable d) => Doc d

Instances

Doc TermIO

Defined in Language.Symantic.CLI.Plain

Doc Term

Defined in Language.Symantic.CLI.Plain

words :: Textable d => Breakable d => String -> d

Type Reader

data Reader d

Constructed top-down

Constructors

Reader

Fields

• reader_op :: (Infix, Side)

  Parent operator.

• reader_define :: Bool

  Whether to print a definition, or not.

• reader_or :: d

defReader :: Textable d => Reader d

pairIfNeeded :: Doc d => Reader d -> Infix -> d -> d

Type Plain

newtype Plain d e t a

Constructors

Plain

Fields

• unPlain :: Reader d -> Maybe d

Instances

Doc d => Sym_Help d (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

help :: d -> Plain d e t a -> Plain d e t a

Doc d => Sym_Exit (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

exit :: e -> Plain d e t ()

Doc d => Sym_Option (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

opt :: OptionName -> Plain d e s a -> Plain d e ArgOption a

var :: Name -> (String -> Either e a) -> Plain d e ArgValue a

tag :: String -> Plain d e ArgValue ()

long :: Name -> Plain d e ArgValue a -> Plain d e ArgOption a

short :: Char -> Plain d e ArgValue a -> Plain d e ArgOption a

flag :: OptionName -> (Bool, Plain d e ArgOption Bool)

endOpt :: Plain d e ArgOption ()

string :: Name -> Plain d e ArgValue String

Doc d => Sym_Command (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

main :: Name -> Plain d e t a -> Plain d e ArgCommand a

command :: Name -> Plain d e t a -> Plain d e ArgCommand a

Doc d => Sym_Rule (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

rule :: String -> Plain d e t a -> Plain d e t a

Doc d => Sym_Interleaved (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

interleaved :: Perm (Plain d e t) a -> Plain d e t a

(<<$>>) :: (a -> b) -> Plain d e t a -> Perm (Plain d e t) b

(<<$?>>) :: (a -> b) -> (a, Plain d e t a) -> Perm (Plain d e t) b

(<<$*>>) :: ([a] -> b) -> Plain d e t a -> Perm (Plain d e t) b

(<<|>>) :: Perm (Plain d e t) (a -> b) -> Plain d e t a -> Perm (Plain d e t) b

(<<|?>>) :: Perm (Plain d e t) (a -> b) -> (a, Plain d e t a) -> Perm (Plain d e t) b

(<<|*>>) :: Perm (Plain d e t) ([a] -> b) -> Plain d e t a -> Perm (Plain d e t) b

(<<$) :: a -> Plain d e t b -> Perm (Plain d e t) a

(<<$?) :: a -> (b, Plain d e t b) -> Perm (Plain d e t) a

Doc d => Sym_AltApp (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

many :: Plain d e t a -> Plain d e t [a]

some :: Plain d e t a -> Plain d e t [a]

intermany :: [Plain d e t a] -> Plain d e t [a]

Doc d => Sym_Alt (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

(<||>) :: Plain d e t a -> Plain d e t a -> Plain d e t a

choice :: [Plain d e t a] -> Plain d e t a

optional :: Plain d e t a -> Plain d e t (Maybe a)

option :: a -> Plain d e t a -> Plain d e t a

try :: Plain d e t a -> Plain d e t a

Doc d => Sym_App (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

value :: a -> Plain d e ArgValue a

(<**>) :: Plain d e t (a -> b) -> Plain d e u a -> Plain d e u b

(**>) :: Plain d e t a -> Plain d e u b -> Plain d e u b

(<**) :: Plain d e t a -> Plain d e u b -> Plain d e u a

end :: Plain d e t ()

Doc d => Sym_Fun (Plain d)

Defined in Language.Symantic.CLI.Plain

Methods

(<$$>) :: (a -> b) -> Plain d e t a -> Plain d e t b

(<$$) :: a -> Plain d e t b -> Plain d e t a

($$>) :: Plain d e t b -> a -> Plain d e t a

Show (Plain Term e t a)

Defined in Language.Symantic.CLI.Plain

Methods

showsPrec :: Int -> Plain Term e t a -> ShowS

show :: Plain Term e t a -> String

showList :: [Plain Term e t a] -> ShowS

(Semigroup d, IsString d) => IsString (Plain d e t a)

Defined in Language.Symantic.CLI.Plain

Methods

fromString :: String -> Plain d e t a

Semigroup d => Semigroup (Plain d e t a)

Defined in Language.Symantic.CLI.Plain

Methods

(<>) :: Plain d e t a -> Plain d e t a -> Plain d e t a

sconcat :: NonEmpty (Plain d e t a) -> Plain d e t a

stimes :: Integral b => b -> Plain d e t a -> Plain d e t a

(Semigroup d, Monoid d) => Monoid (Plain d e t a)

Defined in Language.Symantic.CLI.Plain

Methods

mempty :: Plain d e t a

mappend :: Plain d e t a -> Plain d e t a -> Plain d e t a

mconcat :: [Plain d e t a] -> Plain d e t a

type Perm (Plain d e t)

Defined in Language.Symantic.CLI.Plain

type Perm (Plain d e t) = Compose [] (Plain d e t)

runPlain :: Monoid d => Plain d e t a -> Reader d -> d

coercePlain :: Plain d e t a -> Plain d e u b

textPlain :: Monoid d => Textable d => Plain d e t a -> d