packages feed

tlex-th 0.4.1.0 → 0.4.2.0

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~tlexPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: tlex

API changes (from Hackage documentation)

- Language.Lexer.Tlex.Output.TH: TlexError :: TlexResult p a
- Language.Lexer.Tlex.Plugin.TH: TlexError :: TlexResult p a
+ Language.Lexer.Tlex.Output.TH: TlexNotAccepted :: TlexResult mark action
+ Language.Lexer.Tlex.Plugin.TH: TlexNotAccepted :: TlexResult mark action
- Language.Lexer.Tlex.Output.TH: Runner :: (Int -> Int) -> (Int -> Maybe a) -> (Int -> Int -> Int) -> Runner (e :: k) a
+ Language.Lexer.Tlex.Output.TH: Runner :: (Int -> Int) -> (Int -> Maybe action) -> (Int -> Int -> Int) -> Runner (unit :: k) action
- Language.Lexer.Tlex.Output.TH: TlexAccepted :: p -> a -> TlexResult p a
+ Language.Lexer.Tlex.Output.TH: TlexAccepted :: mark -> action -> TlexResult mark action
- Language.Lexer.Tlex.Output.TH: TlexEndOfInput :: TlexResult p a
+ Language.Lexer.Tlex.Output.TH: TlexEndOfInput :: TlexResult mark action
- Language.Lexer.Tlex.Output.TH: [$sel:tlexAccept:Runner] :: Runner (e :: k) a -> Int -> Maybe a
+ Language.Lexer.Tlex.Output.TH: [$sel:tlexAccept:Runner] :: Runner (unit :: k) action -> Int -> Maybe action
- Language.Lexer.Tlex.Output.TH: [$sel:tlexInitial:Runner] :: Runner (e :: k) a -> Int -> Int
+ Language.Lexer.Tlex.Output.TH: [$sel:tlexInitial:Runner] :: Runner (unit :: k) action -> Int -> Int
- Language.Lexer.Tlex.Output.TH: [$sel:tlexTrans:Runner] :: Runner (e :: k) a -> Int -> Int -> Int
+ Language.Lexer.Tlex.Output.TH: [$sel:tlexTrans:Runner] :: Runner (unit :: k) action -> Int -> Int -> Int
- Language.Lexer.Tlex.Output.TH: class (Enum e, Monad m) => TlexContext p e (m :: Type -> Type) | m -> p, m -> e
+ Language.Lexer.Tlex.Output.TH: class (Enum unit, Monad m) => TlexContext mark unit (m :: Type -> Type) | m -> mark, m -> unit
- Language.Lexer.Tlex.Output.TH: data Runner (e :: k) a
+ Language.Lexer.Tlex.Output.TH: data Runner (unit :: k) action
- Language.Lexer.Tlex.Output.TH: data TlexResult p a
+ Language.Lexer.Tlex.Output.TH: data TlexResult mark action
- Language.Lexer.Tlex.Output.TH: runRunner :: (Enum s, TlexContext p c m) => Runner c a -> s -> m (TlexResult p a)
+ Language.Lexer.Tlex.Output.TH: runRunner :: (Enum state, TlexContext mark unit m) => Runner unit action -> state -> m (TlexResult mark action)
- Language.Lexer.Tlex.Output.TH: tlexGetInputPart :: TlexContext p e m => m (Maybe e)
+ Language.Lexer.Tlex.Output.TH: tlexGetInputPart :: TlexContext mark unit m => m (Maybe unit)
- Language.Lexer.Tlex.Output.TH: tlexGetMark :: TlexContext p e m => m p
+ Language.Lexer.Tlex.Output.TH: tlexGetMark :: TlexContext mark unit m => m mark
- Language.Lexer.Tlex.Plugin.TH: Runner :: (Int -> Int) -> (Int -> Maybe a) -> (Int -> Int -> Int) -> Runner (e :: k) a
+ Language.Lexer.Tlex.Plugin.TH: Runner :: (Int -> Int) -> (Int -> Maybe action) -> (Int -> Int -> Int) -> Runner (unit :: k) action
- Language.Lexer.Tlex.Plugin.TH: TlexAccepted :: p -> a -> TlexResult p a
+ Language.Lexer.Tlex.Plugin.TH: TlexAccepted :: mark -> action -> TlexResult mark action
- Language.Lexer.Tlex.Plugin.TH: TlexEndOfInput :: TlexResult p a
+ Language.Lexer.Tlex.Plugin.TH: TlexEndOfInput :: TlexResult mark action
- Language.Lexer.Tlex.Plugin.TH: [$sel:tlexAccept:Runner] :: Runner (e :: k) a -> Int -> Maybe a
+ Language.Lexer.Tlex.Plugin.TH: [$sel:tlexAccept:Runner] :: Runner (unit :: k) action -> Int -> Maybe action
- Language.Lexer.Tlex.Plugin.TH: [$sel:tlexInitial:Runner] :: Runner (e :: k) a -> Int -> Int
+ Language.Lexer.Tlex.Plugin.TH: [$sel:tlexInitial:Runner] :: Runner (unit :: k) action -> Int -> Int
- Language.Lexer.Tlex.Plugin.TH: [$sel:tlexTrans:Runner] :: Runner (e :: k) a -> Int -> Int -> Int
+ Language.Lexer.Tlex.Plugin.TH: [$sel:tlexTrans:Runner] :: Runner (unit :: k) action -> Int -> Int -> Int
- Language.Lexer.Tlex.Plugin.TH: class (Enum e, Monad m) => TlexContext p e (m :: Type -> Type) | m -> p, m -> e
+ Language.Lexer.Tlex.Plugin.TH: class (Enum unit, Monad m) => TlexContext mark unit (m :: Type -> Type) | m -> mark, m -> unit
- Language.Lexer.Tlex.Plugin.TH: data Runner (e :: k) a
+ Language.Lexer.Tlex.Plugin.TH: data Runner (unit :: k) action
- Language.Lexer.Tlex.Plugin.TH: data TlexResult p a
+ Language.Lexer.Tlex.Plugin.TH: data TlexResult mark action
- Language.Lexer.Tlex.Plugin.TH: runRunner :: (Enum s, TlexContext p c m) => Runner c a -> s -> m (TlexResult p a)
+ Language.Lexer.Tlex.Plugin.TH: runRunner :: (Enum state, TlexContext mark unit m) => Runner unit action -> state -> m (TlexResult mark action)
- Language.Lexer.Tlex.Plugin.TH: tlexGetInputPart :: TlexContext p e m => m (Maybe e)
+ Language.Lexer.Tlex.Plugin.TH: tlexGetInputPart :: TlexContext mark unit m => m (Maybe unit)
- Language.Lexer.Tlex.Plugin.TH: tlexGetMark :: TlexContext p e m => m p
+ Language.Lexer.Tlex.Plugin.TH: tlexGetMark :: TlexContext mark unit m => m mark

Files

tlex-th.cabal view
@@ -2,7 +2,7 @@ build-type:          Custom  name:                tlex-th-version:             0.4.1.0+version:             0.4.2.0 license:             Apache-2.0 OR MPL-2.0 license-file:        LICENSE copyright:           (c) 2021 Mizunashi Mana@@ -93,7 +93,7 @@          -- project depends         tlex-core            >= 0.4.0   && < 0.5,-        tlex                 >= 0.4.0   && < 0.5,+        tlex                 >= 0.4.0   && < 0.6,         ghc-prim             >= 0.8.0   && < 1,         template-haskell     >= 2.17.0  && < 3,         array                >= 0.5.3   && < 1,