Data.Functor.Classes

instance (Eq1 f) => Eq1 (T f) where ...
instance (Ord1 f) => Ord1 (T f) where ...
instance (Read1 f) => Read1 (T f) where ...
instance (Show1 f) => Show1 (T f) where ...

instance (Eq1 f, Eq a) => Eq (T f a) where (==) = eq1
instance (Ord1 f, Ord a) => Ord (T f a) where compare = compare1
instance (Read1 f, Read a) => Read (T f a) where
  readPrec     = readPrec1
  readListPrec = readListPrecDefault
instance (Show1 f, Show a) => Show (T f a) where showsPrec = showsPrec1

class Eq1 f where Исходный код

Подъем класса Eq к унарным конструкторам типов.

С момента: base-4.9.0.0

eq1 :: (Eq1 f, Eq a) => f a -> f a -> Bool Исходный код

Поднимает стандартную (==) функцию через конструктор типа.

Since: base-4.9.0.0

class Eq1 f => Ord1 f where Исходный код

Поднятие класса Ord к унарным конструкторам типов.

Since: base-4.9.0.0

compare1 :: (Ord1 f, Ord a) => f a -> f a -> Порядок Исходный код

Поднять стандартную compare функцию через конструктор типа.

С момента: base-4.9.0.0

class Read1 f where Исходный код

Поднятие класса Read к унарным конструкторам типов.

Как liftReadsPrec, так и liftReadPrec существуют для соответствия интерфейсу, предоставленному в классе Read типов, но рекомендуется реализовывать экземпляры Read1 с использованием liftReadPrec, а не liftReadsPrec, так как первое более эффективно, чем последнее. Например:

instance Read1 T where
  liftReadPrec     = ...
  liftReadListPrec = liftReadListPrecDefault

Дополнительную информацию можно найти в документации для класса Read.

С момента: base-4.9.0.0

readsPrec1 :: (Read1 f, Read a) => Int -> ReadS (f a) Исходный код

Поднять стандартные функции readsPrec и readList через конструктор типа.

С версии: base-4.9.0.0

readPrec1 :: (Read1 f, Read a) => ReadPrec (f a) Исходный код

Поднять стандартные функции readPrec и readListPrec через конструктор типа.

С версии: base-4.10.0.0

liftReadListDefault :: Read1 f => (Int -> ReadS a) -> ReadS [a] -> ReadS [f a] Исходный код

Возможная замена определения для метода liftReadList. Это необходимо только для экземпляров Read1, где liftReadListPrec не определено как liftReadListPrecDefault.

С момента выпуска: base-4.10.0.0

liftReadListPrecDefault :: Read1 f => ReadPrec a -> ReadPrec [a] -> ReadPrec [f a] Источник

Возможная замена определения для метода liftReadListPrec, определённого с использованием liftReadPrec.

С момента выпуска: base-4.10.0.0

class Show1 f where Источник

Поднятие класса Show к унарным конструкторам типов.

С момента выпуска: base-4.9.0.0

showsPrec1 :: (Show1 f, Show a) => Целое -> f a -> ShowS Исходный код

Поднимает стандартные функции showsPrec и showList через конструктор типа.

С момента: base-4.9.0.0

class Eq2 f where Исходный код

Поднятие класса Eq к бинарным конструкторам типов.

С момента: base-4.9.0.0

eq2 :: (Eq2 f, Eq a, Eq b) => f a b -> f a b -> Bool Исходный код

Поднять стандартную (==) функцию через конструктор типа.

С момента: base-4.9.0.0

class Eq2 f => Ord2 f where Исходный код

Поднятие класса Ord к бинарным конструкторам типов.

С момента: base-4.9.0.0

compare2 :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Ordering Исходный код

Поднять стандартную compare функцию через конструктор типа.

С момента: base-4.9.0.0

class Read2 f where Исходный код

Поднятие класса Read к бинарным конструкторам типов.

Как liftReadsPrec2, так и liftReadPrec2 существуют для соответствия интерфейсу, предоставляемому в классе Read типов, но рекомендуется реализовывать экземпляры Read2 с использованием liftReadPrec2 вместо liftReadsPrec2, поскольку первый вариант более эффективен, чем второй. Например:

instance Read2 T where
  liftReadPrec2     = ...
  liftReadListPrec2 = liftReadListPrec2Default

Дополнительную информацию см. в документации к классу Read. @с момента 4.9.0.0

readsPrec2 :: (Read2 f, Read a, Read b) => Int -> ReadS (f a b) Источник

Поднять стандартную readsPrec функцию через конструктор типа.

С момента: base-4.9.0.0

readPrec2 :: (Read2 f, Read a, Read b) => ReadPrec (f a b) Источник

Поднять стандартную readPrec функцию через конструктор типа.

С момента: base-4.10.0.0

liftReadList2Default :: Read2 f => (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [f a b] Источник

Возможная замена определения для метода liftReadList2. Это необходимо только для экземпляров Read2, где liftReadListPrec2 не определена как liftReadListPrec2Default.

С момента: base-4.10.0.0

liftReadListPrec2Default :: Read2 f => ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [f a b] Источник

Возможная замена определения для метода liftReadListPrec2, определённого с использованием liftReadPrec2.

С момента: base-4.10.0.0

class Show2 f where Источник

Поднятие класса Show к бинарным конструкторам типов.

С момента: base-4.9.0.0

showsPrec2 :: (Show2 f, Show a, Show b) => Int -> f a b -> ShowS Исходный код

Поднимает стандартную showsPrec функцию через конструктор типа.

С версии: base-4.9.0.0

Эти функции могут использоваться для сборки Read и Show примеров использования для новых алгебраических типов. Например, при определении

data T f a = Zero a | One (f a) | Two a (f a)

стандартный Read1 пример использования может быть определён как

instance (Read1 f) => Read1 (T f) where
    liftReadPrec rp rl = readData $
        readUnaryWith rp "Zero" Zero <|>
        readUnaryWith (liftReadPrec rp rl) "One" One <|>
        readBinaryWith rp (liftReadPrec rp rl) "Two" Two
    liftReadListPrec = liftReadListPrecDefault

и соответствующий Show1 пример использования как

instance (Show1 f) => Show1 (T f) where
    liftShowsPrec sp _ d (Zero x) =
        showsUnaryWith sp "Zero" d x
    liftShowsPrec sp sl d (One x) =
        showsUnaryWith (liftShowsPrec sp sl) "One" d x
    liftShowsPrec sp sl d (Two x y) =
        showsBinaryWith sp (liftShowsPrec sp sl) "Two" d x y

readsData :: (Строка -> ReadS a) -> Int -> ReadS a Исходный код

readsData p d — это парсер для типов данных, где каждый вариант начинается с конструктора данных. Он анализирует конструктор и передает его в p. Парсеры для различных конструкторов могут быть построены с помощью readsUnary, readsUnary1 и readsBinary1, и объединены с mappend из класса Monoid.

С версии: base-4.9.0.0

readData :: ReadPrec a -> ReadPrec a Исходный код

readData p — это парсер для типов данных, где каждый вариант начинается с конструктора данных. Он анализирует конструктор и передает его в p. Парсеры для различных конструкторов могут быть построены с помощью readUnaryWith и readBinaryWith, и объединены с (<|>) из класса Alternative.

С версии: base-4.10.0.0

readsUnaryWith :: (Int -> ReadS a) -> Строка -> (a -> t) -> Строка -> ReadS t Исходный код

readsUnaryWith rp n c n' соответствует имени одноместного конструктора данных, а затем анализирует его аргумент с помощью rp.

С версии: base-4.9.0.0

readUnaryWith :: ReadPrec a -> Строка -> (a -> t) -> ReadPrec t Исходный код

readUnaryWith rp n c' соответствует имени одноместного конструктора данных, а затем анализирует его аргумент с помощью rp.

С версии: base-4.10.0.0

readsBinaryWith :: (Int -> ReadS a) -> (Int -> ReadS b) -> String -> (a -> b -> t) -> String -> ReadS t Source

readsBinaryWith rp1 rp2 n c n' соответствует имени бинарного конструктора данных, а затем анализирует его аргументы с помощью rp1 и rp2 соответственно.

Since: base-4.9.0.0

readBinaryWith :: ReadPrec a -> ReadPrec b -> String -> (a -> b -> t) -> ReadPrec t Source

readBinaryWith rp1 rp2 n c' соответствует имени бинарного конструктора данных, а затем анализирует его аргументы с помощью rp1 и rp2 соответственно.

Since: base-4.10.0.0

showsUnaryWith :: (Int -> a -> ShowS) -> String -> Int -> a -> ShowS Source

showsUnaryWith sp n d x генерирует строковое представление унарного конструктора данных с именем n и аргументом x, в контексте приоритета d.

Since: base-4.9.0.0

showsBinaryWith :: (Int -> a -> ShowS) -> (Int -> b -> ShowS) -> String -> Int -> a -> b -> ShowS Source

showsBinaryWith sp1 sp2 n d x y генерирует строковое представление бинарного конструктора данных с именем n и аргументами x и y, в контексте приоритета d.

Since: base-4.9.0.0

readsUnary :: Read a => String -> (a -> t) -> String -> ReadS t Source

readsUnary n c n' соответствует имени унарного конструктора данных, а затем анализирует его аргумент с помощью readsPrec.

Since: base-4.9.0.0

readsUnary1 :: (Read1 f, Read a) => String -> (f a -> t) -> String -> ReadS t Source

readsUnary1 n c n' соответствует имени унарного конструктора данных, а затем анализирует его аргумент с помощью readsPrec1.

Since: base-4.9.0.0

readsBinary1 :: (Read1 f, Read1 g, Read a) => String -> (f a -> g a -> t) -> String -> ReadS t Source

readsBinary1 n c n' соответствует имени бинарного конструктора данных, а затем анализирует его аргументы с помощью readsPrec1.

Since: base-4.9.0.0

showsUnary :: Show a => String -> Int -> a -> ShowS Source

showsUnary n d x генерирует строковое представление унарного конструктора данных с именем n и аргументом x, в контексте приоритета d.

Since: base-4.9.0.0

showsUnary1 :: (Show1 f, Show a) => String -> Int -> f a -> ShowS Source

showsUnary1 n d x генерирует строковое представление унарного конструктора данных с именем n и аргументом x, в контексте приоритета d.

Since: base-4.9.0.0

showsBinary1 :: (Show1 f, Show1 g, Show a) => String -> Int -> f a -> g a -> ShowS Source

showsBinary1 n d x y генерирует строковое представление бинарного конструктора данных с именем n и аргументами x и y, в контексте приоритета d.

Since: base-4.9.0.0