| Copyright | 2012 Kei Hibino, 2010-11 University of Marburg |
|---|---|
| License | BSD3 |
| Maintainer | ex8k.hibino@gmail.com |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | None |
| Language | Haskell98 |
Text.Syntax.Check.Prim
Description
This module contains isomorphism check functions for Syntax.
- printParseIso0 :: (Eq a, Show e0, Show e1) => RunAsPrinter tok tks a e0 -> RunAsParser tok tks a e1 -> SyntaxT tok a -> a -> Either String a
- printParseIso :: (Eq a, Show e0, Show e1) => RunAsPrinter tok tks a e0 -> RunAsParser tok tks a e1 -> SyntaxT tok a -> tks -> Either String a
- printParseIso0Default :: (Eq tok, Eq a) => SyntaxT tok a -> a -> Either String a
- printParseIsoDefault :: (Eq tok, Eq a) => SyntaxT tok a -> [tok] -> Either String a
Documentation
printParseIso0 :: (Eq a, Show e0, Show e1) => RunAsPrinter tok tks a e0 -> RunAsParser tok tks a e1 -> SyntaxT tok a -> a -> Either String a Source
Run print and parse series, then check the equality between input and output.
printParseIso :: (Eq a, Show e0, Show e1) => RunAsPrinter tok tks a e0 -> RunAsParser tok tks a e1 -> SyntaxT tok a -> tks -> Either String a Source
Run parse, print and parse series, then check the quality between first and second AST.