| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PureScript.Ide.CaseSplit
- 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
Arguments
| :: 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