Safe Haskell | None |
---|---|
Language | Haskell2010 |
TypedSession.State.Render
Documentation
data RenderProt Source #
Instances
type XBranch RenderProt Source # | |
Defined in TypedSession.State.Render | |
type XBranchSt RenderProt Source # | |
Defined in TypedSession.State.Render | |
type XGoto RenderProt Source # | |
Defined in TypedSession.State.Render | |
type XLabel RenderProt Source # | |
Defined in TypedSession.State.Render | |
type XMsg RenderProt Source # | |
Defined in TypedSession.State.Render | |
type XTerminal RenderProt Source # | |
Defined in TypedSession.State.Render |
parensWarapper :: String -> String Source #
mkLeftStr :: forall (sig :: (Type -> Type) -> Type -> Type) m. Has (State Int :+: Writer (Max LV)) sig m => String -> m String Source #
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 Source #
mkLine :: forall r (sig :: (Type -> Type) -> Type -> Type) m. (Has (Reader (LV, RV) :+: Writer [String]) sig m, Enum r, Bounded r) => (String, [String]) -> m () Source #
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 Source #