Safe Haskell	None
Language	Haskell2010

Hjugement

Synopsis

Documentation

module Hjugement.Majority

class IsList l where #

The IsList class and its methods are intended to be used in conjunction with the OverloadedLists extension.

Since: 4.7.0.0

Minimal complete definition

fromList, toList

Associated Types

type Item l :: * #

The Item type function returns the type of items of the structure l.

Methods

fromList :: [Item l] -> l #

The fromList function constructs the structure l from the given list of Item l

fromListN :: Int -> [Item l] -> l #

The fromListN function takes the input list's length as a hint. Its behaviour should be equivalent to fromList. The hint can be used to construct the structure l more efficiently compared to fromList. If the given hint does not equal to the input list's length the behaviour of fromListN is not specified.

toList :: l -> [Item l] #

The toList function extracts a list of Item l from the structure l. It should satisfy fromList . toList = id.

Instances

IsList CallStack	Be aware that 'fromList . toList = id' only for unfrozen `CallStack`s, since `toList` removes frozenness information. Since: 4.9.0.0
Associated Types type Item CallStack :: * # Methods fromList :: [Item CallStack] -> CallStack # fromListN :: Int -> [Item CallStack] -> CallStack # toList :: CallStack -> [Item CallStack] #
IsList Version	Since: 4.8.0.0
Associated Types type Item Version :: * # Methods fromList :: [Item Version] -> Version # fromListN :: Int -> [Item Version] -> Version # toList :: Version -> [Item Version] #
IsList [a]
Associated Types type Item [a] :: * # Methods fromList :: [Item [a]] -> [a] # fromListN :: Int -> [Item [a]] -> [a] # toList :: [a] -> [Item [a]] #
IsList (NonEmpty a)
Associated Types type Item (NonEmpty a) :: * # Methods fromList :: [Item (NonEmpty a)] -> NonEmpty a # fromListN :: Int -> [Item (NonEmpty a)] -> NonEmpty a # toList :: NonEmpty a -> [Item (NonEmpty a)] #
Ord a => IsList (Set a)
Associated Types type Item (Set a) :: * # Methods fromList :: [Item (Set a)] -> Set a # fromListN :: Int -> [Item (Set a)] -> Set a # toList :: Set a -> [Item (Set a)] #
(Ord grade, Show grade) => IsList (Merit grade) #
Associated Types type Item (Merit grade) :: * # Methods fromList :: [Item (Merit grade)] -> Merit grade # fromListN :: Int -> [Item (Merit grade)] -> Merit grade # toList :: Merit grade -> [Item (Merit grade)] #
Ord k => IsList (Map k v)
Associated Types type Item (Map k v) :: * # Methods fromList :: [Item (Map k v)] -> Map k v # fromListN :: Int -> [Item (Map k v)] -> Map k v # toList :: Map k v -> [Item (Map k v)] #
(Ord prop, Show prop) => IsList (Merits prop grade) #
Associated Types type Item (Merits prop grade) :: * # Methods fromList :: [Item (Merits prop grade)] -> Merits prop grade # fromListN :: Int -> [Item (Merits prop grade)] -> Merits prop grade # toList :: Merits prop grade -> [Item (Merits prop grade)] #
(Ord judge, Show judge) => IsList (Opinions prop grade judge) #
Associated Types type Item (Opinions prop grade judge) :: * # Methods fromList :: [Item (Opinions prop grade judge)] -> Opinions prop grade judge # fromListN :: Int -> [Item (Opinions prop grade judge)] -> Opinions prop grade judge # toList :: Opinions prop grade judge -> [Item (Opinions prop grade judge)] #