TypedSession.State.Render

Documentation

data StringFill

Constructors

CenterFill Int Char String

LeftAlign Int Char String

Instances

Show StringFill

Defined in TypedSession.State.Render

Methods

showsPrec :: Int -> StringFill -> ShowS

show :: StringFill -> String

showList :: [StringFill] -> ShowS

runCenterFill :: String -> StringFill -> String

getPoint :: StringFill -> Int

runCenterFills :: [StringFill] -> String

data StrFillEnv

Constructors

StrFillEnv

Fields

• width :: Int
• leftWidth :: Int

Instances

Show StrFillEnv

Defined in TypedSession.State.Render

Methods

showsPrec :: Int -> StrFillEnv -> ShowS

show :: StrFillEnv -> String

showList :: [StrFillEnv] -> ShowS

defaultStrFilEnv :: StrFillEnv

reSt :: StrFillEnv -> String -> String

type XStringFill eta r bst = (XMsg eta -> ([StringFill], Bool), XLabel eta -> [StringFill], XBranch eta -> [StringFill], XBranchSt eta -> [StringFill], XGoto eta -> [StringFill], XTerminal eta -> [StringFill])

renderXFold :: forall r eta bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (Writer [[StringFill]] :+: State Int) sig m, ForallX Show eta, Enum r, Bounded r, Show r, Show bst) => StrFillEnv -> XStringFill eta r bst -> XFold m eta r bst

runRender :: forall r eta bst. (ForallX Show eta, Show bst, Enum r, Bounded r, Show r) => StrFillEnv -> XStringFill eta r bst -> Protocol eta r bst -> String

data Tracer r bst

Constructors

TracerProtocolCreat (Protocol Creat r bst)

TracerProtocolIdx (Protocol Idx r bst)

TracerReRank (IntMap Int)

TracerProtocolAddNum (Protocol AddNums r bst)

TracerProtocolGenConst (Protocol (GenConst r) r bst)

TracerConstraints (Seq Constraint)

TracerSubMap SubMap

TracerProtocolGenConstN (Protocol (GenConst r) r bst)

TracerCollectBranchDynVal (Set Int)

TracerProtocolMsgT (Protocol (MsgT r bst) r bst)

TracerProtocolMsgT1 (Protocol (MsgT1 r bst) r bst)

Instances

(Show r, Show bst, Enum r, Bounded r, Eq r, Ord r) => Show (Tracer r bst)

Defined in TypedSession.State.Render

Methods

showsPrec :: Int -> Tracer r bst -> ShowS

show :: Tracer r bst -> String

showList :: [Tracer r bst] -> ShowS

traceWrapper :: String -> String -> String

foo :: Ord a => a -> a -> [Char] -> a -> [Char]

rtops :: Enum r => StrFillEnv -> r -> Int

rRange :: (Enum r, Bounded r) => [r]

too :: forall r a. (Show a, Enum r, Bounded r) => StrFillEnv -> [a] -> [StringFill]

stMsgT :: forall r bst. (Show bst, Ord r, Enum r, Bounded r) => StrFillEnv -> XStringFill (MsgT r bst) r bst

parensWarapper :: String -> String