Guest User

Untitled

a guest
Nov 21st, 2018
109
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.81 KB | None | 0 0
  1. -- | This aims to support users who want to do lexical selection
  2. -- directly from an input other than GenI style flat semantics.
  3. --
  4. -- The requirement here is for you to provide some means of
  5. -- converting the custom semantics to a GenI semantics
  6. data CustomSem sem = CustomSem
  7. { -- | Conversion from custom semantics to GenI semantic input
  8. fromCustomSemInput :: sem -> Either Text SemInput
  9. -- | Lexical selection function
  10. , customSelector :: LexicalSelector sem
  11. , customSemParser :: Text -> Either Text sem
  12. -- | List of named inputs intended to act as a substitute for
  13. -- test suites
  14. -- ('FilePath' argument is for reporting error messages only)
  15. , customSuiteParser :: FilePath -> Text -> Either Text [TestCase sem]
  16. , customRenderSem :: sem -> Text
  17. }
Add Comment
Please, Sign In to add comment