Basement.Compat.IsList

compat friendly version of IsList

Documentation

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 CallStacks, 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 AsciiString

Associated Types

type Item AsciiString :: *

Methods

fromList :: [Item AsciiString] -> AsciiString

fromListN :: Int -> [Item AsciiString] -> AsciiString

toList :: AsciiString -> [Item AsciiString]

IsList String

Associated Types

type Item String :: *

Methods

fromList :: [Item String] -> String

fromListN :: Int -> [Item String] -> String

toList :: String -> [Item String]

IsList [a]

Since: 4.7.0.0

Associated Types

type Item [a] :: *

Methods

fromList :: [Item [a]] -> [a]

fromListN :: Int -> [Item [a]] -> [a]

toList :: [a] -> [Item [a]]

IsList (NonEmpty a)

Since: 4.9.0.0

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)]

IsList c => IsList (NonEmpty c)

Associated Types

type Item (NonEmpty c) :: *

Methods

fromList :: [Item (NonEmpty c)] -> NonEmpty c

fromListN :: Int -> [Item (NonEmpty c)] -> NonEmpty c

toList :: NonEmpty c -> [Item (NonEmpty c)]

PrimType ty => IsList (Block ty)

Associated Types

type Item (Block ty) :: *

Methods

fromList :: [Item (Block ty)] -> Block ty

fromListN :: Int -> [Item (Block ty)] -> Block ty

toList :: Block ty -> [Item (Block ty)]

PrimType ty => IsList (UArray ty)

Associated Types

type Item (UArray ty) :: *

Methods

fromList :: [Item (UArray ty)] -> UArray ty

fromListN :: Int -> [Item (UArray ty)] -> UArray ty

toList :: UArray ty -> [Item (UArray ty)]

IsList (Array ty)

Associated Types

type Item (Array ty) :: *

Methods

fromList :: [Item (Array ty)] -> Array ty

fromListN :: Int -> [Item (Array ty)] -> Array ty

toList :: Array ty -> [Item (Array ty)]