{-# LANGUAGE NoImplicitPrelude #-}
module Data.Digit.Class.LowerCase (
Da(..)
, Db(..)
, Dc(..)
, Dd(..)
, De(..)
, Df(..)
, parsea
, parseb
, parsec
, parsed
, parsee
, parsef
) where
import Control.Category (id)
import Control.Lens (Prism', ( # ))
import Data.Functor ((<$))
import Text.Parser.Char (CharParsing, char)
import Text.Parser.Combinators ((<?>))
class Da d where
da ::
Prism'
d
()
xa ::
d
xa =
forall d. Da d => Prism' d ()
da forall t b. AReview t b -> b -> t
# ()
instance Da () where
da :: Prism' () ()
da =
forall {k} (cat :: k -> k -> *) (a :: k). Category cat => cat a a
id
class Db d where
db ::
Prism'
d
()
xb ::
d
xb =
forall d. Db d => Prism' d ()
db forall t b. AReview t b -> b -> t
# ()
instance Db () where
db :: Prism' () ()
db =
forall {k} (cat :: k -> k -> *) (a :: k). Category cat => cat a a
id
class Dc d where
dc ::
Prism'
d
()
xc ::
d
xc =
forall d. Dc d => Prism' d ()
dc forall t b. AReview t b -> b -> t
# ()
instance Dc () where
dc :: Prism' () ()
dc =
forall {k} (cat :: k -> k -> *) (a :: k). Category cat => cat a a
id
class Dd d where
dd ::
Prism'
d
()
xd ::
d
xd =
forall d. Dd d => Prism' d ()
dd forall t b. AReview t b -> b -> t
# ()
instance Dd () where
dd :: Prism' () ()
dd =
forall {k} (cat :: k -> k -> *) (a :: k). Category cat => cat a a
id
class De d where
de ::
Prism'
d
()
xe ::
d
xe =
forall d. De d => Prism' d ()
de forall t b. AReview t b -> b -> t
# ()
instance De () where
de :: Prism' () ()
de =
forall {k} (cat :: k -> k -> *) (a :: k). Category cat => cat a a
id
class Df d where
df ::
Prism'
d
()
xf ::
d
xf =
forall d. Df d => Prism' d ()
df forall t b. AReview t b -> b -> t
# ()
instance Df () where
df :: Prism' () ()
df =
forall {k} (cat :: k -> k -> *) (a :: k). Category cat => cat a a
id
parsea ::
(Da d, CharParsing p) =>
p d
parsea :: forall d (p :: * -> *). (Da d, CharParsing p) => p d
parsea =
forall d. Da d => d
xa forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall (m :: * -> *). CharParsing m => Char -> m Char
char Char
'a' forall (m :: * -> *) a. Parsing m => m a -> String -> m a
<?> String
"a"
parseb ::
(Db d, CharParsing p) =>
p d
parseb :: forall d (p :: * -> *). (Db d, CharParsing p) => p d
parseb =
forall d. Db d => d
xb forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall (m :: * -> *). CharParsing m => Char -> m Char
char Char
'b' forall (m :: * -> *) a. Parsing m => m a -> String -> m a
<?> String
"b"
parsec ::
(Dc d, CharParsing p) =>
p d
parsec :: forall d (p :: * -> *). (Dc d, CharParsing p) => p d
parsec =
forall d. Dc d => d
xc forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall (m :: * -> *). CharParsing m => Char -> m Char
char Char
'c' forall (m :: * -> *) a. Parsing m => m a -> String -> m a
<?> String
"c"
parsed ::
(Dd d, CharParsing p) =>
p d
parsed :: forall d (p :: * -> *). (Dd d, CharParsing p) => p d
parsed =
forall d. Dd d => d
xd forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall (m :: * -> *). CharParsing m => Char -> m Char
char Char
'd' forall (m :: * -> *) a. Parsing m => m a -> String -> m a
<?> String
"d"
parsee ::
(De d, CharParsing p) =>
p d
parsee :: forall d (p :: * -> *). (De d, CharParsing p) => p d
parsee =
forall d. De d => d
xe forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall (m :: * -> *). CharParsing m => Char -> m Char
char Char
'e' forall (m :: * -> *) a. Parsing m => m a -> String -> m a
<?> String
"e"
parsef ::
(Df d, CharParsing p) =>
p d
parsef :: forall d (p :: * -> *). (Df d, CharParsing p) => p d
parsef =
forall d. Df d => d
xf forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ forall (m :: * -> *). CharParsing m => Char -> m Char
char Char
'f' forall (m :: * -> *) a. Parsing m => m a -> String -> m a
<?> String
"f"