Safe Haskell	Safe-Inferred
Language	Haskell2010

SMCDEL.Internal.TexDisplay

Documentation

begintab :: String Source #

endtab :: String Source #

newline :: String Source #

removeDoubleSpaces :: String -> String Source #

class TexAble a where Source #

Minimal complete definition

tex

Methods

tex :: a -> String Source #

texTo :: a -> String -> IO () Source #

texDocumentTo :: a -> String -> IO () Source #

pdfTo :: a -> String -> IO () Source #

disp :: a -> IO () Source #

svgViaTex :: a -> String Source #

Instances

Instances details

TexAble ActionModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods tex :: ActionModel -> String Source # texTo :: ActionModel -> String -> IO () Source # texDocumentTo :: ActionModel -> String -> IO () Source # pdfTo :: ActionModel -> String -> IO () Source # disp :: ActionModel -> IO () Source # svgViaTex :: ActionModel -> String Source #
TexAble KripkeModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods tex :: KripkeModel -> String Source # texTo :: KripkeModel -> String -> IO () Source # texDocumentTo :: KripkeModel -> String -> IO () Source # pdfTo :: KripkeModel -> String -> IO () Source # disp :: KripkeModel -> IO () Source # svgViaTex :: KripkeModel -> String Source #
TexAble MultipointedActionModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods tex :: MultipointedActionModel -> String Source # texTo :: MultipointedActionModel -> String -> IO () Source # texDocumentTo :: MultipointedActionModel -> String -> IO () Source # pdfTo :: MultipointedActionModel -> String -> IO () Source # disp :: MultipointedActionModel -> IO () Source # svgViaTex :: MultipointedActionModel -> String Source #
TexAble MultipointedModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods tex :: MultipointedModel -> String Source # texTo :: MultipointedModel -> String -> IO () Source # texDocumentTo :: MultipointedModel -> String -> IO () Source # pdfTo :: MultipointedModel -> String -> IO () Source # disp :: MultipointedModel -> IO () Source # svgViaTex :: MultipointedModel -> String Source #
TexAble PointedActionModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods tex :: PointedActionModel -> String Source # texTo :: PointedActionModel -> String -> IO () Source # texDocumentTo :: PointedActionModel -> String -> IO () Source # pdfTo :: PointedActionModel -> String -> IO () Source # disp :: PointedActionModel -> IO () Source # svgViaTex :: PointedActionModel -> String Source #
TexAble PointedModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods tex :: PointedModel -> String Source # texTo :: PointedModel -> String -> IO () Source # texDocumentTo :: PointedModel -> String -> IO () Source # pdfTo :: PointedModel -> String -> IO () Source # disp :: PointedModel -> IO () Source # svgViaTex :: PointedModel -> String Source #
TexAble ActionModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods tex :: ActionModelS5 -> String Source # texTo :: ActionModelS5 -> String -> IO () Source # texDocumentTo :: ActionModelS5 -> String -> IO () Source # pdfTo :: ActionModelS5 -> String -> IO () Source # disp :: ActionModelS5 -> IO () Source # svgViaTex :: ActionModelS5 -> String Source #
TexAble KripkeModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods tex :: KripkeModelS5 -> String Source # texTo :: KripkeModelS5 -> String -> IO () Source # texDocumentTo :: KripkeModelS5 -> String -> IO () Source # pdfTo :: KripkeModelS5 -> String -> IO () Source # disp :: KripkeModelS5 -> IO () Source # svgViaTex :: KripkeModelS5 -> String Source #
TexAble MultipointedActionModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods tex :: MultipointedActionModelS5 -> String Source # texTo :: MultipointedActionModelS5 -> String -> IO () Source # texDocumentTo :: MultipointedActionModelS5 -> String -> IO () Source # pdfTo :: MultipointedActionModelS5 -> String -> IO () Source # disp :: MultipointedActionModelS5 -> IO () Source # svgViaTex :: MultipointedActionModelS5 -> String Source #
TexAble MultipointedModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods tex :: MultipointedModelS5 -> String Source # texTo :: MultipointedModelS5 -> String -> IO () Source # texDocumentTo :: MultipointedModelS5 -> String -> IO () Source # pdfTo :: MultipointedModelS5 -> String -> IO () Source # disp :: MultipointedModelS5 -> IO () Source # svgViaTex :: MultipointedModelS5 -> String Source #
TexAble PointedActionModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods tex :: PointedActionModelS5 -> String Source # texTo :: PointedActionModelS5 -> String -> IO () Source # texDocumentTo :: PointedActionModelS5 -> String -> IO () Source # pdfTo :: PointedActionModelS5 -> String -> IO () Source # disp :: PointedActionModelS5 -> IO () Source # svgViaTex :: PointedActionModelS5 -> String Source #
TexAble PointedModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods tex :: PointedModelS5 -> String Source # texTo :: PointedModelS5 -> String -> IO () Source # texDocumentTo :: PointedModelS5 -> String -> IO () Source # pdfTo :: PointedModelS5 -> String -> IO () Source # disp :: PointedModelS5 -> IO () Source # svgViaTex :: PointedModelS5 -> String Source #
TexAble Form Source #
Instance details Defined in SMCDEL.Language Methods tex :: Form -> String Source # texTo :: Form -> String -> IO () Source # texDocumentTo :: Form -> String -> IO () Source # pdfTo :: Form -> String -> IO () Source # disp :: Form -> IO () Source # svgViaTex :: Form -> String Source #
TexAble Prp Source #
Instance details Defined in SMCDEL.Language Methods tex :: Prp -> String Source # texTo :: Prp -> String -> IO () Source # texDocumentTo :: Prp -> String -> IO () Source # pdfTo :: Prp -> String -> IO () Source # disp :: Prp -> IO () Source # svgViaTex :: Prp -> String Source #
TexAble BelScene Source #
Instance details Defined in SMCDEL.Symbolic.K Methods tex :: BelScene -> String Source # texTo :: BelScene -> String -> IO () Source # texDocumentTo :: BelScene -> String -> IO () Source # pdfTo :: BelScene -> String -> IO () Source # disp :: BelScene -> IO () Source # svgViaTex :: BelScene -> String Source #
TexAble BelStruct Source #
Instance details Defined in SMCDEL.Symbolic.K Methods tex :: BelStruct -> String Source # texTo :: BelStruct -> String -> IO () Source # texDocumentTo :: BelStruct -> String -> IO () Source # pdfTo :: BelStruct -> String -> IO () Source # disp :: BelStruct -> IO () Source # svgViaTex :: BelStruct -> String Source #
TexAble Event Source #
Instance details Defined in SMCDEL.Symbolic.K Methods tex :: Event -> String Source # texTo :: Event -> String -> IO () Source # texDocumentTo :: Event -> String -> IO () Source # pdfTo :: Event -> String -> IO () Source # disp :: Event -> IO () Source # svgViaTex :: Event -> String Source #
TexAble MultipointedBelScene Source #
Instance details Defined in SMCDEL.Symbolic.K Methods tex :: MultipointedBelScene -> String Source # texTo :: MultipointedBelScene -> String -> IO () Source # texDocumentTo :: MultipointedBelScene -> String -> IO () Source # pdfTo :: MultipointedBelScene -> String -> IO () Source # disp :: MultipointedBelScene -> IO () Source # svgViaTex :: MultipointedBelScene -> String Source #
TexAble MultipointedEvent Source #
Instance details Defined in SMCDEL.Symbolic.K Methods tex :: MultipointedEvent -> String Source # texTo :: MultipointedEvent -> String -> IO () Source # texDocumentTo :: MultipointedEvent -> String -> IO () Source # pdfTo :: MultipointedEvent -> String -> IO () Source # disp :: MultipointedEvent -> IO () Source # svgViaTex :: MultipointedEvent -> String Source #
TexAble Transformer Source #
Instance details Defined in SMCDEL.Symbolic.K Methods tex :: Transformer -> String Source # texTo :: Transformer -> String -> IO () Source # texDocumentTo :: Transformer -> String -> IO () Source # pdfTo :: Transformer -> String -> IO () Source # disp :: Transformer -> IO () Source # svgViaTex :: Transformer -> String Source #
TexAble Event Source #
Instance details Defined in SMCDEL.Symbolic.S5 Methods tex :: Event -> String Source # texTo :: Event -> String -> IO () Source # texDocumentTo :: Event -> String -> IO () Source # pdfTo :: Event -> String -> IO () Source # disp :: Event -> IO () Source # svgViaTex :: Event -> String Source #
TexAble KnowScene Source #
Instance details Defined in SMCDEL.Symbolic.S5 Methods tex :: KnowScene -> String Source # texTo :: KnowScene -> String -> IO () Source # texDocumentTo :: KnowScene -> String -> IO () Source # pdfTo :: KnowScene -> String -> IO () Source # disp :: KnowScene -> IO () Source # svgViaTex :: KnowScene -> String Source #
TexAble KnowStruct Source #
Instance details Defined in SMCDEL.Symbolic.S5 Methods tex :: KnowStruct -> String Source # texTo :: KnowStruct -> String -> IO () Source # texDocumentTo :: KnowStruct -> String -> IO () Source # pdfTo :: KnowStruct -> String -> IO () Source # disp :: KnowStruct -> IO () Source # svgViaTex :: KnowStruct -> String Source #
TexAble KnowTransformer Source #
Instance details Defined in SMCDEL.Symbolic.S5 Methods tex :: KnowTransformer -> String Source # texTo :: KnowTransformer -> String -> IO () Source # texDocumentTo :: KnowTransformer -> String -> IO () Source # pdfTo :: KnowTransformer -> String -> IO () Source # disp :: KnowTransformer -> IO () Source # svgViaTex :: KnowTransformer -> String Source #
TexAble MultipointedEvent Source #
Instance details Defined in SMCDEL.Symbolic.S5 Methods tex :: MultipointedEvent -> String Source # texTo :: MultipointedEvent -> String -> IO () Source # texDocumentTo :: MultipointedEvent -> String -> IO () Source # pdfTo :: MultipointedEvent -> String -> IO () Source # disp :: MultipointedEvent -> IO () Source # svgViaTex :: MultipointedEvent -> String Source #
TexAble MultipointedKnowScene Source #
Instance details Defined in SMCDEL.Symbolic.S5 Methods tex :: MultipointedKnowScene -> String Source # texTo :: MultipointedKnowScene -> String -> IO () Source # texDocumentTo :: MultipointedKnowScene -> String -> IO () Source # pdfTo :: MultipointedKnowScene -> String -> IO () Source # disp :: MultipointedKnowScene -> IO () Source # svgViaTex :: MultipointedKnowScene -> String Source #
TexAble WrapBdd Source #
Instance details Defined in SMCDEL.Symbolic.S5 Methods tex :: WrapBdd -> String Source # texTo :: WrapBdd -> String -> IO () Source # texDocumentTo :: WrapBdd -> String -> IO () Source # pdfTo :: WrapBdd -> String -> IO () Source # disp :: WrapBdd -> IO () Source # svgViaTex :: WrapBdd -> String Source #
TexAble Event Source #
Instance details Defined in SMCDEL.Symbolic.S5_DD Methods tex :: Event -> String Source # texTo :: Event -> String -> IO () Source # texDocumentTo :: Event -> String -> IO () Source # pdfTo :: Event -> String -> IO () Source # disp :: Event -> IO () Source # svgViaTex :: Event -> String Source #
TexAble KnowScene Source #
Instance details Defined in SMCDEL.Symbolic.S5_DD Methods tex :: KnowScene -> String Source # texTo :: KnowScene -> String -> IO () Source # texDocumentTo :: KnowScene -> String -> IO () Source # pdfTo :: KnowScene -> String -> IO () Source # disp :: KnowScene -> IO () Source # svgViaTex :: KnowScene -> String Source #
TexAble KnowStruct Source #
Instance details Defined in SMCDEL.Symbolic.S5_DD Methods tex :: KnowStruct -> String Source # texTo :: KnowStruct -> String -> IO () Source # texDocumentTo :: KnowStruct -> String -> IO () Source # pdfTo :: KnowStruct -> String -> IO () Source # disp :: KnowStruct -> IO () Source # svgViaTex :: KnowStruct -> String Source #
TexAble KnowTransformer Source #
Instance details Defined in SMCDEL.Symbolic.S5_DD Methods tex :: KnowTransformer -> String Source # texTo :: KnowTransformer -> String -> IO () Source # texDocumentTo :: KnowTransformer -> String -> IO () Source # pdfTo :: KnowTransformer -> String -> IO () Source # disp :: KnowTransformer -> IO () Source # svgViaTex :: KnowTransformer -> String Source #
TexAble MultipointedEvent Source #
Instance details Defined in SMCDEL.Symbolic.S5_DD Methods tex :: MultipointedEvent -> String Source # texTo :: MultipointedEvent -> String -> IO () Source # texDocumentTo :: MultipointedEvent -> String -> IO () Source # pdfTo :: MultipointedEvent -> String -> IO () Source # disp :: MultipointedEvent -> IO () Source # svgViaTex :: MultipointedEvent -> String Source #
TexAble MultipointedKnowScene Source #
Instance details Defined in SMCDEL.Symbolic.S5_DD Methods tex :: MultipointedKnowScene -> String Source # texTo :: MultipointedKnowScene -> String -> IO () Source # texDocumentTo :: MultipointedKnowScene -> String -> IO () Source # pdfTo :: MultipointedKnowScene -> String -> IO () Source # disp :: MultipointedKnowScene -> IO () Source # svgViaTex :: MultipointedKnowScene -> String Source #
TexAble WrapBdd Source #
Instance details Defined in SMCDEL.Symbolic.S5_DD Methods tex :: WrapBdd -> String Source # texTo :: WrapBdd -> String -> IO () Source # texDocumentTo :: WrapBdd -> String -> IO () Source # pdfTo :: WrapBdd -> String -> IO () Source # disp :: WrapBdd -> IO () Source # svgViaTex :: WrapBdd -> String Source #
TexAble String Source #
Instance details Defined in SMCDEL.Internal.TexDisplay Methods tex :: String -> String Source # texTo :: String -> String -> IO () Source # texDocumentTo :: String -> String -> IO () Source # pdfTo :: String -> String -> IO () Source # disp :: String -> IO () Source # svgViaTex :: String -> String Source #
TexAble Int Source #
Instance details Defined in SMCDEL.Internal.TexDisplay Methods tex :: Int -> String Source # texTo :: Int -> String -> IO () Source # texDocumentTo :: Int -> String -> IO () Source # pdfTo :: Int -> String -> IO () Source # disp :: Int -> IO () Source # svgViaTex :: Int -> String Source #
(Ord a, Show a, KripkeLike a) => TexAble (ViaDot a) Source #
Instance details Defined in SMCDEL.Internal.TexDisplay Methods tex :: ViaDot a -> String Source # texTo :: ViaDot a -> String -> IO () Source # texDocumentTo :: ViaDot a -> String -> IO () Source # pdfTo :: ViaDot a -> String -> IO () Source # disp :: ViaDot a -> IO () Source # svgViaTex :: ViaDot a -> String Source #
TexAble [Prp] Source #
Instance details Defined in SMCDEL.Language Methods tex :: [Prp] -> String Source # texTo :: [Prp] -> String -> IO () Source # texDocumentTo :: [Prp] -> String -> IO () Source # pdfTo :: [Prp] -> String -> IO () Source # disp :: [Prp] -> IO () Source # svgViaTex :: [Prp] -> String Source #
TexAble a => TexAble [(a, Bool)] Source #	TeXing assignments as sets
Instance details Defined in SMCDEL.Internal.TexDisplay Methods tex :: [(a, Bool)] -> String Source # texTo :: [(a, Bool)] -> String -> IO () Source # texDocumentTo :: [(a, Bool)] -> String -> IO () Source # pdfTo :: [(a, Bool)] -> String -> IO () Source # disp :: [(a, Bool)] -> IO () Source # svgViaTex :: [(a, Bool)] -> String Source #
(Update a b, Optimizable a, TexAble a, TexAble b) => TexAble (Story a b) Source #
Instance details Defined in SMCDEL.Examples.Prisoners Methods tex :: Story a b -> String Source # texTo :: Story a b -> String -> IO () Source # texDocumentTo :: Story a b -> String -> IO () Source # pdfTo :: Story a b -> String -> IO () Source # disp :: Story a b -> IO () Source # svgViaTex :: Story a b -> String Source #

runAndWait :: String -> IO () Source #

runIgnoreAndWait :: String -> IO () Source #

class KripkeLike a where Source #

Minimal complete definition

getNodes, getEdges

Methods

getNodes :: a -> [(String, String)] Source #

getEdges :: a -> [(String, String, String)] Source #

getActuals :: a -> [String] Source #

directed :: a -> Bool Source #

nodeAts :: a -> Bool -> Attributes Source #

toGraph :: a -> DotGraph String Source #

dispDot :: a -> IO () Source #

textDot :: a -> Text Source #

svg :: a -> String Source #

Instances

Instances details

KripkeLike ActionModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods getNodes :: ActionModel -> [(String, String)] Source # getEdges :: ActionModel -> [(String, String, String)] Source # getActuals :: ActionModel -> [String] Source # directed :: ActionModel -> Bool Source # nodeAts :: ActionModel -> Bool -> Attributes Source # toGraph :: ActionModel -> DotGraph String Source # dispDot :: ActionModel -> IO () Source # textDot :: ActionModel -> Text Source # svg :: ActionModel -> String Source #
KripkeLike KripkeModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods getNodes :: KripkeModel -> [(String, String)] Source # getEdges :: KripkeModel -> [(String, String, String)] Source # getActuals :: KripkeModel -> [String] Source # directed :: KripkeModel -> Bool Source # nodeAts :: KripkeModel -> Bool -> Attributes Source # toGraph :: KripkeModel -> DotGraph String Source # dispDot :: KripkeModel -> IO () Source # textDot :: KripkeModel -> Text Source # svg :: KripkeModel -> String Source #
KripkeLike MultipointedActionModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods getNodes :: MultipointedActionModel -> [(String, String)] Source # getEdges :: MultipointedActionModel -> [(String, String, String)] Source # getActuals :: MultipointedActionModel -> [String] Source # directed :: MultipointedActionModel -> Bool Source # nodeAts :: MultipointedActionModel -> Bool -> Attributes Source # toGraph :: MultipointedActionModel -> DotGraph String Source # dispDot :: MultipointedActionModel -> IO () Source # textDot :: MultipointedActionModel -> Text Source # svg :: MultipointedActionModel -> String Source #
KripkeLike MultipointedModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods getNodes :: MultipointedModel -> [(String, String)] Source # getEdges :: MultipointedModel -> [(String, String, String)] Source # getActuals :: MultipointedModel -> [String] Source # directed :: MultipointedModel -> Bool Source # nodeAts :: MultipointedModel -> Bool -> Attributes Source # toGraph :: MultipointedModel -> DotGraph String Source # dispDot :: MultipointedModel -> IO () Source # textDot :: MultipointedModel -> Text Source # svg :: MultipointedModel -> String Source #
KripkeLike PointedActionModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods getNodes :: PointedActionModel -> [(String, String)] Source # getEdges :: PointedActionModel -> [(String, String, String)] Source # getActuals :: PointedActionModel -> [String] Source # directed :: PointedActionModel -> Bool Source # nodeAts :: PointedActionModel -> Bool -> Attributes Source # toGraph :: PointedActionModel -> DotGraph String Source # dispDot :: PointedActionModel -> IO () Source # textDot :: PointedActionModel -> Text Source # svg :: PointedActionModel -> String Source #
KripkeLike PointedModel Source #
Instance details Defined in SMCDEL.Explicit.K Methods getNodes :: PointedModel -> [(String, String)] Source # getEdges :: PointedModel -> [(String, String, String)] Source # getActuals :: PointedModel -> [String] Source # directed :: PointedModel -> Bool Source # nodeAts :: PointedModel -> Bool -> Attributes Source # toGraph :: PointedModel -> DotGraph String Source # dispDot :: PointedModel -> IO () Source # textDot :: PointedModel -> Text Source # svg :: PointedModel -> String Source #
KripkeLike ActionModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods getNodes :: ActionModelS5 -> [(String, String)] Source # getEdges :: ActionModelS5 -> [(String, String, String)] Source # getActuals :: ActionModelS5 -> [String] Source # directed :: ActionModelS5 -> Bool Source # nodeAts :: ActionModelS5 -> Bool -> Attributes Source # toGraph :: ActionModelS5 -> DotGraph String Source # dispDot :: ActionModelS5 -> IO () Source # textDot :: ActionModelS5 -> Text Source # svg :: ActionModelS5 -> String Source #
KripkeLike KripkeModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods getNodes :: KripkeModelS5 -> [(String, String)] Source # getEdges :: KripkeModelS5 -> [(String, String, String)] Source # getActuals :: KripkeModelS5 -> [String] Source # directed :: KripkeModelS5 -> Bool Source # nodeAts :: KripkeModelS5 -> Bool -> Attributes Source # toGraph :: KripkeModelS5 -> DotGraph String Source # dispDot :: KripkeModelS5 -> IO () Source # textDot :: KripkeModelS5 -> Text Source # svg :: KripkeModelS5 -> String Source #
KripkeLike MultipointedActionModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods getNodes :: MultipointedActionModelS5 -> [(String, String)] Source # getEdges :: MultipointedActionModelS5 -> [(String, String, String)] Source # getActuals :: MultipointedActionModelS5 -> [String] Source # directed :: MultipointedActionModelS5 -> Bool Source # nodeAts :: MultipointedActionModelS5 -> Bool -> Attributes Source # toGraph :: MultipointedActionModelS5 -> DotGraph String Source # dispDot :: MultipointedActionModelS5 -> IO () Source # textDot :: MultipointedActionModelS5 -> Text Source # svg :: MultipointedActionModelS5 -> String Source #
KripkeLike MultipointedModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods getNodes :: MultipointedModelS5 -> [(String, String)] Source # getEdges :: MultipointedModelS5 -> [(String, String, String)] Source # getActuals :: MultipointedModelS5 -> [String] Source # directed :: MultipointedModelS5 -> Bool Source # nodeAts :: MultipointedModelS5 -> Bool -> Attributes Source # toGraph :: MultipointedModelS5 -> DotGraph String Source # dispDot :: MultipointedModelS5 -> IO () Source # textDot :: MultipointedModelS5 -> Text Source # svg :: MultipointedModelS5 -> String Source #
KripkeLike PointedActionModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods getNodes :: PointedActionModelS5 -> [(String, String)] Source # getEdges :: PointedActionModelS5 -> [(String, String, String)] Source # getActuals :: PointedActionModelS5 -> [String] Source # directed :: PointedActionModelS5 -> Bool Source # nodeAts :: PointedActionModelS5 -> Bool -> Attributes Source # toGraph :: PointedActionModelS5 -> DotGraph String Source # dispDot :: PointedActionModelS5 -> IO () Source # textDot :: PointedActionModelS5 -> Text Source # svg :: PointedActionModelS5 -> String Source #
KripkeLike PointedModelS5 Source #
Instance details Defined in SMCDEL.Explicit.S5 Methods getNodes :: PointedModelS5 -> [(String, String)] Source # getEdges :: PointedModelS5 -> [(String, String, String)] Source # getActuals :: PointedModelS5 -> [String] Source # directed :: PointedModelS5 -> Bool Source # nodeAts :: PointedModelS5 -> Bool -> Attributes Source # toGraph :: PointedModelS5 -> DotGraph String Source # dispDot :: PointedModelS5 -> IO () Source # textDot :: PointedModelS5 -> Text Source # svg :: PointedModelS5 -> String Source #

newtype ViaDot a Source #

Constructors

ViaDot a

Instances

Instances details

Show a => Show (ViaDot a) Source #
Instance details Defined in SMCDEL.Internal.TexDisplay Methods showsPrec :: Int -> ViaDot a -> ShowS # show :: ViaDot a -> String # showList :: [ViaDot a] -> ShowS #
Eq a => Eq (ViaDot a) Source #
Instance details Defined in SMCDEL.Internal.TexDisplay Methods (==) :: ViaDot a -> ViaDot a -> Bool # (/=) :: ViaDot a -> ViaDot a -> Bool #
Ord a => Ord (ViaDot a) Source #
Instance details Defined in SMCDEL.Internal.TexDisplay Methods compare :: ViaDot a -> ViaDot a -> Ordering # (<) :: ViaDot a -> ViaDot a -> Bool # (<=) :: ViaDot a -> ViaDot a -> Bool # (>) :: ViaDot a -> ViaDot a -> Bool # (>=) :: ViaDot a -> ViaDot a -> Bool # max :: ViaDot a -> ViaDot a -> ViaDot a # min :: ViaDot a -> ViaDot a -> ViaDot a #
(Ord a, Show a, KripkeLike a) => TexAble (ViaDot a) Source #
Instance details Defined in SMCDEL.Internal.TexDisplay Methods tex :: ViaDot a -> String Source # texTo :: ViaDot a -> String -> IO () Source # texDocumentTo :: ViaDot a -> String -> IO () Source # pdfTo :: ViaDot a -> String -> IO () Source # disp :: ViaDot a -> IO () Source # svgViaTex :: ViaDot a -> String Source #

dot2tex :: String -> IO () Source #

dot2texDefaultArgs :: String Source #