Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- -- | This aims to support users who want to do lexical selection
- -- directly from an input other than GenI style flat semantics.
- --
- -- The requirement here is for you to provide some means of
- -- converting the custom semantics to a GenI semantics
- data CustomSem sem = CustomSem
- { -- | Conversion from custom semantics to GenI semantic input
- fromCustomSemInput :: sem -> Either Text SemInput
- -- | Lexical selection function
- , customSelector :: LexicalSelector sem
- , customSemParser :: Text -> Either Text sem
- -- | List of named inputs intended to act as a substitute for
- -- test suites
- -- ('FilePath' argument is for reporting error messages only)
- , customSuiteParser :: FilePath -> Text -> Either Text [TestCase sem]
- , customRenderSem :: sem -> Text
- }
Add Comment
Please, Sign In to add comment