Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
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
GCNF | |
|
type GroupIndex = IntSource
type GClause = (GroupIndex, Clause)Source