Data.List.Class

Documentation

type ToList a = Convertible a [Item a]

type ToList' a = Convertible' a [Item a]

type FromList a = Convertible [Item a] a

type FromList' a = Convertible' [Item a] a

type IsList a = (ToList a, FromList a)

type IsList' a = (ToList' a, FromList' a)

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

toList' :: ToList' a => a -> [Item a]

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

fromList' :: FromList' a => [Item a] -> a

asList :: IsList a => Iso' a [Item a]

asList' :: IsList' a => Iso' a [Item a]