Safe Haskell	None
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)
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.8-2PIrJtwfxI777sRjSN1XKk-internal" 'True) (C1 ('MetaCons "Latin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLatin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

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.8-2PIrJtwfxI777sRjSN1XKk-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 #