TypedSession.State.Render

Documentation

data RenderProt

Instances

type XBranch RenderProt

Defined in TypedSession.State.Render

type XBranch RenderProt = (String, [String])

type XBranchSt RenderProt

Defined in TypedSession.State.Render

type XBranchSt RenderProt = ()

type XGoto RenderProt

Defined in TypedSession.State.Render

type XGoto RenderProt = (String, [String])

type XLabel RenderProt

Defined in TypedSession.State.Render

type XLabel RenderProt = (String, [String])

type XMsg RenderProt

Defined in TypedSession.State.Render

type XMsg RenderProt = (String, [String])

type XTerminal RenderProt

Defined in TypedSession.State.Render

type XTerminal RenderProt = (String, [String])

parensWarapper :: String -> String

newtype LV

Constructors

LV Int

Instances

Bounded LV

Defined in TypedSession.State.Render

Methods

minBound :: LV

maxBound :: LV

Num LV

Defined in TypedSession.State.Render

Methods

(+) :: LV -> LV -> LV

(-) :: LV -> LV -> LV

(*) :: LV -> LV -> LV

negate :: LV -> LV

abs :: LV -> LV

signum :: LV -> LV

fromInteger :: Integer -> LV

Show LV

Defined in TypedSession.State.Render

Methods

showsPrec :: Int -> LV -> ShowS

show :: LV -> String

showList :: [LV] -> ShowS

Eq LV

Defined in TypedSession.State.Render

Methods

(==) :: LV -> LV -> Bool

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

Ord LV

Defined in TypedSession.State.Render

Methods

compare :: LV -> LV -> Ordering

(<) :: LV -> LV -> Bool

(<=) :: LV -> LV -> Bool

(>) :: LV -> LV -> Bool

(>=) :: LV -> LV -> Bool

max :: LV -> LV -> LV

min :: LV -> LV -> LV

newtype RV

Constructors

RV Int

Instances

Bounded RV

Defined in TypedSession.State.Render

Methods

minBound :: RV

maxBound :: RV

Num RV

Defined in TypedSession.State.Render

Methods

(+) :: RV -> RV -> RV

(-) :: RV -> RV -> RV

(*) :: RV -> RV -> RV

negate :: RV -> RV

abs :: RV -> RV

signum :: RV -> RV

fromInteger :: Integer -> RV

Show RV

Defined in TypedSession.State.Render

Methods

showsPrec :: Int -> RV -> ShowS

show :: RV -> String

showList :: [RV] -> ShowS

Eq RV

Defined in TypedSession.State.Render

Methods

(==) :: RV -> RV -> Bool

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

Ord RV

Defined in TypedSession.State.Render

Methods

compare :: RV -> RV -> Ordering

(<) :: RV -> RV -> Bool

(<=) :: RV -> RV -> Bool

(>) :: RV -> RV -> Bool

(>=) :: RV -> RV -> Bool

max :: RV -> RV -> RV

min :: RV -> RV -> RV

mkLeftStr :: forall (sig :: (Type -> Type) -> Type -> Type) m. Has (State Int :+: Writer (Max LV)) sig m => String -> m String

render1XTraverse :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (State Int :+: (Writer (Max LV) :+: Writer (Max RV))) sig m, Show bst, Enum r, Bounded r, Eq r, Ord r, Show r) => XTraverse m (MsgT r bst) RenderProt r bst

fillStr :: Char -> Int -> String -> String

mkLine :: forall r (sig :: (Type -> Type) -> Type -> Type) m. (Has (Reader (LV, RV) :+: Writer [String]) sig m, Enum r, Bounded r) => (String, [String]) -> m ()

render2XTraverse :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (Reader (LV, RV) :+: Writer [String]) sig m, Enum r, Bounded r) => XFold m RenderProt r bst

runRender1 :: (Enum r, Bounded r, Ord r, Show bst, Show r) => Protocol (MsgT r bst) r bst -> (Max LV, (Max RV, (Int, Protocol RenderProt r bst)))

runRender :: (Enum r, Bounded r, Ord r, Show bst, Show r) => Protocol (MsgT r bst) r bst -> String