Language.Symantic.Document.Valid

Type Valid

data Valid repr

Constructors

KO [Error_Valid]

Ok repr

Instances

Monad Valid

Methods

(>>=) :: Valid a -> (a -> Valid b) -> Valid b

(>>) :: Valid a -> Valid b -> Valid b

return :: a -> Valid a

fail :: String -> Valid a

Functor Valid

Methods

fmap :: (a -> b) -> Valid a -> Valid b

(<$) :: a -> Valid b -> Valid a

Applicative Valid

Methods

pure :: a -> Valid a

(<*>) :: Valid (a -> b) -> Valid a -> Valid b

liftA2 :: (a -> b -> c) -> Valid a -> Valid b -> Valid c

(*>) :: Valid a -> Valid b -> Valid b

(<*) :: Valid a -> Valid b -> Valid a

Eq repr => Eq (Valid repr)

Methods

(==) :: Valid repr -> Valid repr -> Bool

(/=) :: Valid repr -> Valid repr -> Bool

Show repr => Show (Valid repr)

Methods

showsPrec :: Int -> Valid repr -> ShowS

show :: Valid repr -> String

showList :: [Valid repr] -> ShowS

IsString repr => IsString (Valid repr)

Methods

fromString :: String -> Valid repr

Semigroup repr => Semigroup (Valid repr)

Methods

(<>) :: Valid repr -> Valid repr -> Valid repr

sconcat :: NonEmpty (Valid repr) -> Valid repr

stimes :: Integral b => b -> Valid repr -> Valid repr

(Doc_Text repr, Semigroup repr) => Monoid (Valid repr)

Methods

mempty :: Valid repr

mappend :: Valid repr -> Valid repr -> Valid repr

mconcat :: [Valid repr] -> Valid repr

Doc_Decoration repr => Doc_Decoration (Valid repr)

Methods

bold :: Valid repr -> Valid repr

underline :: Valid repr -> Valid repr

italic :: Valid repr -> Valid repr

Doc_Color repr => Doc_Color (Valid repr)

Methods

reverse :: Valid repr -> Valid repr

black :: Valid repr -> Valid repr

red :: Valid repr -> Valid repr

green :: Valid repr -> Valid repr

yellow :: Valid repr -> Valid repr

blue :: Valid repr -> Valid repr

magenta :: Valid repr -> Valid repr

cyan :: Valid repr -> Valid repr

white :: Valid repr -> Valid repr

blacker :: Valid repr -> Valid repr

redder :: Valid repr -> Valid repr

greener :: Valid repr -> Valid repr

yellower :: Valid repr -> Valid repr

bluer :: Valid repr -> Valid repr

magentaer :: Valid repr -> Valid repr

cyaner :: Valid repr -> Valid repr

whiter :: Valid repr -> Valid repr

onBlack :: Valid repr -> Valid repr

onRed :: Valid repr -> Valid repr

onGreen :: Valid repr -> Valid repr

onYellow :: Valid repr -> Valid repr

onBlue :: Valid repr -> Valid repr

onMagenta :: Valid repr -> Valid repr

onCyan :: Valid repr -> Valid repr

onWhite :: Valid repr -> Valid repr

onBlacker :: Valid repr -> Valid repr

onRedder :: Valid repr -> Valid repr

onGreener :: Valid repr -> Valid repr

onYellower :: Valid repr -> Valid repr

onBluer :: Valid repr -> Valid repr

onMagentaer :: Valid repr -> Valid repr

onCyaner :: Valid repr -> Valid repr

onWhiter :: Valid repr -> Valid repr

(Doc_Text repr, Semigroup repr) => Doc_Text (Valid repr)

Methods

charH :: Char -> Valid repr

stringH :: String -> Valid repr

textH :: Text -> Valid repr

ltextH :: Text -> Valid repr

replicate :: Int -> Valid repr -> Valid repr

integer :: Integer -> Valid repr

empty :: Valid repr

eol :: Valid repr

space :: Valid repr

spaces :: Int -> Valid repr

int :: Int -> Valid repr

char :: Char -> Valid repr

string :: String -> Valid repr

text :: Text -> Valid repr

ltext :: Text -> Valid repr

catH :: Foldable f => f (Valid repr) -> Valid repr

catV :: Foldable f => f (Valid repr) -> Valid repr

paren :: Valid repr -> Valid repr

brace :: Valid repr -> Valid repr

bracket :: Valid repr -> Valid repr

bquote :: Valid repr -> Valid repr

dquote :: Valid repr -> Valid repr

fquote :: Valid repr -> Valid repr

squote :: Valid repr -> Valid repr

valid :: Valid repr -> Valid repr

Type Error_Valid

data Error_Valid

Constructors

Error_Valid_not_horizontal Text

Error_Valid_negative_replicate Int

Instances

Eq Error_Valid

Methods

(==) :: Error_Valid -> Error_Valid -> Bool

(/=) :: Error_Valid -> Error_Valid -> Bool

Show Error_Valid

Methods

showsPrec :: Int -> Error_Valid -> ShowS

show :: Error_Valid -> String

showList :: [Error_Valid] -> ShowS