Octane.Type.List

Documentation

newtype List a

A list of values.

Constructors

List [a]

Instances

IsList (List a)

Allows creating List values with fromList. Also allows List literals with the OverloadedLists extension.

>>> [2] :: List Int
fromList [2]

Associated Types

type Item (List a) :: *

Methods

fromList :: [Item (List a)] -> List a

fromListN :: Int -> [Item (List a)] -> List a

toList :: List a -> [Item (List a)]

Eq a => Eq (List a)

Methods

(==) :: List a -> List a -> Bool

(/=) :: List a -> List a -> Bool

Ord a => Ord (List a)

Methods

compare :: List a -> List a -> Ordering

(<) :: List a -> List a -> Bool

(<=) :: List a -> List a -> Bool

(>) :: List a -> List a -> Bool

(>=) :: List a -> List a -> Bool

max :: List a -> List a -> List a

min :: List a -> List a -> List a

Show a => Show (List a)

>>> show ([2] :: List Int)
"fromList [2]"

Methods

showsPrec :: Int -> List a -> ShowS

show :: List a -> String

showList :: [List a] -> ShowS

Generic (List a)

Associated Types

type Rep (List a) :: * -> *

Methods

from :: List a -> Rep (List a) x

to :: Rep (List a) x -> List a

ToJSON a => ToJSON (List a)

Encoded as a JSON array directly.

>>> Aeson.encode ([2] :: List Int)
"[2]"

Methods

toJSON :: List a -> Value

toEncoding :: List a -> Encoding

Binary a => Binary (List a)

Prefixed with the number of elements in the list.

>>> Binary.decode "\x01\x00\x00\x00\x02" :: List Int8
fromList [2]

>>> Binary.encode ([2] :: List Int8)
"\SOH\NUL\NUL\NUL\STX"

Methods

put :: List a -> Put

get :: Get (List a)

putList :: [List a] -> Put

NFData a => NFData (List a)

Methods

rnf :: List a -> ()

type Rep (List a)

type Rep (List a) = D1 (MetaData "List" "Octane.Type.List" "octane-0.13.1-LDgcSqYqu1AFVuudsUsa9X" True) (C1 (MetaCons "List" PrefixI True) (S1 (MetaSel (Just Symbol "unpack") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a])))

type Item (List a)

type Item (List a) = a