Safe Haskell	Safe-Inferred
Language	Haskell2010

Internal.Test.QuickCheck.Quid.Representations.Latin

Documentation

newtype Latin a Source #

Constructors

Latin
Fields unLatin :: a

Instances

Instances details

Function a => Function (Latin a) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods function :: (Latin a -> b) -> Latin a :-> b #
Data a => Data (Latin a) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Latin a -> c (Latin a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Latin a) # toConstr :: Latin a -> Constr # dataTypeOf :: Latin a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Latin a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Latin a)) # gmapT :: (forall b. Data b => b -> b) -> Latin a -> Latin a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Latin a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Latin a -> r # gmapQ :: (forall d. Data d => d -> u) -> Latin a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Latin a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Latin a -> m (Latin a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Latin a -> m (Latin a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Latin a -> m (Latin a) #
IsString (Latin Quid) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods fromString :: String -> Latin Quid #
Generic (Latin a) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Associated Types type Rep (Latin a) :: Type -> Type # Methods from :: Latin a -> Rep (Latin a) x # to :: Rep (Latin a) x -> Latin a #
Read (Latin Quid) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods readsPrec :: Int -> ReadS (Latin Quid) # readList :: ReadS [Latin Quid] # readPrec :: ReadPrec (Latin Quid) # readListPrec :: ReadPrec [Latin Quid] #
Show (Latin Quid) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods showsPrec :: Int -> Latin Quid -> ShowS # show :: Latin Quid -> String # showList :: [Latin Quid] -> ShowS #
NFData a => NFData (Latin a) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods rnf :: Latin a -> () #
Eq a => Eq (Latin a) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods (==) :: Latin a -> Latin a -> Bool # (/=) :: Latin a -> Latin a -> Bool #
Ord a => Ord (Latin a) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods compare :: Latin a -> Latin a -> Ordering # (<) :: Latin a -> Latin a -> Bool # (<=) :: Latin a -> Latin a -> Bool # (>) :: Latin a -> Latin a -> Bool # (>=) :: Latin a -> Latin a -> Bool # max :: Latin a -> Latin a -> Latin a # min :: Latin a -> Latin a -> Latin a #
Hashable a => Hashable (Latin a) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods hashWithSalt :: Int -> Latin a -> Int # hash :: Latin a -> Int #
type Rep (Latin a) Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin type Rep (Latin a) = D1 ('MetaData "Latin" "Internal.Test.QuickCheck.Quid.Representations.Latin" "quickcheck-quid-0.0.1.3-HF4t8PMmvVoExbFrFadO1K-internal" 'True) (C1 ('MetaCons "Latin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLatin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data LatinChar Source #

Constructors

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

Instances

Instances details

Arbitrary LatinChar Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods arbitrary :: Gen LatinChar # shrink :: LatinChar -> [LatinChar] #
Bounded LatinChar Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods minBound :: LatinChar # maxBound :: LatinChar #
Enum LatinChar Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods succ :: LatinChar -> LatinChar # pred :: LatinChar -> LatinChar # toEnum :: Int -> LatinChar # fromEnum :: LatinChar -> Int # enumFrom :: LatinChar -> [LatinChar] # enumFromThen :: LatinChar -> LatinChar -> [LatinChar] # enumFromTo :: LatinChar -> LatinChar -> [LatinChar] # enumFromThenTo :: LatinChar -> LatinChar -> LatinChar -> [LatinChar] #
Read LatinChar Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods readsPrec :: Int -> ReadS LatinChar # readList :: ReadS [LatinChar] # readPrec :: ReadPrec LatinChar # readListPrec :: ReadPrec [LatinChar] #
Show LatinChar Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods showsPrec :: Int -> LatinChar -> ShowS # show :: LatinChar -> String # showList :: [LatinChar] -> ShowS #
Eq LatinChar Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods (==) :: LatinChar -> LatinChar -> Bool # (/=) :: LatinChar -> LatinChar -> Bool #
Ord LatinChar Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods compare :: LatinChar -> LatinChar -> Ordering # (<) :: LatinChar -> LatinChar -> Bool # (<=) :: LatinChar -> LatinChar -> Bool # (>) :: LatinChar -> LatinChar -> Bool # (>=) :: LatinChar -> LatinChar -> Bool # max :: LatinChar -> LatinChar -> LatinChar # min :: LatinChar -> LatinChar -> LatinChar #

arbitraryLatinChar :: Gen LatinChar Source #

shrinkLatinChar :: LatinChar -> [LatinChar] Source #

charToLatinChar :: Char -> Maybe LatinChar Source #

latinCharToChar :: LatinChar -> Char Source #

newtype LatinString Source #

Constructors

LatinString
Fields unLatinString :: NonEmpty LatinChar

Instances

Instances details

Arbitrary LatinString Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods arbitrary :: Gen LatinString # shrink :: LatinString -> [LatinString] #
IsString LatinString Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods fromString :: String -> LatinString #
Semigroup LatinString Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods (<>) :: LatinString -> LatinString -> LatinString # sconcat :: NonEmpty LatinString -> LatinString # stimes :: Integral b => b -> LatinString -> LatinString #
Read LatinString Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods readsPrec :: Int -> ReadS LatinString # readList :: ReadS [LatinString] # readPrec :: ReadPrec LatinString # readListPrec :: ReadPrec [LatinString] #
Show LatinString Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods showsPrec :: Int -> LatinString -> ShowS # show :: LatinString -> String # showList :: [LatinString] -> ShowS #
Eq LatinString Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods (==) :: LatinString -> LatinString -> Bool # (/=) :: LatinString -> LatinString -> Bool #
Ord LatinString Source #
Instance details Defined in Internal.Test.QuickCheck.Quid.Representations.Latin Methods compare :: LatinString -> LatinString -> Ordering # (<) :: LatinString -> LatinString -> Bool # (<=) :: LatinString -> LatinString -> Bool # (>) :: LatinString -> LatinString -> Bool # (>=) :: LatinString -> LatinString -> Bool # max :: LatinString -> LatinString -> LatinString # min :: LatinString -> LatinString -> LatinString #

latinStringToString :: LatinString -> String Source #

stringToLatinString :: String -> Maybe LatinString Source #

unsafeStringtoLatinString :: String -> LatinString Source #

arbitraryLatinString :: Gen LatinString Source #

shrinkLatinString :: LatinString -> [LatinString] Source #

latinStringToQuid :: LatinString -> Quid Source #

latinStringFromQuid :: Quid -> LatinString Source #