packages feed

appar 0.1.1 → 0.1.2

raw patch · 6 files changed

+48/−43 lines, 6 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Text.Appar.ByteString: instance Input ByteString
- Text.Appar.LazyByteString: instance Input ByteString
- Text.Appar.String: instance Input String
- Text.Appar.ByteString: (*>) :: (Applicative f) => forall a b. f a -> f b -> f b
+ Text.Appar.ByteString: (*>) :: Applicative f => forall a b. f a -> f b -> f b
- Text.Appar.ByteString: (<$) :: (Functor f) => forall a b. a -> f b -> f a
+ Text.Appar.ByteString: (<$) :: Functor f => forall a b. a -> f b -> f a
- Text.Appar.ByteString: (<$>) :: (Functor f) => (a -> b) -> f a -> f b
+ Text.Appar.ByteString: (<$>) :: Functor f => (a -> b) -> f a -> f b
- Text.Appar.ByteString: (<*) :: (Applicative f) => forall a b. f a -> f b -> f a
+ Text.Appar.ByteString: (<*) :: Applicative f => forall a b. f a -> f b -> f a
- Text.Appar.ByteString: (<**>) :: (Applicative f) => f a -> f (a -> b) -> f b
+ Text.Appar.ByteString: (<**>) :: Applicative f => f a -> f (a -> b) -> f b
- Text.Appar.ByteString: (<*>) :: (Applicative f) => forall a b. f (a -> b) -> f a -> f b
+ Text.Appar.ByteString: (<*>) :: Applicative f => forall a b. f (a -> b) -> f a -> f b
- Text.Appar.ByteString: (<|>) :: (Alternative f) => forall a. f a -> f a -> f a
+ Text.Appar.ByteString: (<|>) :: Alternative f => forall a. f a -> f a -> f a
- Text.Appar.ByteString: alphaNum :: (Input inp) => MkParser inp Char
+ Text.Appar.ByteString: alphaNum :: Input inp => MkParser inp Char
- Text.Appar.ByteString: anyChar :: (Input inp) => MkParser inp Char
+ Text.Appar.ByteString: anyChar :: Input inp => MkParser inp Char
- Text.Appar.ByteString: car :: (Input inp) => inp -> Char
+ Text.Appar.ByteString: car :: Input inp => inp -> Char
- Text.Appar.ByteString: cdr :: (Input inp) => inp -> inp
+ Text.Appar.ByteString: cdr :: Input inp => inp -> inp
- Text.Appar.ByteString: char :: (Input inp) => Char -> MkParser inp Char
+ Text.Appar.ByteString: char :: Input inp => Char -> MkParser inp Char
- Text.Appar.ByteString: class (Eq inp) => Input inp
+ Text.Appar.ByteString: class Eq inp => Input inp
- Text.Appar.ByteString: digit :: (Input inp) => MkParser inp Char
+ Text.Appar.ByteString: digit :: Input inp => MkParser inp Char
- Text.Appar.ByteString: hexDigit :: (Input inp) => MkParser inp Char
+ Text.Appar.ByteString: hexDigit :: Input inp => MkParser inp Char
- Text.Appar.ByteString: isNil :: (Input inp) => inp -> Bool
+ Text.Appar.ByteString: isNil :: Input inp => inp -> Bool
- Text.Appar.ByteString: many :: (Alternative f) => forall a. f a -> f [a]
+ Text.Appar.ByteString: many :: Alternative f => forall a. f a -> f [a]
- Text.Appar.ByteString: nil :: (Input inp) => inp
+ Text.Appar.ByteString: nil :: Input inp => inp
- Text.Appar.ByteString: noneOf :: (Input inp) => String -> MkParser inp Char
+ Text.Appar.ByteString: noneOf :: Input inp => String -> MkParser inp Char
- Text.Appar.ByteString: oneOf :: (Input inp) => String -> MkParser inp Char
+ Text.Appar.ByteString: oneOf :: Input inp => String -> MkParser inp Char
- Text.Appar.ByteString: pure :: (Applicative f) => forall a. a -> f a
+ Text.Appar.ByteString: pure :: Applicative f => forall a. a -> f a
- Text.Appar.ByteString: satisfy :: (Input inp) => (Char -> Bool) -> MkParser inp Char
+ Text.Appar.ByteString: satisfy :: Input inp => (Char -> Bool) -> MkParser inp Char
- Text.Appar.ByteString: some :: (Alternative f) => forall a. f a -> f [a]
+ Text.Appar.ByteString: some :: Alternative f => forall a. f a -> f [a]
- Text.Appar.ByteString: space :: (Input inp) => MkParser inp Char
+ Text.Appar.ByteString: space :: Input inp => MkParser inp Char
- Text.Appar.ByteString: string :: (Input inp) => String -> MkParser inp String
+ Text.Appar.ByteString: string :: Input inp => String -> MkParser inp String
- Text.Appar.LazyByteString: (*>) :: (Applicative f) => forall a b. f a -> f b -> f b
+ Text.Appar.LazyByteString: (*>) :: Applicative f => forall a b. f a -> f b -> f b
- Text.Appar.LazyByteString: (<$) :: (Functor f) => forall a b. a -> f b -> f a
+ Text.Appar.LazyByteString: (<$) :: Functor f => forall a b. a -> f b -> f a
- Text.Appar.LazyByteString: (<$>) :: (Functor f) => (a -> b) -> f a -> f b
+ Text.Appar.LazyByteString: (<$>) :: Functor f => (a -> b) -> f a -> f b
- Text.Appar.LazyByteString: (<*) :: (Applicative f) => forall a b. f a -> f b -> f a
+ Text.Appar.LazyByteString: (<*) :: Applicative f => forall a b. f a -> f b -> f a
- Text.Appar.LazyByteString: (<**>) :: (Applicative f) => f a -> f (a -> b) -> f b
+ Text.Appar.LazyByteString: (<**>) :: Applicative f => f a -> f (a -> b) -> f b
- Text.Appar.LazyByteString: (<*>) :: (Applicative f) => forall a b. f (a -> b) -> f a -> f b
+ Text.Appar.LazyByteString: (<*>) :: Applicative f => forall a b. f (a -> b) -> f a -> f b
- Text.Appar.LazyByteString: (<|>) :: (Alternative f) => forall a. f a -> f a -> f a
+ Text.Appar.LazyByteString: (<|>) :: Alternative f => forall a. f a -> f a -> f a
- Text.Appar.LazyByteString: alphaNum :: (Input inp) => MkParser inp Char
+ Text.Appar.LazyByteString: alphaNum :: Input inp => MkParser inp Char
- Text.Appar.LazyByteString: anyChar :: (Input inp) => MkParser inp Char
+ Text.Appar.LazyByteString: anyChar :: Input inp => MkParser inp Char
- Text.Appar.LazyByteString: car :: (Input inp) => inp -> Char
+ Text.Appar.LazyByteString: car :: Input inp => inp -> Char
- Text.Appar.LazyByteString: cdr :: (Input inp) => inp -> inp
+ Text.Appar.LazyByteString: cdr :: Input inp => inp -> inp
- Text.Appar.LazyByteString: char :: (Input inp) => Char -> MkParser inp Char
+ Text.Appar.LazyByteString: char :: Input inp => Char -> MkParser inp Char
- Text.Appar.LazyByteString: class (Eq inp) => Input inp
+ Text.Appar.LazyByteString: class Eq inp => Input inp
- Text.Appar.LazyByteString: digit :: (Input inp) => MkParser inp Char
+ Text.Appar.LazyByteString: digit :: Input inp => MkParser inp Char
- Text.Appar.LazyByteString: hexDigit :: (Input inp) => MkParser inp Char
+ Text.Appar.LazyByteString: hexDigit :: Input inp => MkParser inp Char
- Text.Appar.LazyByteString: isNil :: (Input inp) => inp -> Bool
+ Text.Appar.LazyByteString: isNil :: Input inp => inp -> Bool
- Text.Appar.LazyByteString: many :: (Alternative f) => forall a. f a -> f [a]
+ Text.Appar.LazyByteString: many :: Alternative f => forall a. f a -> f [a]
- Text.Appar.LazyByteString: nil :: (Input inp) => inp
+ Text.Appar.LazyByteString: nil :: Input inp => inp
- Text.Appar.LazyByteString: noneOf :: (Input inp) => String -> MkParser inp Char
+ Text.Appar.LazyByteString: noneOf :: Input inp => String -> MkParser inp Char
- Text.Appar.LazyByteString: oneOf :: (Input inp) => String -> MkParser inp Char
+ Text.Appar.LazyByteString: oneOf :: Input inp => String -> MkParser inp Char
- Text.Appar.LazyByteString: pure :: (Applicative f) => forall a. a -> f a
+ Text.Appar.LazyByteString: pure :: Applicative f => forall a. a -> f a
- Text.Appar.LazyByteString: satisfy :: (Input inp) => (Char -> Bool) -> MkParser inp Char
+ Text.Appar.LazyByteString: satisfy :: Input inp => (Char -> Bool) -> MkParser inp Char
- Text.Appar.LazyByteString: some :: (Alternative f) => forall a. f a -> f [a]
+ Text.Appar.LazyByteString: some :: Alternative f => forall a. f a -> f [a]
- Text.Appar.LazyByteString: space :: (Input inp) => MkParser inp Char
+ Text.Appar.LazyByteString: space :: Input inp => MkParser inp Char
- Text.Appar.LazyByteString: string :: (Input inp) => String -> MkParser inp String
+ Text.Appar.LazyByteString: string :: Input inp => String -> MkParser inp String
- Text.Appar.String: (*>) :: (Applicative f) => forall a b. f a -> f b -> f b
+ Text.Appar.String: (*>) :: Applicative f => forall a b. f a -> f b -> f b
- Text.Appar.String: (<$) :: (Functor f) => forall a b. a -> f b -> f a
+ Text.Appar.String: (<$) :: Functor f => forall a b. a -> f b -> f a
- Text.Appar.String: (<$>) :: (Functor f) => (a -> b) -> f a -> f b
+ Text.Appar.String: (<$>) :: Functor f => (a -> b) -> f a -> f b
- Text.Appar.String: (<*) :: (Applicative f) => forall a b. f a -> f b -> f a
+ Text.Appar.String: (<*) :: Applicative f => forall a b. f a -> f b -> f a
- Text.Appar.String: (<**>) :: (Applicative f) => f a -> f (a -> b) -> f b
+ Text.Appar.String: (<**>) :: Applicative f => f a -> f (a -> b) -> f b
- Text.Appar.String: (<*>) :: (Applicative f) => forall a b. f (a -> b) -> f a -> f b
+ Text.Appar.String: (<*>) :: Applicative f => forall a b. f (a -> b) -> f a -> f b
- Text.Appar.String: (<|>) :: (Alternative f) => forall a. f a -> f a -> f a
+ Text.Appar.String: (<|>) :: Alternative f => forall a. f a -> f a -> f a
- Text.Appar.String: alphaNum :: (Input inp) => MkParser inp Char
+ Text.Appar.String: alphaNum :: Input inp => MkParser inp Char
- Text.Appar.String: anyChar :: (Input inp) => MkParser inp Char
+ Text.Appar.String: anyChar :: Input inp => MkParser inp Char
- Text.Appar.String: car :: (Input inp) => inp -> Char
+ Text.Appar.String: car :: Input inp => inp -> Char
- Text.Appar.String: cdr :: (Input inp) => inp -> inp
+ Text.Appar.String: cdr :: Input inp => inp -> inp
- Text.Appar.String: char :: (Input inp) => Char -> MkParser inp Char
+ Text.Appar.String: char :: Input inp => Char -> MkParser inp Char
- Text.Appar.String: class (Eq inp) => Input inp
+ Text.Appar.String: class Eq inp => Input inp
- Text.Appar.String: digit :: (Input inp) => MkParser inp Char
+ Text.Appar.String: digit :: Input inp => MkParser inp Char
- Text.Appar.String: hexDigit :: (Input inp) => MkParser inp Char
+ Text.Appar.String: hexDigit :: Input inp => MkParser inp Char
- Text.Appar.String: isNil :: (Input inp) => inp -> Bool
+ Text.Appar.String: isNil :: Input inp => inp -> Bool
- Text.Appar.String: many :: (Alternative f) => forall a. f a -> f [a]
+ Text.Appar.String: many :: Alternative f => forall a. f a -> f [a]
- Text.Appar.String: nil :: (Input inp) => inp
+ Text.Appar.String: nil :: Input inp => inp
- Text.Appar.String: noneOf :: (Input inp) => String -> MkParser inp Char
+ Text.Appar.String: noneOf :: Input inp => String -> MkParser inp Char
- Text.Appar.String: oneOf :: (Input inp) => String -> MkParser inp Char
+ Text.Appar.String: oneOf :: Input inp => String -> MkParser inp Char
- Text.Appar.String: pure :: (Applicative f) => forall a. a -> f a
+ Text.Appar.String: pure :: Applicative f => forall a. a -> f a
- Text.Appar.String: satisfy :: (Input inp) => (Char -> Bool) -> MkParser inp Char
+ Text.Appar.String: satisfy :: Input inp => (Char -> Bool) -> MkParser inp Char
- Text.Appar.String: some :: (Alternative f) => forall a. f a -> f [a]
+ Text.Appar.String: some :: Alternative f => forall a. f a -> f [a]
- Text.Appar.String: space :: (Input inp) => MkParser inp Char
+ Text.Appar.String: space :: Input inp => MkParser inp Char
- Text.Appar.String: string :: (Input inp) => String -> MkParser inp String
+ Text.Appar.String: string :: Input inp => String -> MkParser inp String

Files

Text/Appar/ByteString.hs view
@@ -21,15 +21,8 @@   , module Text.Appar.Parser   ) where -import Text.Appar.Parser import Data.ByteString.Char8 (ByteString)-import qualified Data.ByteString.Char8 as S hiding (ByteString)--instance Input ByteString where-    car   = S.head-    cdr   = S.tail-    nil   = S.empty-    isNil = S.null+import Text.Appar.Parser  {-|   Parser synonym for strict 'ByteString'.
+ Text/Appar/Input.hs view
@@ -0,0 +1,40 @@+{-# LANGUAGE TypeSynonymInstances #-}++module Text.Appar.Input where++import qualified Data.ByteString.Char8 as S+import qualified Data.ByteString.Lazy.Char8 as L++----------------------------------------------------------------++{-|+  The class for parser input.+-}+class Eq inp => Input inp where+    -- | The head function for input+    car :: inp -> Char+    -- | The tail function for input+    cdr :: inp -> inp+    -- | The end of input+    nil :: inp+    -- | The function to check the end of input+    isNil :: inp -> Bool+++instance Input S.ByteString where+    car   = S.head+    cdr   = S.tail+    nil   = S.empty+    isNil = S.null++instance Input L.ByteString where+    car   = L.head+    cdr   = L.tail+    nil   = L.empty+    isNil = L.null++instance Input String where+    car = head+    cdr = tail+    isNil = null+    nil = ""
Text/Appar/LazyByteString.hs view
@@ -21,15 +21,8 @@   , module Text.Appar.Parser   ) where -import Text.Appar.Parser import Data.ByteString.Lazy.Char8 (ByteString)-import qualified Data.ByteString.Lazy.Char8 as S hiding (ByteString)--instance Input ByteString where-    car   = S.head-    cdr   = S.tail-    nil   = S.empty-    isNil = S.null+import Text.Appar.Parser  {-|   Parser synonym for strict 'ByteString'.
Text/Appar/Parser.hs view
@@ -57,6 +57,7 @@ import Control.Monad import Data.ByteString.Lazy.Char8 (ByteString) import Data.Char+import Text.Appar.Input  ---------------------------------------------------------------- @@ -64,21 +65,6 @@   -- | Getting the internal parser.     runParser :: inp -> (Maybe a, inp)   }--------------------------------------------------------------------{-|-  The class for parser input.--}-class Eq inp => Input inp where-    -- | The head function for input-    car :: inp -> Char-    -- | The tail function for input-    cdr :: inp -> inp-    -- | The end of input-    nil :: inp-    -- | The function to check the end of input-    isNil :: inp -> Bool  ----------------------------------------------------------------
Text/Appar/String.hs view
@@ -1,5 +1,3 @@-{-# LANGUAGE TypeSynonymInstances #-}- {-| Simple 'Applicative' parser whose input is 'String'. The usage is the same as parsec.@@ -24,12 +22,6 @@   ) where  import Text.Appar.Parser--instance Input String where-    car = head-    cdr = tail-    isNil = null-    nil = ""  {-|   Parser synonym for 'String'.
appar.cabal view
@@ -1,5 +1,5 @@ Name:                   appar-Version:                0.1.1+Version:                0.1.2 Author:                 Kazu Yamamoto <kazu@iij.ad.jp> Maintainer:             Kazu Yamamoto <kazu@iij.ad.jp> License:                BSD3@@ -12,13 +12,14 @@ Extra-Source-Files:     README library   if impl(ghc >= 6.12)-    GHC-Options:        -Wall -fno-warn-orphans -fno-warn-unused-do-bind+    GHC-Options:        -Wall -fno-warn-unused-do-bind   else-    GHC-Options:        -Wall -fno-warn-orphans+    GHC-Options:        -Wall   Exposed-Modules:      Text.Appar.String                         Text.Appar.ByteString                         Text.Appar.LazyByteString-  Other-Modules:        Text.Appar.Parser+  Other-Modules:        Text.Appar.Input+                        Text.Appar.Parser   Build-Depends:        base >= 4 && < 5, bytestring Source-Repository head   Type:                 git