| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | Safe-Inferred |
Text.GCNF
Contents
Description
References:
- data GCNF = GCNF {
- numVars :: !Int
- numClauses :: !Int
- lastGroupIndex :: !GroupIndex
- clauses :: [GClause]
- type GroupIndex = Int
- type GClause = (GroupIndex, Clause)
- parseString :: String -> Either String GCNF
- parseFile :: FilePath -> IO (Either String GCNF)
Documentation
Constructors
| GCNF | |
Fields
| |
type GroupIndex = IntSource
type GClause = (GroupIndex, Clause)Source