| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
CDP.Gen.Program
Documentation
Constructors
| Program | |
Fields | |
genProgram :: [Domain] -> Program Source #
genProtocolModule :: [ComponentName] -> Text -> Text Source #
newtype ComponentName Source #
Constructors
| ComponentName | |
Fields | |
Instances
| Eq ComponentName Source # | |
Defined in CDP.Gen.Program Methods (==) :: ComponentName -> ComponentName -> Bool # (/=) :: ComponentName -> ComponentName -> Bool # | |
| Ord ComponentName Source # | |
Defined in CDP.Gen.Program Methods compare :: ComponentName -> ComponentName -> Ordering # (<) :: ComponentName -> ComponentName -> Bool # (<=) :: ComponentName -> ComponentName -> Bool # (>) :: ComponentName -> ComponentName -> Bool # (>=) :: ComponentName -> ComponentName -> Bool # max :: ComponentName -> ComponentName -> ComponentName # min :: ComponentName -> ComponentName -> ComponentName # | |
| Show ComponentName Source # | |
Defined in CDP.Gen.Program Methods showsPrec :: Int -> ComponentName -> ShowS # show :: ComponentName -> String # showList :: [ComponentName] -> ShowS # | |