Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data WildcardAnnotations
- explicitAnnotations :: WildcardAnnotations
- noAnnotations :: WildcardAnnotations
- makePattern :: Text -> Int -> Int -> WildcardAnnotations -> [Constructor] -> [Text]
- addClause :: Text -> WildcardAnnotations -> [Text]
- caseSplit :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => Text -> m [Constructor]
Documentation
:: Text | Current line |
-> Int | Begin of the split |
-> Int | End of the split |
-> WildcardAnnotations | Whether to explicitly type the splits |
-> [Constructor] | Constructors to split |
-> [Text] |
Constructs Patterns to insert into a sourcefile
addClause :: Text -> WildcardAnnotations -> [Text] Source
caseSplit :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => Text -> m [Constructor] Source