Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Function a => Function (Latin a) Source # | |
Data a => Data (Latin a) Source # | |
Defined in Internal.Test.QuickCheck.Quid.Representations.Latin 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 # | |
Defined in Internal.Test.QuickCheck.Quid.Representations.Latin fromString :: String -> Latin Quid # | |
Generic (Latin a) Source # | |
Read (Latin Quid) Source # | |
Show (Latin Quid) Source # | |
NFData a => NFData (Latin a) Source # | |
Eq a => Eq (Latin a) Source # | |
Ord a => Ord (Latin a) Source # | |
Hashable a => Hashable (Latin a) Source # | |
type Rep (Latin a) Source # | |
Instances
Arbitrary LatinChar Source # | |
Bounded LatinChar Source # | |
Enum LatinChar Source # | |
Defined in Internal.Test.QuickCheck.Quid.Representations.Latin succ :: LatinChar -> LatinChar # pred :: LatinChar -> LatinChar # fromEnum :: LatinChar -> Int # enumFrom :: LatinChar -> [LatinChar] # enumFromThen :: LatinChar -> LatinChar -> [LatinChar] # enumFromTo :: LatinChar -> LatinChar -> [LatinChar] # enumFromThenTo :: LatinChar -> LatinChar -> LatinChar -> [LatinChar] # | |
Read LatinChar Source # | |
Show LatinChar Source # | |
Eq LatinChar Source # | |
Ord LatinChar Source # | |
shrinkLatinChar :: LatinChar -> [LatinChar] Source #
latinCharToChar :: LatinChar -> Char Source #
newtype LatinString Source #
Instances
shrinkLatinString :: LatinString -> [LatinString] Source #
latinStringToQuid :: LatinString -> Quid Source #