-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/
-- | A data-type representing digits 0-9 and other combinations
--
--
-- Digit is a data-type that represents the digits 0-9 and other
-- combinations.
@package digit
@version 0.4.0
module Data.Digit.Df
class Df d where xf = df # ()
df :: Df d => Prism' d ()
xf :: Df d => d
-- |
-- >>> parse (parsef <* eof) "test" "f" :: Either ParseError (Digitf ())
-- Right (Digitf ())
--
--
--
-- >>> parse parsef "test" "fxyz" :: Either ParseError (Digitf ())
-- Right (Digitf ())
--
--
--
-- >>> isn't _Right (parse parsef "test" "xyz" :: Either ParseError (Digitf ()))
-- True
--
--
--
-- \c -> c /= 'f' ==> isn't _Right (parse parsef "test" [c] :: Either ParseError (Digitf ()))
--
parsef :: (Df d, CharParsing p) => p d
instance Data.Digit.Df.Df ()
instance Data.Digit.Df.Df d => Data.Digit.Df.Df (Data.Either.Either d x)
module Data.Digit.Digitf
newtype Digitf a
Digitf :: a -> Digitf a
instance Data.Digit.Digitf.Digitf a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digitf.Digitf a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digitf.Digitf a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digitf.Digitf a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digitf.Digitf a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digitf.Digitf a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digitf.Digitf a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digitf.Digitf a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digitf.Digitf a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digitf.Digitf a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digitf.Digitf a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digitf.Digitf a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digitf.Digitf a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digitf.Digitf a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digitf.Digitf a)
instance Data.Digit.Df.Df a => Data.Digit.Df.Df (Data.Digit.Digitf.Digitf a)
instance GHC.Base.Functor Data.Digit.Digitf.Digitf
instance Data.Functor.Bind.Class.Apply Data.Digit.Digitf.Digitf
instance GHC.Base.Applicative Data.Digit.Digitf.Digitf
instance Data.Functor.Bind.Class.Bind Data.Digit.Digitf.Digitf
instance GHC.Base.Monad Data.Digit.Digitf.Digitf
instance Data.Foldable.Foldable Data.Digit.Digitf.Digitf
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digitf.Digitf
instance Data.Traversable.Traversable Data.Digit.Digitf.Digitf
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digitf.Digitf
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digitf.Digitf a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digitf.Digitf a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digitf.Digitf a) (Data.Digit.Digitf.Digitf b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digitf.Digitf
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digitf.Digitf
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digitf.Digitf
instance Control.Lens.Each.Each (Data.Digit.Digitf.Digitf a) (Data.Digit.Digitf.Digitf b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digitf.Digitf a)
module Data.Digit.De
class De d where xe = de # ()
de :: De d => Prism' d ()
xe :: De d => d
-- |
-- >>> parse (parsee <* eof) "test" "e" :: Either ParseError (Digite ())
-- Right (Digite ())
--
--
--
-- >>> parse parsee "test" "exyz" :: Either ParseError (Digite ())
-- Right (Digite ())
--
--
--
-- >>> isn't _Right (parse parsee "test" "xyz" :: Either ParseError (Digite ()))
-- True
--
--
--
-- \c -> c /= 'e' ==> isn't _Right (parse parsee "test" [c] :: Either ParseError (Digite ()))
--
parsee :: (De d, CharParsing p) => p d
instance Data.Digit.De.De ()
instance Data.Digit.De.De d => Data.Digit.De.De (Data.Either.Either d x)
module Data.Digit.Digite
newtype Digite a
Digite :: a -> Digite a
instance Data.Digit.Digite.Digite a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digite.Digite a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digite.Digite a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digite.Digite a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digite.Digite a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digite.Digite a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digite.Digite a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digite.Digite a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digite.Digite a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digite.Digite a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digite.Digite a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digite.Digite a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digite.Digite a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digite.Digite a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digite.Digite a)
instance Data.Digit.De.De a => Data.Digit.De.De (Data.Digit.Digite.Digite a)
instance GHC.Base.Functor Data.Digit.Digite.Digite
instance Data.Functor.Bind.Class.Apply Data.Digit.Digite.Digite
instance GHC.Base.Applicative Data.Digit.Digite.Digite
instance Data.Functor.Bind.Class.Bind Data.Digit.Digite.Digite
instance GHC.Base.Monad Data.Digit.Digite.Digite
instance Data.Foldable.Foldable Data.Digit.Digite.Digite
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digite.Digite
instance Data.Traversable.Traversable Data.Digit.Digite.Digite
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digite.Digite
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digite.Digite a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digite.Digite a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digite.Digite a) (Data.Digit.Digite.Digite b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digite.Digite
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digite.Digite
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digite.Digite
instance Control.Lens.Each.Each (Data.Digit.Digite.Digite a) (Data.Digit.Digite.Digite b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digite.Digite a)
module Data.Digit.Dd
class Dd d where xd = dd # ()
dd :: Dd d => Prism' d ()
xd :: Dd d => d
-- |
-- >>> parse (parsed <* eof) "test" "d" :: Either ParseError (Digitd ())
-- Right (Digitd ())
--
--
--
-- >>> parse parsed "test" "dxyz" :: Either ParseError (Digitd ())
-- Right (Digitd ())
--
--
--
-- >>> isn't _Right (parse parsed "test" "xyz" :: Either ParseError (Digitd ()))
-- True
--
--
--
-- \c -> c /= 'd' ==> isn't _Right (parse parsed "test" [c] :: Either ParseError (Digitd ()))
--
parsed :: (Dd d, CharParsing p) => p d
instance Data.Digit.Dd.Dd ()
instance Data.Digit.Dd.Dd d => Data.Digit.Dd.Dd (Data.Either.Either d x)
module Data.Digit.Digitd
newtype Digitd a
Digitd :: a -> Digitd a
instance Data.Digit.Digitd.Digitd a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digitd.Digitd a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digitd.Digitd a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digitd.Digitd a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digitd.Digitd a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digitd.Digitd a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digitd.Digitd a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digitd.Digitd a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digitd.Digitd a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digitd.Digitd a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digitd.Digitd a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digitd.Digitd a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digitd.Digitd a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digitd.Digitd a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digitd.Digitd a)
instance Data.Digit.Dd.Dd a => Data.Digit.Dd.Dd (Data.Digit.Digitd.Digitd a)
instance GHC.Base.Functor Data.Digit.Digitd.Digitd
instance Data.Functor.Bind.Class.Apply Data.Digit.Digitd.Digitd
instance GHC.Base.Applicative Data.Digit.Digitd.Digitd
instance Data.Functor.Bind.Class.Bind Data.Digit.Digitd.Digitd
instance GHC.Base.Monad Data.Digit.Digitd.Digitd
instance Data.Foldable.Foldable Data.Digit.Digitd.Digitd
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digitd.Digitd
instance Data.Traversable.Traversable Data.Digit.Digitd.Digitd
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digitd.Digitd
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digitd.Digitd a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digitd.Digitd a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digitd.Digitd a) (Data.Digit.Digitd.Digitd b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digitd.Digitd
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digitd.Digitd
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digitd.Digitd
instance Control.Lens.Each.Each (Data.Digit.Digitd.Digitd a) (Data.Digit.Digitd.Digitd b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digitd.Digitd a)
module Data.Digit.Dc
class Dc d where xc = dc # ()
dc :: Dc d => Prism' d ()
xc :: Dc d => d
-- |
-- >>> parse (parsec <* eof) "test" "c" :: Either ParseError (Digitc ())
-- Right (Digitc ())
--
--
--
-- >>> parse parsec "test" "cxyz" :: Either ParseError (Digitc ())
-- Right (Digitc ())
--
--
--
-- >>> isn't _Right (parse parsec "test" "xyz" :: Either ParseError (Digitc ()))
-- True
--
--
--
-- \c -> c /= 'c' ==> isn't _Right (parse parsec "test" [c] :: Either ParseError (Digitc ()))
--
parsec :: (Dc d, CharParsing p) => p d
instance Data.Digit.Dc.Dc ()
instance Data.Digit.Dc.Dc d => Data.Digit.Dc.Dc (Data.Either.Either d x)
module Data.Digit.Digitc
newtype Digitc a
Digitc :: a -> Digitc a
instance Data.Digit.Digitc.Digitc a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digitc.Digitc a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digitc.Digitc a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digitc.Digitc a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digitc.Digitc a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digitc.Digitc a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digitc.Digitc a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digitc.Digitc a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digitc.Digitc a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digitc.Digitc a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digitc.Digitc a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digitc.Digitc a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digitc.Digitc a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digitc.Digitc a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digitc.Digitc a)
instance Data.Digit.Dc.Dc a => Data.Digit.Dc.Dc (Data.Digit.Digitc.Digitc a)
instance GHC.Base.Functor Data.Digit.Digitc.Digitc
instance Data.Functor.Bind.Class.Apply Data.Digit.Digitc.Digitc
instance GHC.Base.Applicative Data.Digit.Digitc.Digitc
instance Data.Functor.Bind.Class.Bind Data.Digit.Digitc.Digitc
instance GHC.Base.Monad Data.Digit.Digitc.Digitc
instance Data.Foldable.Foldable Data.Digit.Digitc.Digitc
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digitc.Digitc
instance Data.Traversable.Traversable Data.Digit.Digitc.Digitc
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digitc.Digitc
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digitc.Digitc a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digitc.Digitc a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digitc.Digitc a) (Data.Digit.Digitc.Digitc b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digitc.Digitc
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digitc.Digitc
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digitc.Digitc
instance Control.Lens.Each.Each (Data.Digit.Digitc.Digitc a) (Data.Digit.Digitc.Digitc b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digitc.Digitc a)
module Data.Digit.Db
class Db d where xb = db # ()
db :: Db d => Prism' d ()
xb :: Db d => d
-- |
-- >>> parse (parseb <* eof) "test" "b" :: Either ParseError (Digitb ())
-- Right (Digitb ())
--
--
--
-- >>> parse parseb "test" "bxyz" :: Either ParseError (Digitb ())
-- Right (Digitb ())
--
--
--
-- >>> isn't _Right (parse parseb "test" "xyz" :: Either ParseError (Digitb ()))
-- True
--
--
--
-- \c -> c /= 'b' ==> isn't _Right (parse parseb "test" [c] :: Either ParseError (Digitb ()))
--
parseb :: (Db d, CharParsing p) => p d
instance Data.Digit.Db.Db ()
instance Data.Digit.Db.Db d => Data.Digit.Db.Db (Data.Either.Either d x)
module Data.Digit.Digitb
newtype Digitb a
Digitb :: a -> Digitb a
instance Data.Digit.Digitb.Digitb a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digitb.Digitb a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digitb.Digitb a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digitb.Digitb a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digitb.Digitb a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digitb.Digitb a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digitb.Digitb a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digitb.Digitb a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digitb.Digitb a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digitb.Digitb a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digitb.Digitb a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digitb.Digitb a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digitb.Digitb a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digitb.Digitb a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digitb.Digitb a)
instance Data.Digit.Db.Db a => Data.Digit.Db.Db (Data.Digit.Digitb.Digitb a)
instance GHC.Base.Functor Data.Digit.Digitb.Digitb
instance Data.Functor.Bind.Class.Apply Data.Digit.Digitb.Digitb
instance GHC.Base.Applicative Data.Digit.Digitb.Digitb
instance Data.Functor.Bind.Class.Bind Data.Digit.Digitb.Digitb
instance GHC.Base.Monad Data.Digit.Digitb.Digitb
instance Data.Foldable.Foldable Data.Digit.Digitb.Digitb
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digitb.Digitb
instance Data.Traversable.Traversable Data.Digit.Digitb.Digitb
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digitb.Digitb
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digitb.Digitb a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digitb.Digitb a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digitb.Digitb a) (Data.Digit.Digitb.Digitb b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digitb.Digitb
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digitb.Digitb
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digitb.Digitb
instance Control.Lens.Each.Each (Data.Digit.Digitb.Digitb a) (Data.Digit.Digitb.Digitb b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digitb.Digitb a)
module Data.Digit.Da
class Da d where xa = da # ()
da :: Da d => Prism' d ()
xa :: Da d => d
-- |
-- >>> parse (parsea <* eof) "test" "a" :: Either ParseError (Digita ())
-- Right (Digita ())
--
--
--
-- >>> parse parsea "test" "axyz" :: Either ParseError (Digita ())
-- Right (Digita ())
--
--
--
-- >>> isn't _Right (parse parsea "test" "xyz" :: Either ParseError (Digita ()))
-- True
--
--
--
-- \c -> c /= 'a' ==> isn't _Right (parse parsea "test" [c] :: Either ParseError (Digita ()))
--
parsea :: (Da d, CharParsing p) => p d
instance Data.Digit.Da.Da ()
instance Data.Digit.Da.Da d => Data.Digit.Da.Da (Data.Either.Either d x)
module Data.Digit.Digita
newtype Digita a
Digita :: a -> Digita a
instance Data.Digit.Digita.Digita a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digita.Digita a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digita.Digita a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digita.Digita a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digita.Digita a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digita.Digita a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digita.Digita a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digita.Digita a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digita.Digita a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digita.Digita a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digita.Digita a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digita.Digita a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digita.Digita a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digita.Digita a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digita.Digita a)
instance Data.Digit.Da.Da a => Data.Digit.Da.Da (Data.Digit.Digita.Digita a)
instance GHC.Base.Functor Data.Digit.Digita.Digita
instance Data.Functor.Bind.Class.Apply Data.Digit.Digita.Digita
instance GHC.Base.Applicative Data.Digit.Digita.Digita
instance Data.Functor.Bind.Class.Bind Data.Digit.Digita.Digita
instance GHC.Base.Monad Data.Digit.Digita.Digita
instance Data.Foldable.Foldable Data.Digit.Digita.Digita
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digita.Digita
instance Data.Traversable.Traversable Data.Digit.Digita.Digita
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digita.Digita
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digita.Digita a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digita.Digita a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digita.Digita a) (Data.Digit.Digita.Digita b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digita.Digita
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digita.Digita
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digita.Digita
instance Control.Lens.Each.Each (Data.Digit.Digita.Digita a) (Data.Digit.Digita.Digita b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digita.Digita a)
module Data.Digit.DF
class DF d where xF = dF # ()
dF :: DF d => Prism' d ()
xF :: DF d => d
-- |
-- >>> parse (parseF <* eof) "test" "F" :: Either ParseError (DigitF ())
-- Right (DigitF ())
--
--
--
-- >>> parse parseF "test" "Fxyz" :: Either ParseError (DigitF ())
-- Right (DigitF ())
--
--
--
-- >>> isn't _Right (parse parseF "test" "xyz" :: Either ParseError (DigitF ()))
-- True
--
--
--
-- \c -> c /= 'F' ==> isn't _Right (parse parseF "test" [c] :: Either ParseError (DigitF ()))
--
parseF :: (DF d, CharParsing p) => p d
instance Data.Digit.DF.DF ()
instance Data.Digit.DF.DF d => Data.Digit.DF.DF (Data.Either.Either d x)
module Data.Digit.DFf
type DFf a = (DF a, Df a)
-- |
-- >>> parse (parseFf <* eof) "test" "F" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseFf <* eof) "test" "f" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseFf "test" "Fxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseFf "test" "fxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseFf "test" "xyz" :: Either ParseError (HeXaDeCiMaLDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "Ff") ==> isn't _Right (parse parseFf "test" [c] :: Either ParseError (HeXaDeCiMaLDigit' ()))
--
parseFf :: (DFf d, CharParsing p) => p d
module Data.Digit.DigitF
newtype DigitF a
DigitF :: a -> DigitF a
instance Data.Digit.DigitF.DigitF a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.DigitF.DigitF a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.DigitF.DigitF a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.DigitF.DigitF a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.DigitF.DigitF a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.DigitF.DigitF a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.DigitF.DigitF a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.DigitF.DigitF a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.DigitF.DigitF a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.DigitF.DigitF a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.DigitF.DigitF a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.DigitF.DigitF a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.DigitF.DigitF a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.DigitF.DigitF a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.DigitF.DigitF a)
instance Data.Digit.DF.DF a => Data.Digit.DF.DF (Data.Digit.DigitF.DigitF a)
instance GHC.Base.Functor Data.Digit.DigitF.DigitF
instance Data.Functor.Bind.Class.Apply Data.Digit.DigitF.DigitF
instance GHC.Base.Applicative Data.Digit.DigitF.DigitF
instance Data.Functor.Bind.Class.Bind Data.Digit.DigitF.DigitF
instance GHC.Base.Monad Data.Digit.DigitF.DigitF
instance Data.Foldable.Foldable Data.Digit.DigitF.DigitF
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.DigitF.DigitF
instance Data.Traversable.Traversable Data.Digit.DigitF.DigitF
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.DigitF.DigitF
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.DigitF.DigitF a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.DigitF.DigitF a)
instance Control.Lens.Tuple.Field1 (Data.Digit.DigitF.DigitF a) (Data.Digit.DigitF.DigitF b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.DigitF.DigitF
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.DigitF.DigitF
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.DigitF.DigitF
instance Control.Lens.Each.Each (Data.Digit.DigitF.DigitF a) (Data.Digit.DigitF.DigitF b) a b
instance Control.Lens.At.Ixed (Data.Digit.DigitF.DigitF a)
module Data.Digit.DE
class DE d where xE = dE # ()
dE :: DE d => Prism' d ()
xE :: DE d => d
-- |
-- >>> parse (parseE <* eof) "test" "E" :: Either ParseError (DigitE ())
-- Right (DigitE ())
--
--
--
-- >>> parse parseE "test" "Exyz" :: Either ParseError (DigitE ())
-- Right (DigitE ())
--
--
--
-- >>> isn't _Right (parse parseE "test" "xyz" :: Either ParseError (DigitE ()))
-- True
--
--
--
-- \c -> c /= 'E' ==> isn't _Right (parse parseE "test" [c] :: Either ParseError (DigitE ()))
--
parseE :: (DE d, CharParsing p) => p d
instance Data.Digit.DE.DE ()
instance Data.Digit.DE.DE d => Data.Digit.DE.DE (Data.Either.Either d x)
module Data.Digit.DEe
type DEe a = (DE a, De a)
-- |
-- >>> parse (parseEe <* eof) "test" "E" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseEe <* eof) "test" "e" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseEe "test" "Exyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseEe "test" "exyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseEe "test" "xyz" :: Either ParseError (HeXaDeCiMaLDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "Ee") ==> isn't _Right (parse parseEe "test" [c] :: Either ParseError (HeXaDeCiMaLDigit' ()))
--
parseEe :: (DEe d, CharParsing p) => p d
module Data.Digit.DigitE
newtype DigitE a
DigitE :: a -> DigitE a
instance Data.Digit.DigitE.DigitE a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.DigitE.DigitE a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.DigitE.DigitE a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.DigitE.DigitE a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.DigitE.DigitE a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.DigitE.DigitE a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.DigitE.DigitE a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.DigitE.DigitE a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.DigitE.DigitE a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.DigitE.DigitE a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.DigitE.DigitE a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.DigitE.DigitE a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.DigitE.DigitE a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.DigitE.DigitE a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.DigitE.DigitE a)
instance Data.Digit.DE.DE a => Data.Digit.DE.DE (Data.Digit.DigitE.DigitE a)
instance GHC.Base.Functor Data.Digit.DigitE.DigitE
instance Data.Functor.Bind.Class.Apply Data.Digit.DigitE.DigitE
instance GHC.Base.Applicative Data.Digit.DigitE.DigitE
instance Data.Functor.Bind.Class.Bind Data.Digit.DigitE.DigitE
instance GHC.Base.Monad Data.Digit.DigitE.DigitE
instance Data.Foldable.Foldable Data.Digit.DigitE.DigitE
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.DigitE.DigitE
instance Data.Traversable.Traversable Data.Digit.DigitE.DigitE
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.DigitE.DigitE
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.DigitE.DigitE a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.DigitE.DigitE a)
instance Control.Lens.Tuple.Field1 (Data.Digit.DigitE.DigitE a) (Data.Digit.DigitE.DigitE b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.DigitE.DigitE
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.DigitE.DigitE
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.DigitE.DigitE
instance Control.Lens.Each.Each (Data.Digit.DigitE.DigitE a) (Data.Digit.DigitE.DigitE b) a b
instance Control.Lens.At.Ixed (Data.Digit.DigitE.DigitE a)
module Data.Digit.DD
class DD d where xD = dD # ()
dD :: DD d => Prism' d ()
xD :: DD d => d
-- |
-- >>> parse (parseD <* eof) "test" "D" :: Either ParseError (DigitD ())
-- Right (DigitD ())
--
--
--
-- >>> parse parseD "test" "Dxyz" :: Either ParseError (DigitD ())
-- Right (DigitD ())
--
--
--
-- >>> isn't _Right (parse parseD "test" "xyz" :: Either ParseError (DigitD ()))
-- True
--
--
--
-- \c -> c /= 'D' ==> isn't _Right (parse parseD "test" [c] :: Either ParseError (DigitD ()))
--
parseD :: (DD d, CharParsing p) => p d
instance Data.Digit.DD.DD ()
instance Data.Digit.DD.DD d => Data.Digit.DD.DD (Data.Either.Either d x)
module Data.Digit.DDd
type DDd a = (DD a, Dd a)
-- |
-- >>> parse (parseDd <* eof) "test" "D" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDd <* eof) "test" "d" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDd "test" "Dxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDd "test" "dxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseDd "test" "xyz" :: Either ParseError (HeXaDeCiMaLDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "Dd") ==> isn't _Right (parse parseDd "test" [c] :: Either ParseError (HeXaDeCiMaLDigit' ()))
--
parseDd :: (DDd d, CharParsing p) => p d
module Data.Digit.DigitD
newtype DigitD a
DigitD :: a -> DigitD a
instance Data.Digit.DigitD.DigitD a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.DigitD.DigitD a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.DigitD.DigitD a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.DigitD.DigitD a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.DigitD.DigitD a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.DigitD.DigitD a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.DigitD.DigitD a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.DigitD.DigitD a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.DigitD.DigitD a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.DigitD.DigitD a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.DigitD.DigitD a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.DigitD.DigitD a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.DigitD.DigitD a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.DigitD.DigitD a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.DigitD.DigitD a)
instance Data.Digit.DD.DD a => Data.Digit.DD.DD (Data.Digit.DigitD.DigitD a)
instance GHC.Base.Functor Data.Digit.DigitD.DigitD
instance Data.Functor.Bind.Class.Apply Data.Digit.DigitD.DigitD
instance GHC.Base.Applicative Data.Digit.DigitD.DigitD
instance Data.Functor.Bind.Class.Bind Data.Digit.DigitD.DigitD
instance GHC.Base.Monad Data.Digit.DigitD.DigitD
instance Data.Foldable.Foldable Data.Digit.DigitD.DigitD
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.DigitD.DigitD
instance Data.Traversable.Traversable Data.Digit.DigitD.DigitD
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.DigitD.DigitD
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.DigitD.DigitD a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.DigitD.DigitD a)
instance Control.Lens.Tuple.Field1 (Data.Digit.DigitD.DigitD a) (Data.Digit.DigitD.DigitD b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.DigitD.DigitD
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.DigitD.DigitD
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.DigitD.DigitD
instance Control.Lens.Each.Each (Data.Digit.DigitD.DigitD a) (Data.Digit.DigitD.DigitD b) a b
instance Control.Lens.At.Ixed (Data.Digit.DigitD.DigitD a)
module Data.Digit.DC
class DC d where xC = dC # ()
dC :: DC d => Prism' d ()
xC :: DC d => d
-- |
-- >>> parse (parseC <* eof) "test" "C" :: Either ParseError (DigitC ())
-- Right (DigitC ())
--
--
--
-- >>> parse parseC "test" "Cxyz" :: Either ParseError (DigitC ())
-- Right (DigitC ())
--
--
--
-- >>> isn't _Right (parse parseC "test" "xyz" :: Either ParseError (DigitC ()))
-- True
--
--
--
-- \c -> c /= 'C' ==> isn't _Right (parse parseC "test" [c] :: Either ParseError (DigitC ()))
--
parseC :: (DC d, CharParsing p) => p d
instance Data.Digit.DC.DC ()
instance Data.Digit.DC.DC d => Data.Digit.DC.DC (Data.Either.Either d x)
module Data.Digit.DCc
type DCc a = (DC a, Dc a)
-- |
-- >>> parse (parseCc <* eof) "test" "C" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseCc <* eof) "test" "c" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseCc "test" "Cxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseCc "test" "cxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseCc "test" "xyz" :: Either ParseError (HeXaDeCiMaLDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "Cc") ==> isn't _Right (parse parseCc "test" [c] :: Either ParseError (HeXaDeCiMaLDigit' ()))
--
parseCc :: (DCc d, CharParsing p) => p d
module Data.Digit.DigitC
newtype DigitC a
DigitC :: a -> DigitC a
instance Data.Digit.DigitC.DigitC a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.DigitC.DigitC a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.DigitC.DigitC a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.DigitC.DigitC a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.DigitC.DigitC a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.DigitC.DigitC a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.DigitC.DigitC a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.DigitC.DigitC a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.DigitC.DigitC a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.DigitC.DigitC a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.DigitC.DigitC a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.DigitC.DigitC a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.DigitC.DigitC a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.DigitC.DigitC a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.DigitC.DigitC a)
instance Data.Digit.DC.DC a => Data.Digit.DC.DC (Data.Digit.DigitC.DigitC a)
instance GHC.Base.Functor Data.Digit.DigitC.DigitC
instance Data.Functor.Bind.Class.Apply Data.Digit.DigitC.DigitC
instance GHC.Base.Applicative Data.Digit.DigitC.DigitC
instance Data.Functor.Bind.Class.Bind Data.Digit.DigitC.DigitC
instance GHC.Base.Monad Data.Digit.DigitC.DigitC
instance Data.Foldable.Foldable Data.Digit.DigitC.DigitC
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.DigitC.DigitC
instance Data.Traversable.Traversable Data.Digit.DigitC.DigitC
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.DigitC.DigitC
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.DigitC.DigitC a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.DigitC.DigitC a)
instance Control.Lens.Tuple.Field1 (Data.Digit.DigitC.DigitC a) (Data.Digit.DigitC.DigitC b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.DigitC.DigitC
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.DigitC.DigitC
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.DigitC.DigitC
instance Control.Lens.Each.Each (Data.Digit.DigitC.DigitC a) (Data.Digit.DigitC.DigitC b) a b
instance Control.Lens.At.Ixed (Data.Digit.DigitC.DigitC a)
module Data.Digit.DB
class DB d where xB = dB # ()
dB :: DB d => Prism' d ()
xB :: DB d => d
-- |
-- >>> parse (parseB <* eof) "test" "B" :: Either ParseError (DigitB ())
-- Right (DigitB ())
--
--
--
-- >>> parse parseB "test" "Bxyz" :: Either ParseError (DigitB ())
-- Right (DigitB ())
--
--
--
-- >>> isn't _Right (parse parseB "test" "xyz" :: Either ParseError (DigitB ()))
-- True
--
--
--
-- \c -> c /= 'B' ==> isn't _Right (parse parseB "test" [c] :: Either ParseError (DigitB ()))
--
parseB :: (DB d, CharParsing p) => p d
instance Data.Digit.DB.DB ()
instance Data.Digit.DB.DB d => Data.Digit.DB.DB (Data.Either.Either d x)
module Data.Digit.DBb
type DBb a = (DB a, Db a)
-- |
-- >>> parse (parseBb <* eof) "test" "B" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseBb <* eof) "test" "b" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseBb "test" "Bxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseBb "test" "bxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseBb "test" "xyz" :: Either ParseError (HeXaDeCiMaLDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "Bb") ==> isn't _Right (parse parseBb "test" [c] :: Either ParseError (HeXaDeCiMaLDigit' ()))
--
parseBb :: (DBb d, CharParsing p) => p d
module Data.Digit.DigitB
newtype DigitB a
DigitB :: a -> DigitB a
instance Data.Digit.DigitB.DigitB a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.DigitB.DigitB a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.DigitB.DigitB a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.DigitB.DigitB a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.DigitB.DigitB a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.DigitB.DigitB a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.DigitB.DigitB a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.DigitB.DigitB a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.DigitB.DigitB a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.DigitB.DigitB a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.DigitB.DigitB a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.DigitB.DigitB a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.DigitB.DigitB a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.DigitB.DigitB a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.DigitB.DigitB a)
instance Data.Digit.DB.DB a => Data.Digit.DB.DB (Data.Digit.DigitB.DigitB a)
instance GHC.Base.Functor Data.Digit.DigitB.DigitB
instance Data.Functor.Bind.Class.Apply Data.Digit.DigitB.DigitB
instance GHC.Base.Applicative Data.Digit.DigitB.DigitB
instance Data.Functor.Bind.Class.Bind Data.Digit.DigitB.DigitB
instance GHC.Base.Monad Data.Digit.DigitB.DigitB
instance Data.Foldable.Foldable Data.Digit.DigitB.DigitB
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.DigitB.DigitB
instance Data.Traversable.Traversable Data.Digit.DigitB.DigitB
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.DigitB.DigitB
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.DigitB.DigitB a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.DigitB.DigitB a)
instance Control.Lens.Tuple.Field1 (Data.Digit.DigitB.DigitB a) (Data.Digit.DigitB.DigitB b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.DigitB.DigitB
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.DigitB.DigitB
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.DigitB.DigitB
instance Control.Lens.Each.Each (Data.Digit.DigitB.DigitB a) (Data.Digit.DigitB.DigitB b) a b
instance Control.Lens.At.Ixed (Data.Digit.DigitB.DigitB a)
module Data.Digit.DA
class DA d where xA = dA # ()
dA :: DA d => Prism' d ()
xA :: DA d => d
-- |
-- >>> parse (parseA <* eof) "test" "A" :: Either ParseError (DigitA ())
-- Right (DigitA ())
--
--
--
-- >>> parse parseA "test" "Axyz" :: Either ParseError (DigitA ())
-- Right (DigitA ())
--
--
--
-- >>> isn't _Right (parse parseA "test" "xyz" :: Either ParseError (DigitA ()))
-- True
--
--
--
-- \c -> c /= 'A' ==> isn't _Right (parse parseA "test" [c] :: Either ParseError (DigitA ()))
--
parseA :: (DA d, CharParsing p) => p d
instance Data.Digit.DA.DA ()
instance Data.Digit.DA.DA d => Data.Digit.DA.DA (Data.Either.Either d x)
module Data.Digit.DAa
type DAa a = (DA a, Da a)
-- |
-- >>> parse (parseAa <* eof) "test" "A" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseAa <* eof) "test" "a" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseAa "test" "Axyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseAa "test" "axyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseAa "test" "xyz" :: Either ParseError (HeXaDeCiMaLDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "Aa") ==> isn't _Right (parse parseAa "test" [c] :: Either ParseError (HeXaDeCiMaLDigit' ()))
--
parseAa :: (DAa d, CharParsing p) => p d
module Data.Digit.DigitA
newtype DigitA a
DigitA :: a -> DigitA a
instance Data.Digit.DigitA.DigitA a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.DigitA.DigitA a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.DigitA.DigitA a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.DigitA.DigitA a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.DigitA.DigitA a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.DigitA.DigitA a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.DigitA.DigitA a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.DigitA.DigitA a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.DigitA.DigitA a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.DigitA.DigitA a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.DigitA.DigitA a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.DigitA.DigitA a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.DigitA.DigitA a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.DigitA.DigitA a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.DigitA.DigitA a)
instance Data.Digit.DA.DA a => Data.Digit.DA.DA (Data.Digit.DigitA.DigitA a)
instance GHC.Base.Functor Data.Digit.DigitA.DigitA
instance Data.Functor.Bind.Class.Apply Data.Digit.DigitA.DigitA
instance GHC.Base.Applicative Data.Digit.DigitA.DigitA
instance Data.Functor.Bind.Class.Bind Data.Digit.DigitA.DigitA
instance GHC.Base.Monad Data.Digit.DigitA.DigitA
instance Data.Foldable.Foldable Data.Digit.DigitA.DigitA
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.DigitA.DigitA
instance Data.Traversable.Traversable Data.Digit.DigitA.DigitA
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.DigitA.DigitA
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.DigitA.DigitA a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.DigitA.DigitA a)
instance Control.Lens.Tuple.Field1 (Data.Digit.DigitA.DigitA a) (Data.Digit.DigitA.DigitA b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.DigitA.DigitA
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.DigitA.DigitA
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.DigitA.DigitA
instance Control.Lens.Each.Each (Data.Digit.DigitA.DigitA a) (Data.Digit.DigitA.DigitA b) a b
instance Control.Lens.At.Ixed (Data.Digit.DigitA.DigitA a)
module Data.Digit.D9
class D9 d where x9 = d9 # ()
d9 :: D9 d => Prism' d ()
x9 :: D9 d => d
-- |
-- >>> parse (parse9 <* eof) "test" "9" :: Either ParseError (Digit9 ())
-- Right (Digit9 ())
--
--
--
-- >>> parse parse9 "test" "9xyz" :: Either ParseError (Digit9 ())
-- Right (Digit9 ())
--
--
--
-- >>> isn't _Right (parse parse9 "test" "xyz" :: Either ParseError (Digit9 ()))
-- True
--
--
--
-- \c -> c /= '9' ==> isn't _Right (parse parse9 "test" [c] :: Either ParseError (Digit9 ()))
--
parse9 :: (D9 d, CharParsing p) => p d
instance Data.Digit.D9.D9 ()
instance Data.Digit.D9.D9 d => Data.Digit.D9.D9 (Data.Either.Either d x)
module Data.Digit.Digit9
newtype Digit9 a
Digit9 :: a -> Digit9 a
instance Data.Digit.Digit9.Digit9 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit9.Digit9 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit9.Digit9 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit9.Digit9 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit9.Digit9 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit9.Digit9 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit9.Digit9 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit9.Digit9 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit9.Digit9 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit9.Digit9 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit9.Digit9 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit9.Digit9 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit9.Digit9 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit9.Digit9 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit9.Digit9 a)
instance Data.Digit.D9.D9 a => Data.Digit.D9.D9 (Data.Digit.Digit9.Digit9 a)
instance GHC.Base.Functor Data.Digit.Digit9.Digit9
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit9.Digit9
instance GHC.Base.Applicative Data.Digit.Digit9.Digit9
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit9.Digit9
instance GHC.Base.Monad Data.Digit.Digit9.Digit9
instance Data.Foldable.Foldable Data.Digit.Digit9.Digit9
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit9.Digit9
instance Data.Traversable.Traversable Data.Digit.Digit9.Digit9
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit9.Digit9
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit9.Digit9 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit9.Digit9 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit9.Digit9 a) (Data.Digit.Digit9.Digit9 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit9.Digit9
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit9.Digit9
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit9.Digit9
instance Control.Lens.Each.Each (Data.Digit.Digit9.Digit9 a) (Data.Digit.Digit9.Digit9 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit9.Digit9 a)
module Data.Digit.D8
class D8 d where x8 = d8 # ()
d8 :: D8 d => Prism' d ()
x8 :: D8 d => d
-- |
-- >>> parse (parse8 <* eof) "test" "8" :: Either ParseError (Digit8 ())
-- Right (Digit8 ())
--
--
--
-- >>> parse parse8 "test" "8xyz" :: Either ParseError (Digit8 ())
-- Right (Digit8 ())
--
--
--
-- >>> isn't _Right (parse parse8 "test" "xyz" :: Either ParseError (Digit8 ()))
-- True
--
--
--
-- \c -> c /= '8' ==> isn't _Right (parse parse8 "test" [c] :: Either ParseError (Digit8 ()))
--
parse8 :: (D8 d, CharParsing p) => p d
instance Data.Digit.D8.D8 ()
instance Data.Digit.D8.D8 d => Data.Digit.D8.D8 (Data.Either.Either d x)
module Data.Digit.Digit8
newtype Digit8 a
Digit8 :: a -> Digit8 a
instance Data.Digit.Digit8.Digit8 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit8.Digit8 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit8.Digit8 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit8.Digit8 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit8.Digit8 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit8.Digit8 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit8.Digit8 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit8.Digit8 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit8.Digit8 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit8.Digit8 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit8.Digit8 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit8.Digit8 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit8.Digit8 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit8.Digit8 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit8.Digit8 a)
instance Data.Digit.D8.D8 a => Data.Digit.D8.D8 (Data.Digit.Digit8.Digit8 a)
instance GHC.Base.Functor Data.Digit.Digit8.Digit8
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit8.Digit8
instance GHC.Base.Applicative Data.Digit.Digit8.Digit8
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit8.Digit8
instance GHC.Base.Monad Data.Digit.Digit8.Digit8
instance Data.Foldable.Foldable Data.Digit.Digit8.Digit8
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit8.Digit8
instance Data.Traversable.Traversable Data.Digit.Digit8.Digit8
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit8.Digit8
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit8.Digit8 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit8.Digit8 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit8.Digit8 a) (Data.Digit.Digit8.Digit8 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit8.Digit8
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit8.Digit8
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit8.Digit8
instance Control.Lens.Each.Each (Data.Digit.Digit8.Digit8 a) (Data.Digit.Digit8.Digit8 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit8.Digit8 a)
module Data.Digit.D7
class D7 d where x7 = d7 # ()
d7 :: D7 d => Prism' d ()
x7 :: D7 d => d
-- |
-- >>> parse (parse7 <* eof) "test" "7" :: Either ParseError (Digit7 ())
-- Right (Digit7 ())
--
--
--
-- >>> parse parse7 "test" "7xyz" :: Either ParseError (Digit7 ())
-- Right (Digit7 ())
--
--
--
-- >>> isn't _Right (parse parse7 "test" "xyz" :: Either ParseError (Digit7 ()))
-- True
--
--
--
-- \c -> c /= '7' ==> isn't _Right (parse parse7 "test" [c] :: Either ParseError (Digit7 ()))
--
parse7 :: (D7 d, CharParsing p) => p d
instance Data.Digit.D7.D7 ()
instance Data.Digit.D7.D7 d => Data.Digit.D7.D7 (Data.Either.Either d x)
module Data.Digit.Digit7
newtype Digit7 a
Digit7 :: a -> Digit7 a
instance Data.Digit.Digit7.Digit7 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit7.Digit7 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit7.Digit7 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit7.Digit7 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit7.Digit7 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit7.Digit7 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit7.Digit7 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit7.Digit7 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit7.Digit7 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit7.Digit7 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit7.Digit7 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit7.Digit7 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit7.Digit7 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit7.Digit7 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit7.Digit7 a)
instance Data.Digit.D7.D7 a => Data.Digit.D7.D7 (Data.Digit.Digit7.Digit7 a)
instance GHC.Base.Functor Data.Digit.Digit7.Digit7
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit7.Digit7
instance GHC.Base.Applicative Data.Digit.Digit7.Digit7
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit7.Digit7
instance GHC.Base.Monad Data.Digit.Digit7.Digit7
instance Data.Foldable.Foldable Data.Digit.Digit7.Digit7
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit7.Digit7
instance Data.Traversable.Traversable Data.Digit.Digit7.Digit7
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit7.Digit7
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit7.Digit7 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit7.Digit7 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit7.Digit7 a) (Data.Digit.Digit7.Digit7 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit7.Digit7
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit7.Digit7
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit7.Digit7
instance Control.Lens.Each.Each (Data.Digit.Digit7.Digit7 a) (Data.Digit.Digit7.Digit7 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit7.Digit7 a)
module Data.Digit.D6
class D6 d where x6 = d6 # ()
d6 :: D6 d => Prism' d ()
x6 :: D6 d => d
-- |
-- >>> parse (parse6 <* eof) "test" "6" :: Either ParseError (Digit6 ())
-- Right (Digit6 ())
--
--
--
-- >>> parse parse6 "test" "6xyz" :: Either ParseError (Digit6 ())
-- Right (Digit6 ())
--
--
--
-- >>> isn't _Right (parse parse6 "test" "xyz" :: Either ParseError (Digit6 ()))
-- True
--
--
--
-- \c -> c /= '6' ==> isn't _Right (parse parse6 "test" [c] :: Either ParseError (Digit6 ()))
--
parse6 :: (D6 d, CharParsing p) => p d
instance Data.Digit.D6.D6 ()
instance Data.Digit.D6.D6 d => Data.Digit.D6.D6 (Data.Either.Either d x)
module Data.Digit.Digit6
newtype Digit6 a
Digit6 :: a -> Digit6 a
instance Data.Digit.Digit6.Digit6 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit6.Digit6 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit6.Digit6 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit6.Digit6 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit6.Digit6 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit6.Digit6 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit6.Digit6 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit6.Digit6 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit6.Digit6 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit6.Digit6 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit6.Digit6 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit6.Digit6 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit6.Digit6 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit6.Digit6 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit6.Digit6 a)
instance Data.Digit.D6.D6 a => Data.Digit.D6.D6 (Data.Digit.Digit6.Digit6 a)
instance GHC.Base.Functor Data.Digit.Digit6.Digit6
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit6.Digit6
instance GHC.Base.Applicative Data.Digit.Digit6.Digit6
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit6.Digit6
instance GHC.Base.Monad Data.Digit.Digit6.Digit6
instance Data.Foldable.Foldable Data.Digit.Digit6.Digit6
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit6.Digit6
instance Data.Traversable.Traversable Data.Digit.Digit6.Digit6
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit6.Digit6
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit6.Digit6 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit6.Digit6 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit6.Digit6 a) (Data.Digit.Digit6.Digit6 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit6.Digit6
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit6.Digit6
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit6.Digit6
instance Control.Lens.Each.Each (Data.Digit.Digit6.Digit6 a) (Data.Digit.Digit6.Digit6 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit6.Digit6 a)
module Data.Digit.D5
class D5 d where x5 = d5 # ()
d5 :: D5 d => Prism' d ()
x5 :: D5 d => d
-- |
-- >>> parse (parse5 <* eof) "test" "5" :: Either ParseError (Digit5 ())
-- Right (Digit5 ())
--
--
--
-- >>> parse parse5 "test" "5xyz" :: Either ParseError (Digit5 ())
-- Right (Digit5 ())
--
--
--
-- >>> isn't _Right (parse parse5 "test" "xyz" :: Either ParseError (Digit5 ()))
-- True
--
--
--
-- \c -> c /= '5' ==> isn't _Right (parse parse5 "test" [c] :: Either ParseError (Digit5 ()))
--
parse5 :: (D5 d, CharParsing p) => p d
instance Data.Digit.D5.D5 ()
instance Data.Digit.D5.D5 d => Data.Digit.D5.D5 (Data.Either.Either d x)
module Data.Digit.Digit5
newtype Digit5 a
Digit5 :: a -> Digit5 a
instance Data.Digit.Digit5.Digit5 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit5.Digit5 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit5.Digit5 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit5.Digit5 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit5.Digit5 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit5.Digit5 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit5.Digit5 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit5.Digit5 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit5.Digit5 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit5.Digit5 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit5.Digit5 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit5.Digit5 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit5.Digit5 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit5.Digit5 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit5.Digit5 a)
instance Data.Digit.D5.D5 a => Data.Digit.D5.D5 (Data.Digit.Digit5.Digit5 a)
instance GHC.Base.Functor Data.Digit.Digit5.Digit5
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit5.Digit5
instance GHC.Base.Applicative Data.Digit.Digit5.Digit5
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit5.Digit5
instance GHC.Base.Monad Data.Digit.Digit5.Digit5
instance Data.Foldable.Foldable Data.Digit.Digit5.Digit5
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit5.Digit5
instance Data.Traversable.Traversable Data.Digit.Digit5.Digit5
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit5.Digit5
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit5.Digit5 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit5.Digit5 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit5.Digit5 a) (Data.Digit.Digit5.Digit5 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit5.Digit5
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit5.Digit5
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit5.Digit5
instance Control.Lens.Each.Each (Data.Digit.Digit5.Digit5 a) (Data.Digit.Digit5.Digit5 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit5.Digit5 a)
module Data.Digit.D4
class D4 d where x4 = d4 # ()
d4 :: D4 d => Prism' d ()
x4 :: D4 d => d
-- |
-- >>> parse (parse4 <* eof) "test" "4" :: Either ParseError (Digit4 ())
-- Right (Digit4 ())
--
--
--
-- >>> parse parse4 "test" "4xyz" :: Either ParseError (Digit4 ())
-- Right (Digit4 ())
--
--
--
-- >>> isn't _Right (parse parse4 "test" "xyz" :: Either ParseError (Digit4 ()))
-- True
--
--
--
-- \c -> c /= '4' ==> isn't _Right (parse parse4 "test" [c] :: Either ParseError (Digit4 ()))
--
parse4 :: (D4 d, CharParsing p) => p d
instance Data.Digit.D4.D4 ()
instance Data.Digit.D4.D4 d => Data.Digit.D4.D4 (Data.Either.Either d x)
module Data.Digit.Digit4
newtype Digit4 a
Digit4 :: a -> Digit4 a
instance Data.Digit.Digit4.Digit4 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit4.Digit4 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit4.Digit4 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit4.Digit4 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit4.Digit4 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit4.Digit4 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit4.Digit4 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit4.Digit4 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit4.Digit4 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit4.Digit4 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit4.Digit4 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit4.Digit4 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit4.Digit4 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit4.Digit4 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit4.Digit4 a)
instance Data.Digit.D4.D4 a => Data.Digit.D4.D4 (Data.Digit.Digit4.Digit4 a)
instance GHC.Base.Functor Data.Digit.Digit4.Digit4
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit4.Digit4
instance GHC.Base.Applicative Data.Digit.Digit4.Digit4
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit4.Digit4
instance GHC.Base.Monad Data.Digit.Digit4.Digit4
instance Data.Foldable.Foldable Data.Digit.Digit4.Digit4
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit4.Digit4
instance Data.Traversable.Traversable Data.Digit.Digit4.Digit4
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit4.Digit4
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit4.Digit4 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit4.Digit4 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit4.Digit4 a) (Data.Digit.Digit4.Digit4 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit4.Digit4
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit4.Digit4
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit4.Digit4
instance Control.Lens.Each.Each (Data.Digit.Digit4.Digit4 a) (Data.Digit.Digit4.Digit4 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit4.Digit4 a)
module Data.Digit.D3
class D3 d where x3 = d3 # ()
d3 :: D3 d => Prism' d ()
x3 :: D3 d => d
-- |
-- >>> parse (parse3 <* eof) "test" "3" :: Either ParseError (Digit3 ())
-- Right (Digit3 ())
--
--
--
-- >>> parse parse3 "test" "3xyz" :: Either ParseError (Digit3 ())
-- Right (Digit3 ())
--
--
--
-- >>> isn't _Right (parse parse3 "test" "xyz" :: Either ParseError (Digit3 ()))
-- True
--
--
--
-- \c -> c /= '3' ==> isn't _Right (parse parse3 "test" [c] :: Either ParseError (Digit3 ()))
--
parse3 :: (D3 d, CharParsing p) => p d
instance Data.Digit.D3.D3 ()
instance Data.Digit.D3.D3 d => Data.Digit.D3.D3 (Data.Either.Either d x)
module Data.Digit.Digit3
newtype Digit3 a
Digit3 :: a -> Digit3 a
instance Data.Digit.Digit3.Digit3 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit3.Digit3 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit3.Digit3 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit3.Digit3 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit3.Digit3 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit3.Digit3 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit3.Digit3 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit3.Digit3 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit3.Digit3 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit3.Digit3 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit3.Digit3 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit3.Digit3 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit3.Digit3 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit3.Digit3 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit3.Digit3 a)
instance Data.Digit.D3.D3 a => Data.Digit.D3.D3 (Data.Digit.Digit3.Digit3 a)
instance GHC.Base.Functor Data.Digit.Digit3.Digit3
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit3.Digit3
instance GHC.Base.Applicative Data.Digit.Digit3.Digit3
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit3.Digit3
instance GHC.Base.Monad Data.Digit.Digit3.Digit3
instance Data.Foldable.Foldable Data.Digit.Digit3.Digit3
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit3.Digit3
instance Data.Traversable.Traversable Data.Digit.Digit3.Digit3
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit3.Digit3
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit3.Digit3 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit3.Digit3 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit3.Digit3 a) (Data.Digit.Digit3.Digit3 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit3.Digit3
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit3.Digit3
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit3.Digit3
instance Control.Lens.Each.Each (Data.Digit.Digit3.Digit3 a) (Data.Digit.Digit3.Digit3 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit3.Digit3 a)
module Data.Digit.D2
class D2 d where x2 = d2 # ()
d2 :: D2 d => Prism' d ()
x2 :: D2 d => d
-- |
-- >>> parse (parse2 <* eof) "test" "2" :: Either ParseError (Digit2 ())
-- Right (Digit2 ())
--
--
--
-- >>> parse parse2 "test" "2xyz" :: Either ParseError (Digit2 ())
-- Right (Digit2 ())
--
--
--
-- >>> isn't _Right (parse parse2 "test" "xyz" :: Either ParseError (Digit2 ()))
-- True
--
--
--
-- \c -> c /= '2' ==> isn't _Right (parse parse2 "test" [c] :: Either ParseError (Digit2 ()))
--
parse2 :: (D2 d, CharParsing p) => p d
instance Data.Digit.D2.D2 ()
instance Data.Digit.D2.D2 d => Data.Digit.D2.D2 (Data.Either.Either d x)
module Data.Digit.Digit2
newtype Digit2 a
Digit2 :: a -> Digit2 a
instance Data.Digit.Digit2.Digit2 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit2.Digit2 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit2.Digit2 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit2.Digit2 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit2.Digit2 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit2.Digit2 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit2.Digit2 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit2.Digit2 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit2.Digit2 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit2.Digit2 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit2.Digit2 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit2.Digit2 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit2.Digit2 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit2.Digit2 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit2.Digit2 a)
instance Data.Digit.D2.D2 a => Data.Digit.D2.D2 (Data.Digit.Digit2.Digit2 a)
instance GHC.Base.Functor Data.Digit.Digit2.Digit2
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit2.Digit2
instance GHC.Base.Applicative Data.Digit.Digit2.Digit2
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit2.Digit2
instance GHC.Base.Monad Data.Digit.Digit2.Digit2
instance Data.Foldable.Foldable Data.Digit.Digit2.Digit2
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit2.Digit2
instance Data.Traversable.Traversable Data.Digit.Digit2.Digit2
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit2.Digit2
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit2.Digit2 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit2.Digit2 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit2.Digit2 a) (Data.Digit.Digit2.Digit2 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit2.Digit2
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit2.Digit2
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit2.Digit2
instance Control.Lens.Each.Each (Data.Digit.Digit2.Digit2 a) (Data.Digit.Digit2.Digit2 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit2.Digit2 a)
module Data.Digit.D1
class D1 d where x1 = d1 # ()
d1 :: D1 d => Prism' d ()
x1 :: D1 d => d
-- |
-- >>> parse (parse1 <* eof) "test" "1" :: Either ParseError (Digit1 ())
-- Right (Digit1 ())
--
--
--
-- >>> parse parse1 "test" "1xyz" :: Either ParseError (Digit1 ())
-- Right (Digit1 ())
--
--
--
-- >>> isn't _Right (parse parse1 "test" "xyz" :: Either ParseError (Digit1 ()))
-- True
--
--
--
-- \c -> c /= '1' ==> isn't _Right (parse parse1 "test" [c] :: Either ParseError (Digit1 ()))
--
parse1 :: (D1 d, CharParsing p) => p d
instance Data.Digit.D1.D1 ()
instance Data.Digit.D1.D1 d => Data.Digit.D1.D1 (Data.Either.Either d x)
module Data.Digit.Digit1
newtype Digit1 a
Digit1 :: a -> Digit1 a
instance Data.Digit.Digit1.Digit1 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit1.Digit1 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit1.Digit1 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit1.Digit1 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit1.Digit1 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit1.Digit1 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit1.Digit1 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit1.Digit1 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit1.Digit1 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit1.Digit1 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit1.Digit1 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit1.Digit1 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit1.Digit1 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit1.Digit1 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit1.Digit1 a)
instance Data.Digit.D1.D1 a => Data.Digit.D1.D1 (Data.Digit.Digit1.Digit1 a)
instance GHC.Base.Functor Data.Digit.Digit1.Digit1
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit1.Digit1
instance GHC.Base.Applicative Data.Digit.Digit1.Digit1
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit1.Digit1
instance GHC.Base.Monad Data.Digit.Digit1.Digit1
instance Data.Foldable.Foldable Data.Digit.Digit1.Digit1
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit1.Digit1
instance Data.Traversable.Traversable Data.Digit.Digit1.Digit1
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit1.Digit1
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit1.Digit1 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit1.Digit1 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit1.Digit1 a) (Data.Digit.Digit1.Digit1 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit1.Digit1
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit1.Digit1
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit1.Digit1
instance Control.Lens.Each.Each (Data.Digit.Digit1.Digit1 a) (Data.Digit.Digit1.Digit1 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit1.Digit1 a)
module Data.Digit.D0
class D0 d where x0 = d0 # ()
d0 :: D0 d => Prism' d ()
x0 :: D0 d => d
-- |
-- >>> parse (parse0 <* eof) "test" "0" :: Either ParseError (Digit0 ())
-- Right (Digit0 ())
--
--
--
-- >>> parse parse0 "test" "0xyz" :: Either ParseError (Digit0 ())
-- Right (Digit0 ())
--
--
--
-- >>> isn't _Right (parse parse0 "test" "xyz" :: Either ParseError (Digit0 ()))
-- True
--
--
--
-- \c -> c /= '0' ==> isn't _Right (parse parse0 "test" [c] :: Either ParseError (Digit0 ()))
--
parse0 :: (D0 d, CharParsing p) => p d
instance Data.Digit.D0.D0 ()
instance Data.Digit.D0.D0 d => Data.Digit.D0.D0 (Data.Either.Either d x)
module Data.Digit.Decimal
type DecimalNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d)
type Decimal d = (D0 d, DecimalNoZero d)
-- |
-- >>> parse (parseDecimalNoZero <* eof) "test" "1" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "1xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimalNoZero <* eof) "test" "2" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "2xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimalNoZero <* eof) "test" "3" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "3xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimalNoZero <* eof) "test" "4" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "4xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimalNoZero <* eof) "test" "5" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "5xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimalNoZero <* eof) "test" "6" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "6xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimalNoZero <* eof) "test" "7" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "7xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimalNoZero <* eof) "test" "8" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "8xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimalNoZero <* eof) "test" "9" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimalNoZero "test" "9xyz" :: Either ParseError (DecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseDecimalNoZero "test" "xyz" :: Either ParseError (DecimalNoZeroDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "123456789") ==> isn't _Right (parse parseDecimalNoZero "test" [c] :: Either ParseError (DecimalNoZeroDigit' ()))
--
parseDecimalNoZero :: (DecimalNoZero d, CharParsing p) => p d
-- |
-- >>> parse (parseDecimal <* eof) "test" "0" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "0xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "1" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "1xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "2" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "2xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "3" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "3xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "4" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "4xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "5" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "5xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "6" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "6xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "7" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "7xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "8" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "8xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseDecimal <* eof) "test" "9" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseDecimal "test" "9xyz" :: Either ParseError (DecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseDecimal "test" "xyz" :: Either ParseError (DecimalDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "0123456789") ==> isn't _Right (parse parseDecimal "test" [c] :: Either ParseError (DecimalDigit' ()))
--
parseDecimal :: (Decimal d, CharParsing p) => p d
type DecimalNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 = Either d1 (Either d2 (Either d3 (Either d4 (Either d5 (Either d5 (Either d6 (Either d7 (Either d8 (Either d9 Void)))))))))
type DecimalNoZeroDigit' d = DecimalNoZeroDigit d d d d d d d d d
type DecimalDigit d0 d1 d2 d3 d4 d5 d6 d7 d8 d9 = Either d0 (DecimalNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9)
type DecimalDigit' d = DecimalDigit d d d d d d d d d d
module Data.Digit.Digit0
newtype Digit0 a
Digit0 :: a -> Digit0 a
instance Data.Digit.Digit0.Digit0 a0 ~ t0 => Control.Lens.Wrapped.Rewrapped (Data.Digit.Digit0.Digit0 a1) t0
instance Control.Lens.Wrapped.Wrapped (Data.Digit.Digit0.Digit0 a0)
instance GHC.Real.RealFrac a => GHC.Real.RealFrac (Data.Digit.Digit0.Digit0 a)
instance GHC.Float.RealFloat a => GHC.Float.RealFloat (Data.Digit.Digit0.Digit0 a)
instance GHC.Real.Real a => GHC.Real.Real (Data.Digit.Digit0.Digit0 a)
instance GHC.Real.Integral a => GHC.Real.Integral (Data.Digit.Digit0.Digit0 a)
instance GHC.Num.Num a => GHC.Num.Num (Data.Digit.Digit0.Digit0 a)
instance GHC.Real.Fractional a => GHC.Real.Fractional (Data.Digit.Digit0.Digit0 a)
instance GHC.Float.Floating a => GHC.Float.Floating (Data.Digit.Digit0.Digit0 a)
instance GHC.Enum.Enum a => GHC.Enum.Enum (Data.Digit.Digit0.Digit0 a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Digit.Digit0.Digit0 a)
instance GHC.Enum.Bounded a => GHC.Enum.Bounded (Data.Digit.Digit0.Digit0 a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Digit.Digit0.Digit0 a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Digit.Digit0.Digit0 a)
instance Data.Digit.D0.D0 a => Data.Digit.D0.D0 (Data.Digit.Digit0.Digit0 a)
instance GHC.Base.Functor Data.Digit.Digit0.Digit0
instance Data.Functor.Bind.Class.Apply Data.Digit.Digit0.Digit0
instance GHC.Base.Applicative Data.Digit.Digit0.Digit0
instance Data.Functor.Bind.Class.Bind Data.Digit.Digit0.Digit0
instance GHC.Base.Monad Data.Digit.Digit0.Digit0
instance Data.Foldable.Foldable Data.Digit.Digit0.Digit0
instance Data.Semigroup.Foldable.Class.Foldable1 Data.Digit.Digit0.Digit0
instance Data.Traversable.Traversable Data.Digit.Digit0.Digit0
instance Data.Semigroup.Traversable.Class.Traversable1 Data.Digit.Digit0.Digit0
instance Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Digit.Digit0.Digit0 a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Data.Digit.Digit0.Digit0 a)
instance Control.Lens.Tuple.Field1 (Data.Digit.Digit0.Digit0 a) (Data.Digit.Digit0.Digit0 b) a b
instance Control.Lens.Indexed.FunctorWithIndex () Data.Digit.Digit0.Digit0
instance Control.Lens.Indexed.FoldableWithIndex () Data.Digit.Digit0.Digit0
instance Control.Lens.Indexed.TraversableWithIndex () Data.Digit.Digit0.Digit0
instance Control.Lens.Each.Each (Data.Digit.Digit0.Digit0 a) (Data.Digit.Digit0.Digit0 b) a b
instance Control.Lens.At.Ixed (Data.Digit.Digit0.Digit0 a)
module Data.Digit.HEXADECIMAL
type HEXADECIMALNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d, DA d, DB d, DC d, DD d, DE d, DF d)
type HEXADECIMAL d = (D0 d, HEXADECIMALNoZero d)
-- |
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "1" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "1xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "2" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "2xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "3" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "3xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "4" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "4xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "5" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "5xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "6" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "6xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "7" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "7xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "8" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "8xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "9" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "9xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "A" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "Axyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "B" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "Bxyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "C" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "Cxyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "D" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "Dxyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "E" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "Exyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMALNoZero <* eof) "test" "F" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMALNoZero "test" "Fxyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseHEXADECIMALNoZero "test" "xyz" :: Either ParseError (HEXADECIMALNoZeroDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "123456789ABCDEF") ==> isn't _Right (parse parseHEXADECIMALNoZero "test" [c] :: Either ParseError (HEXADECIMALNoZeroDigit' ()))
--
parseHEXADECIMALNoZero :: (HEXADECIMALNoZero d, CharParsing p) => p d
-- |
-- >>> parse (parseHEXADECIMAL <* eof) "test" "0" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "0xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "1" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "1xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "2" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "2xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "3" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "3xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "4" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "4xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "5" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "5xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "6" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "6xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "7" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "7xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "8" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "8xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "9" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "9xyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "A" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "Axyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "B" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "Bxyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "C" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "Cxyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "D" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "Dxyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "E" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "Exyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHEXADECIMAL <* eof) "test" "F" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHEXADECIMAL "test" "Fxyz" :: Either ParseError (HEXADECIMALDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseHEXADECIMAL "test" "xyz" :: Either ParseError (HEXADECIMALDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "0123456789ABCDEF") ==> isn't _Right (parse parseHEXADECIMAL "test" [c] :: Either ParseError (HEXADECIMALDigit' ()))
--
parseHEXADECIMAL :: (HEXADECIMAL d, CharParsing p) => p d
type HEXADECIMALNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 dA dB dC dD dE dF = Either d1 (Either d2 (Either d3 (Either d4 (Either d5 (Either d5 (Either d6 (Either d7 (Either d8 (Either d9 (Either dA (Either dB (Either dC (Either dD (Either dE (Either dF Void)))))))))))))))
type HEXADECIMALNoZeroDigit' d = HEXADECIMALNoZeroDigit d d d d d d d d d d d d d d d
type HEXADECIMALDigit d0 d1 d2 d3 d4 d5 d6 d7 d8 d9 dA dB dC dD dE dF = Either d0 (HEXADECIMALNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 dA dB dC dD dE dF)
type HEXADECIMALDigit' d = HEXADECIMALDigit d d d d d d d d d d d d d d d d
module Data.Digit.HeXaDeCiMaL
type HeXaDeCiMaLNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d, DA d, DB d, DC d, DD d, DE d, DF d, Da d, Db d, Dc d, Dd d, De d, De d, Df d)
type HeXaDeCiMaL d = (D0 d, HeXaDeCiMaLNoZero d)
-- |
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "1" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "1xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "2" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "2xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "3" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "3xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "4" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "4xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "5" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "5xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "6" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "6xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "7" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "7xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "8" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "8xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "9" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "9xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "a" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "axyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "b" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "bxyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "c" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "cxyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "d" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "dxyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "e" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "exyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "f" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "fxyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "A" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "Axyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "B" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "Bxyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "C" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "Cxyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "D" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "Dxyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "E" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "Exyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaLNoZero <* eof) "test" "F" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaLNoZero "test" "Fxyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseHeXaDeCiMaLNoZero "test" "xyz" :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "123456789abcdefABCDEF") ==> isn't _Right (parse parseHeXaDeCiMaLNoZero "test" [c] :: Either ParseError (HeXaDeCiMaLNoZeroDigit' ()))
--
parseHeXaDeCiMaLNoZero :: (HeXaDeCiMaLNoZero d, CharParsing p) => p d
-- |
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "1" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "1xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "2" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "2xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "3" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "3xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "4" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "4xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "5" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "5xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "6" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "6xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "7" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "7xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "8" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "8xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "9" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "9xyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "a" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "axyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "b" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "bxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "c" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "cxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "d" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "dxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "e" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "exyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "f" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "fxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "A" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "Axyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "B" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "Bxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "C" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "Cxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "D" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "Dxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "E" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "Exyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHeXaDeCiMaL <* eof) "test" "F" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHeXaDeCiMaL "test" "Fxyz" :: Either ParseError (HeXaDeCiMaLDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseHeXaDeCiMaL "test" "xyz" :: Either ParseError (HeXaDeCiMaLDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "0123456789abcdefABCDEF") ==> isn't _Right (parse parseHeXaDeCiMaL "test" [c] :: Either ParseError (HeXaDeCiMaLDigit' ()))
--
parseHeXaDeCiMaL :: (HeXaDeCiMaL d, CharParsing p) => p d
type HeXaDeCiMaLNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 da db dc dd de df dA dB dC dD dE dF = Either d1 (Either d2 (Either d3 (Either d4 (Either d5 (Either d5 (Either d6 (Either d7 (Either d8 (Either d9 (Either da (Either db (Either dc (Either dd (Either de (Either df (Either dA (Either dB (Either dC (Either dD (Either dE (Either dF Void)))))))))))))))))))))
type HeXaDeCiMaLNoZeroDigit' d = HeXaDeCiMaLNoZeroDigit d d d d d d d d d d d d d d d d d d d d d
type HeXaDeCiMaLDigit d0 d1 d2 d3 d4 d5 d6 d7 d8 d9 da db dc dd de df dA dB dC dD dE dF = Either d0 (HeXaDeCiMaLNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 da db dc dd de df dA dB dC dD dE dF)
type HeXaDeCiMaLDigit' d = HeXaDeCiMaLDigit d d d d d d d d d d d d d d d d d d d d d d
module Data.Digit.Hexadecimal
type HexadecimalNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d, Da d, Db d, Dc d, Dd d, De d, De d, Df d)
type Hexadecimal d = (D0 d, HexadecimalNoZero d)
-- |
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "1" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "1xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "2" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "2xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "3" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "3xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "4" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "4xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "5" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "5xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "6" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "6xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "7" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "7xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "8" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "8xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "9" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "9xyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "a" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "axyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "b" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "bxyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "c" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "cxyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "d" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "dxyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "e" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "exyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimalNoZero <* eof) "test" "f" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimalNoZero "test" "fxyz" :: Either ParseError (HexadecimalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseHexadecimalNoZero "test" "xyz" :: Either ParseError (HexadecimalNoZeroDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "123456789abcdef") ==> isn't _Right (parse parseHexadecimalNoZero "test" [c] :: Either ParseError (HexadecimalNoZeroDigit' ()))
--
parseHexadecimalNoZero :: (HexadecimalNoZero d, CharParsing p) => p d
-- |
-- >>> parse (parseHexadecimal <* eof) "test" "0" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "0xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "0" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "0xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "2" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "2xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "3" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "3xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "4" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "4xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "5" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "5xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "6" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "6xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "7" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "7xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "8" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "8xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "9" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "9xyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "a" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "axyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "b" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "bxyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "c" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "cxyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "d" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "dxyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "e" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "exyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseHexadecimal <* eof) "test" "f" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseHexadecimal "test" "fxyz" :: Either ParseError (HexadecimalDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseHexadecimal "test" "xyz" :: Either ParseError (HexadecimalDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "0123456789abcdef") ==> isn't _Right (parse parseHexadecimal "test" [c] :: Either ParseError (HexadecimalDigit' ()))
--
parseHexadecimal :: (Hexadecimal d, CharParsing p) => p d
type HexadecimalNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 da db dc dd de df = Either d1 (Either d2 (Either d3 (Either d4 (Either d5 (Either d5 (Either d6 (Either d7 (Either d8 (Either d9 (Either da (Either db (Either dc (Either dd (Either de (Either df Void)))))))))))))))
type HexadecimalNoZeroDigit' d = HexadecimalNoZeroDigit d d d d d d d d d d d d d d d
type HexadecimalDigit d0 d1 d2 d3 d4 d5 d6 d7 d8 d9 da db dc dd de df = Either d0 (HexadecimalNoZeroDigit d1 d2 d3 d4 d5 d6 d7 d8 d9 da db dc dd de df)
type HexadecimalDigit' d = HexadecimalDigit d d d d d d d d d d d d d d d d
module Data.Digit.Octal
type OctalNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d)
type Octal d = (D0 d, OctalNoZero d)
-- |
-- >>> parse (parseOctalNoZero <* eof) "test" "1" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctalNoZero "test" "1xyz" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctalNoZero <* eof) "test" "2" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctalNoZero "test" "2xyz" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctalNoZero <* eof) "test" "3" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctalNoZero "test" "3xyz" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctalNoZero <* eof) "test" "4" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctalNoZero "test" "4xyz" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctalNoZero <* eof) "test" "5" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctalNoZero "test" "5xyz" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctalNoZero <* eof) "test" "6" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctalNoZero "test" "6xyz" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctalNoZero <* eof) "test" "7" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctalNoZero "test" "7xyz" :: Either ParseError (OctalNoZeroDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseOctalNoZero "test" "xyz" :: Either ParseError (OctalNoZeroDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "1234567") ==> isn't _Right (parse parseOctalNoZero "test" [c] :: Either ParseError (OctalNoZeroDigit' ()))
--
parseOctalNoZero :: (OctalNoZero d, CharParsing p) => p d
-- |
-- >>> parse (parseOctal <* eof) "test" "0" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctal "test" "1xyz" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctal <* eof) "test" "0" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctal "test" "1xyz" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctal <* eof) "test" "2" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctal "test" "2xyz" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctal <* eof) "test" "3" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctal "test" "3xyz" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctal <* eof) "test" "4" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctal "test" "4xyz" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctal <* eof) "test" "5" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctal "test" "5xyz" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctal <* eof) "test" "6" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctal "test" "6xyz" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseOctal <* eof) "test" "7" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseOctal "test" "7xyz" :: Either ParseError (OctalDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseOctal "test" "xyz" :: Either ParseError (OctalDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "01234567") ==> isn't _Right (parse parseOctal "test" [c] :: Either ParseError (OctalDigit' ()))
--
parseOctal :: (Octal d, CharParsing p) => p d
type OctalNoZeroDigit d1 d2 d3 d4 d5 d6 d7 = Either d1 (Either d2 (Either d3 (Either d4 (Either d5 (Either d5 (Either d6 (Either d7 Void)))))))
type OctalNoZeroDigit' d = OctalNoZeroDigit d d d d d d d
type OctalDigit d0 d1 d2 d3 d4 d5 d6 d7 = Either d0 (OctalNoZeroDigit d1 d2 d3 d4 d5 d6 d7)
type OctalDigit' d = OctalDigit d d d d d d d d
module Data.Digit.Binary
type BinaryNoZero d = D1 d
type Binary d = (D0 d, BinaryNoZero d)
-- |
-- >>> parse (parseBinaryNoZero <* eof) "test" "1" :: Either ParseError (Digit1 ())
-- Right (Digit1 ())
--
--
--
-- >>> parse parseBinaryNoZero "test" "1xyz" :: Either ParseError (Digit1 ())
-- Right (Digit1 ())
--
--
--
-- >>> isn't _Right (parse parseBinaryNoZero "test" "xyz" :: Either ParseError (Digit1 ()))
-- True
--
--
--
-- \c -> (c `notElem` "1") ==> isn't _Right (parse parseBinaryNoZero "test" [c] :: Either ParseError (Digit1 ()))
--
parseBinaryNoZero :: (BinaryNoZero d, CharParsing p) => p d
-- |
-- >>> parse (parseBinary <* eof) "test" "0" :: Either ParseError (BinaryDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseBinary "test" "0xyz" :: Either ParseError (BinaryDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse (parseBinary <* eof) "test" "1" :: Either ParseError (BinaryDigit' ())
-- Right (Left ())
--
--
--
-- >>> parse parseBinary "test" "1xyz" :: Either ParseError (BinaryDigit' ())
-- Right (Left ())
--
--
--
-- >>> isn't _Right (parse parseBinary "test" "xyz" :: Either ParseError (BinaryDigit' ()))
-- True
--
--
--
-- \c -> (c `notElem` "01") ==> isn't _Right (parse parseBinary "test" [c] :: Either ParseError (BinaryDigit' ()))
--
parseBinary :: (Binary d, CharParsing p) => p d
type BinaryNoZeroDigit d1 = Either d1 Void
type BinaryDigit d0 d1 = Either d0 (BinaryNoZeroDigit d1)
type BinaryDigit' d = BinaryDigit d d
module Data.Digit