packages feed

uu-parsinglib 2.9.1 → 2.9.1.1

raw patch · 2 files changed

+3/−3 lines, 2 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Text.ParserCombinators.UU.BasicInstances: deleteOk :: Str a s loc -> !Bool
- Text.ParserCombinators.UU.BasicInstances: input :: Str a s loc -> s
- Text.ParserCombinators.UU.BasicInstances: instance (Show a, ListLike s a) => Eof (Str a s loc)
- Text.ParserCombinators.UU.BasicInstances: instance HasPosition (Str a s loc) loc
- Text.ParserCombinators.UU.BasicInstances: instance IsLocationUpdatedBy Int Char
- Text.ParserCombinators.UU.BasicInstances: instance IsLocationUpdatedBy Int Word8
- Text.ParserCombinators.UU.BasicInstances: instance IsLocationUpdatedBy LineCol Char
- Text.ParserCombinators.UU.BasicInstances: instance IsLocationUpdatedBy LineColPos Char
- Text.ParserCombinators.UU.BasicInstances: instance IsLocationUpdatedBy loc a => IsLocationUpdatedBy loc [a]
- Text.ParserCombinators.UU.BasicInstances: instance Show LineCol
- Text.ParserCombinators.UU.BasicInstances: instance Show LineColPos
- Text.ParserCombinators.UU.BasicInstances: instance Show pos => Show (Error pos)
- Text.ParserCombinators.UU.BasicInstances: instance StoresErrors (Str a s loc) (Error loc)
- Text.ParserCombinators.UU.BasicInstances: msgs :: Str a s loc -> [Error loc]
- Text.ParserCombinators.UU.BasicInstances: pos :: Str a s loc -> loc
- Text.ParserCombinators.UU.Core: instance Alternative (P state)
- Text.ParserCombinators.UU.Core: instance Alternative (T state)
- Text.ParserCombinators.UU.Core: instance Applicative (P state)
- Text.ParserCombinators.UU.Core: instance Applicative (T state)
- Text.ParserCombinators.UU.Core: instance ExtAlternative (P st)
- Text.ParserCombinators.UU.Core: instance Functor (P state)
- Text.ParserCombinators.UU.Core: instance Functor (T st)
- Text.ParserCombinators.UU.Core: instance IsParser (P st)
- Text.ParserCombinators.UU.Core: instance Monad (P st)
- Text.ParserCombinators.UU.Core: instance MonadPlus (P st)
- Text.ParserCombinators.UU.Core: instance Show (P st a)
- Text.ParserCombinators.UU.Core: instance Show (Steps a)
- Text.ParserCombinators.UU.Core: instance Show Nat
- Text.ParserCombinators.UU.Idioms: fromStr :: String' -> String
- Text.ParserCombinators.UU.Idioms: instance (Idiomatic (Str Char state loc) f g, IsLocationUpdatedBy loc Char, ListLike state Char) => Idiomatic (Str Char state loc) f (Char -> g)
- Text.ParserCombinators.UU.Idioms: instance (Idiomatic (Str Char state loc) f g, IsLocationUpdatedBy loc Char, ListLike state Char) => Idiomatic (Str Char state loc) f (String -> g)
- Text.ParserCombinators.UU.Idioms: instance Idiomatic st f g => Idiomatic st ((a -> b) -> f) ((a -> b) -> g)
- Text.ParserCombinators.UU.Idioms: instance Idiomatic st f g => Idiomatic st (a -> f) (IF -> Bool -> THEN -> P st a -> ELSE -> P st a -> FI -> g)
- Text.ParserCombinators.UU.Idioms: instance Idiomatic st f g => Idiomatic st (a -> f) (P st a -> g)
- Text.ParserCombinators.UU.Idioms: instance Idiomatic st x (Ii -> P st x)
- Text.ParserCombinators.UU.Interleaved: instance Functor f => ExtAlternative (Gram f)
- Text.ParserCombinators.UU.Interleaved: instance IsParser (Gram (P st))
- Text.ParserCombinators.UU.Interleaved: instance Splittable (P st)
- Text.ParserCombinators.UU.Utils: instance Bounded Month
- Text.ParserCombinators.UU.Utils: instance Enum Month
- Text.ParserCombinators.UU.Utils: instance Eq Month
- Text.ParserCombinators.UU.Utils: instance Ord Month
- Text.ParserCombinators.UU.Utils: instance Show Month
+ Text.ParserCombinators.UU.BasicInstances: [deleteOk] :: Str a s loc -> !Bool
+ Text.ParserCombinators.UU.BasicInstances: [input] :: Str a s loc -> s
+ Text.ParserCombinators.UU.BasicInstances: [msgs] :: Str a s loc -> [Error loc]
+ Text.ParserCombinators.UU.BasicInstances: [pos] :: Str a s loc -> loc
+ Text.ParserCombinators.UU.BasicInstances: instance (GHC.Show.Show a, Data.ListLike.Base.ListLike s a) => Text.ParserCombinators.UU.Core.Eof (Text.ParserCombinators.UU.BasicInstances.Str a s loc)
+ Text.ParserCombinators.UU.BasicInstances: instance GHC.Show.Show Text.ParserCombinators.UU.BasicInstances.LineCol
+ Text.ParserCombinators.UU.BasicInstances: instance GHC.Show.Show Text.ParserCombinators.UU.BasicInstances.LineColPos
+ Text.ParserCombinators.UU.BasicInstances: instance GHC.Show.Show pos => GHC.Show.Show (Text.ParserCombinators.UU.BasicInstances.Error pos)
+ Text.ParserCombinators.UU.BasicInstances: instance Text.ParserCombinators.UU.Core.HasPosition (Text.ParserCombinators.UU.BasicInstances.Str a s loc) loc
+ Text.ParserCombinators.UU.BasicInstances: instance Text.ParserCombinators.UU.Core.IsLocationUpdatedBy GHC.Types.Int GHC.Types.Char
+ Text.ParserCombinators.UU.BasicInstances: instance Text.ParserCombinators.UU.Core.IsLocationUpdatedBy GHC.Types.Int GHC.Word.Word8
+ Text.ParserCombinators.UU.BasicInstances: instance Text.ParserCombinators.UU.Core.IsLocationUpdatedBy Text.ParserCombinators.UU.BasicInstances.LineCol GHC.Types.Char
+ Text.ParserCombinators.UU.BasicInstances: instance Text.ParserCombinators.UU.Core.IsLocationUpdatedBy Text.ParserCombinators.UU.BasicInstances.LineColPos GHC.Types.Char
+ Text.ParserCombinators.UU.BasicInstances: instance Text.ParserCombinators.UU.Core.IsLocationUpdatedBy loc a => Text.ParserCombinators.UU.Core.IsLocationUpdatedBy loc [a]
+ Text.ParserCombinators.UU.BasicInstances: instance Text.ParserCombinators.UU.Core.StoresErrors (Text.ParserCombinators.UU.BasicInstances.Str a s loc) (Text.ParserCombinators.UU.BasicInstances.Error loc)
+ Text.ParserCombinators.UU.Core: instance GHC.Base.Alternative (Text.ParserCombinators.UU.Core.P state)
+ Text.ParserCombinators.UU.Core: instance GHC.Base.Alternative (Text.ParserCombinators.UU.Core.T state)
+ Text.ParserCombinators.UU.Core: instance GHC.Base.Applicative (Text.ParserCombinators.UU.Core.P state)
+ Text.ParserCombinators.UU.Core: instance GHC.Base.Applicative (Text.ParserCombinators.UU.Core.T state)
+ Text.ParserCombinators.UU.Core: instance GHC.Base.Functor (Text.ParserCombinators.UU.Core.P state)
+ Text.ParserCombinators.UU.Core: instance GHC.Base.Functor (Text.ParserCombinators.UU.Core.T st)
+ Text.ParserCombinators.UU.Core: instance GHC.Base.Monad (Text.ParserCombinators.UU.Core.P st)
+ Text.ParserCombinators.UU.Core: instance GHC.Base.MonadPlus (Text.ParserCombinators.UU.Core.P st)
+ Text.ParserCombinators.UU.Core: instance GHC.Show.Show (Text.ParserCombinators.UU.Core.P st a)
+ Text.ParserCombinators.UU.Core: instance GHC.Show.Show (Text.ParserCombinators.UU.Core.Steps a)
+ Text.ParserCombinators.UU.Core: instance GHC.Show.Show Text.ParserCombinators.UU.Core.Nat
+ Text.ParserCombinators.UU.Core: instance Text.ParserCombinators.UU.Core.ExtAlternative (Text.ParserCombinators.UU.Core.P st)
+ Text.ParserCombinators.UU.Core: instance Text.ParserCombinators.UU.Core.IsParser (Text.ParserCombinators.UU.Core.P st)
+ Text.ParserCombinators.UU.Idioms: [fromStr] :: String' -> String
+ Text.ParserCombinators.UU.Idioms: instance (Text.ParserCombinators.UU.Idioms.Idiomatic (Text.ParserCombinators.UU.BasicInstances.Str GHC.Types.Char state loc) f g, Text.ParserCombinators.UU.Core.IsLocationUpdatedBy loc GHC.Types.Char, Data.ListLike.Base.ListLike state GHC.Types.Char) => Text.ParserCombinators.UU.Idioms.Idiomatic (Text.ParserCombinators.UU.BasicInstances.Str GHC.Types.Char state loc) f (GHC.Base.String -> g)
+ Text.ParserCombinators.UU.Idioms: instance (Text.ParserCombinators.UU.Idioms.Idiomatic (Text.ParserCombinators.UU.BasicInstances.Str GHC.Types.Char state loc) f g, Text.ParserCombinators.UU.Core.IsLocationUpdatedBy loc GHC.Types.Char, Data.ListLike.Base.ListLike state GHC.Types.Char) => Text.ParserCombinators.UU.Idioms.Idiomatic (Text.ParserCombinators.UU.BasicInstances.Str GHC.Types.Char state loc) f (GHC.Types.Char -> g)
+ Text.ParserCombinators.UU.Idioms: instance Text.ParserCombinators.UU.Idioms.Idiomatic st f g => Text.ParserCombinators.UU.Idioms.Idiomatic st ((a -> b) -> f) ((a -> b) -> g)
+ Text.ParserCombinators.UU.Idioms: instance Text.ParserCombinators.UU.Idioms.Idiomatic st f g => Text.ParserCombinators.UU.Idioms.Idiomatic st (a -> f) (Text.ParserCombinators.UU.Core.P st a -> g)
+ Text.ParserCombinators.UU.Idioms: instance Text.ParserCombinators.UU.Idioms.Idiomatic st f g => Text.ParserCombinators.UU.Idioms.Idiomatic st (a -> f) (Text.ParserCombinators.UU.Idioms.IF -> GHC.Types.Bool -> Text.ParserCombinators.UU.Idioms.THEN -> Text.ParserCombinators.UU.Core.P st a -> Text.ParserCombinators.UU.Idioms.ELSE -> Text.ParserCombinators.UU.Core.P st a -> Text.ParserCombinators.UU.Idioms.FI -> g)
+ Text.ParserCombinators.UU.Idioms: instance Text.ParserCombinators.UU.Idioms.Idiomatic st x (Text.ParserCombinators.UU.Idioms.Ii -> Text.ParserCombinators.UU.Core.P st x)
+ Text.ParserCombinators.UU.Interleaved: instance Control.Applicative.Interleaved.Splittable (Text.ParserCombinators.UU.Core.P st)
+ Text.ParserCombinators.UU.Interleaved: instance GHC.Base.Functor f => Text.ParserCombinators.UU.Core.ExtAlternative (Control.Applicative.Interleaved.Gram f)
+ Text.ParserCombinators.UU.Interleaved: instance Text.ParserCombinators.UU.Core.IsParser (Control.Applicative.Interleaved.Gram (Text.ParserCombinators.UU.Core.P st))
+ Text.ParserCombinators.UU.Utils: instance GHC.Classes.Eq Text.ParserCombinators.UU.Utils.Month
+ Text.ParserCombinators.UU.Utils: instance GHC.Classes.Ord Text.ParserCombinators.UU.Utils.Month
+ Text.ParserCombinators.UU.Utils: instance GHC.Enum.Bounded Text.ParserCombinators.UU.Utils.Month
+ Text.ParserCombinators.UU.Utils: instance GHC.Enum.Enum Text.ParserCombinators.UU.Utils.Month
+ Text.ParserCombinators.UU.Utils: instance GHC.Show.Show Text.ParserCombinators.UU.Utils.Month
- Text.ParserCombinators.UU.BasicInstances: type ParserTrafo a b = (IsLocationUpdatedBy loc Char, ListLike state Char) => P (Str Char state loc) a -> P (Str Char state loc) b
+ Text.ParserCombinators.UU.BasicInstances: type ParserTrafo a b = forall loc state. (IsLocationUpdatedBy loc Char, ListLike state Char) => P (Str Char state loc) a -> P (Str Char state loc) b
- Text.ParserCombinators.UU.Core: class Alternative p => ExtAlternative p where opt p v = must_be_non_empty "opt" p (p <<|> pure v)
+ Text.ParserCombinators.UU.Core: class (Alternative p) => ExtAlternative p where opt p v = must_be_non_empty "opt" p (p <<|> pure v)
- Text.ParserCombinators.UU.Core: parse :: Eof t => P t a -> t -> a
+ Text.ParserCombinators.UU.Core: parse :: (Eof t) => P t a -> t -> a
- Text.ParserCombinators.UU.Core: parse_h :: Eof t => P t a -> t -> a
+ Text.ParserCombinators.UU.Core: parse_h :: (Eof t) => P t a -> t -> a
- Text.ParserCombinators.UU.Demo.Examples: pConId :: (IsLocationUpdatedBy loc Char, ListLike state Char) => P (Str Char state loc) [Char]
+ Text.ParserCombinators.UU.Demo.Examples: pConId :: (ListLike state Char, IsLocationUpdatedBy loc Char) => P (Str Char state loc) [Char]
- Text.ParserCombinators.UU.Demo.Examples: pIdChar :: (IsLocationUpdatedBy loc Char, ListLike state Char) => P (Str Char state loc) Char
+ Text.ParserCombinators.UU.Demo.Examples: pIdChar :: (ListLike state Char, IsLocationUpdatedBy loc Char) => P (Str Char state loc) Char
- Text.ParserCombinators.UU.Demo.Examples: pVarId :: (IsLocationUpdatedBy loc Char, ListLike state Char) => P (Str Char state loc) [Char]
+ Text.ParserCombinators.UU.Demo.Examples: pVarId :: (ListLike state Char, IsLocationUpdatedBy loc Char) => P (Str Char state loc) [Char]
- Text.ParserCombinators.UU.Demo.Examples: run' :: (ListLike s a, Show a1, Show a) => P (Str a s LineColPos) a1 -> s -> IO ()
+ Text.ParserCombinators.UU.Demo.Examples: run' :: (Show a, Show a1, ListLike s a) => P (Str a s LineColPos) a1 -> s -> IO ()
- Text.ParserCombinators.UU.Demo.Examples: same_prio :: (IsLocationUpdatedBy loc b, ListLike state b, Show b, Eq b) => [(b, a)] -> P (Str b state loc) a
+ Text.ParserCombinators.UU.Demo.Examples: same_prio :: (Eq b, Show b, ListLike state b, IsLocationUpdatedBy loc b) => [(b, a)] -> P (Str b state loc) a
- Text.ParserCombinators.UU.Demo.Examples: simpleComment :: (IsLocationUpdatedBy loc Char, ListLike state Char) => P (Str Char state loc) [Char]
+ Text.ParserCombinators.UU.Demo.Examples: simpleComment :: (ListLike state Char, IsLocationUpdatedBy loc Char) => P (Str Char state loc) [Char]
- Text.ParserCombinators.UU.Derived: pAtLeast :: IsParser f => Int -> f a -> f [a]
+ Text.ParserCombinators.UU.Derived: pAtLeast :: (IsParser f) => Int -> f a -> f [a]
- Text.ParserCombinators.UU.Derived: pAtMost :: IsParser f => Int -> f a -> f [a]
+ Text.ParserCombinators.UU.Derived: pAtMost :: (IsParser f) => Int -> f a -> f [a]
- Text.ParserCombinators.UU.Derived: pBetween :: IsParser f => Int -> Int -> f a -> f [a]
+ Text.ParserCombinators.UU.Derived: pBetween :: (IsParser f) => Int -> Int -> f a -> f [a]
- Text.ParserCombinators.UU.Derived: pExact :: IsParser f => Int -> f a -> f [a]
+ Text.ParserCombinators.UU.Derived: pExact :: (IsParser f) => Int -> f a -> f [a]
- Text.ParserCombinators.UU.Derived: pSome :: IsParser f => f a -> f [a]
+ Text.ParserCombinators.UU.Derived: pSome :: (IsParser f) => f a -> f [a]
- Text.ParserCombinators.UU.Utils: pDoubleRaw :: Read a => Parser a
+ Text.ParserCombinators.UU.Utils: pDoubleRaw :: (Read a) => Parser a
- Text.ParserCombinators.UU.Utils: pIntegerRaw :: Num a => Parser a
+ Text.ParserCombinators.UU.Utils: pIntegerRaw :: (Num a) => Parser a
- Text.ParserCombinators.UU.Utils: pNaturalRaw :: Num a => Parser a
+ Text.ParserCombinators.UU.Utils: pNaturalRaw :: (Num a) => Parser a

Files

src/Text/ParserCombinators/UU/BasicInstances.hs view
@@ -89,10 +89,10 @@                        }  -- | A `Parser` is a parser that is prepared to accept "Data.Listlike" input; hence we can deal with @String@'s, @ByteString@'s, etc.-type Parser      a    = (IsLocationUpdatedBy loc Char, LL.ListLike state Char) => P (Str Char state loc) a+type Parser      a    = forall loc state . (IsLocationUpdatedBy loc Char, LL.ListLike state Char) => P (Str Char state loc) a  -- | A @`ParserTrafo` a b@ maps a @`Parser` a@ onto a @`Parser` b@.-type ParserTrafo a  b = (IsLocationUpdatedBy loc Char, LL.ListLike state Char) => P (Str Char state loc) a ->  P (Str Char state loc) b+type ParserTrafo a  b = forall loc state . (IsLocationUpdatedBy loc Char, LL.ListLike state Char) => P (Str Char state loc) a ->  P (Str Char state loc) b  -- |  `createStr` initialises the input stream with the input data and the initial position. There are no error messages yet. createStr :: LL.ListLike s a => loc -> s -> Str a s loc
uu-parsinglib.cabal view
@@ -1,5 +1,5 @@ Name:                uu-parsinglib-Version:             2.9.1+Version:             2.9.1.1 Build-Type:          Simple License:             MIT Copyright:           S Doaitse Swierstra