Modelling.ActivityDiagram.Config
data AdConfig Source #
Constructors
Fields
Defined in Modelling.ActivityDiagram.Config
Methods
atomic_reader :: Parser AdConfig
atomic_readerPrec :: Int -> Parser AdConfig
reader :: Parser AdConfig
readerPrec :: Int -> Parser AdConfig
readerList :: Parser [AdConfig]
toDocPrec :: Int -> AdConfig -> Doc
toDocList :: [AdConfig] -> Doc
Associated Types
from :: AdConfig -> Rep AdConfig x #
to :: Rep AdConfig x -> AdConfig #
readsPrec :: Int -> ReadS AdConfig #
readList :: ReadS [AdConfig] #
readPrec :: ReadPrec AdConfig #
readListPrec :: ReadPrec [AdConfig] #
showsPrec :: Int -> AdConfig -> ShowS #
show :: AdConfig -> String #
showList :: [AdConfig] -> ShowS #
defaultAdConfig :: AdConfig Source #
checkAdConfig :: AdConfig -> Maybe String Source #