Data.Functor.Classes

Copyright	(c) Ross Paterson 2013
License	BSD-style (see the file LICENSE)
Maintainer	ross@soi.city.ac.uk
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Подъемы классов Prelude

class Eq1 f where Source

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

class Eq1 f => Ord1 f where Source

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

class Read1 f where Source

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

class Show1 f where Source

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

Вспомогательные функции

readsData :: (String -> ReadS a) -> Int -> ReadS a Source

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

readsUnary :: Read a => String -> (a -> t) -> String -> ReadS t Источник

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

readsUnary1 :: (Read1 f, Read a) => String -> (f a -> t) -> String -> ReadS t Источник

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

readsBinary1 :: (Read1 f, Read1 g, Read a) => String -> (f a -> g a -> t) -> String -> ReadS t Источник

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

showsUnary :: Show a => String -> Int -> a -> ShowS Источник

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

showsUnary1 :: (Show1 f, Show a) => String -> Int -> f a -> ShowS Источник

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

showsBinary1 :: (Show1 f, Show1 g, Show a) => String -> Int -> f a -> g a -> ShowS Источник

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