Relude.Container.One

Typeclass for creating structures from singleton element.

Documentation

class One x where

Type class for types that can be created from one element. singleton is lone name for this function. Constructions of different type differ: :[] for lists, two arguments for Maps. Also some data types are monomorphic.

>>> one True :: [Bool]
[True]
>>> one 'a' :: Text
"a"
>>> one (3, "hello") :: HashMap Int String
fromList [(3,"hello")]

Minimal complete definition

one

Associated Types

type OneItem x

Methods

one :: OneItem x -> x

Create a list, map, Text, etc from a single element.

Instances

One ByteString

Defined in Relude.Container.One

Associated Types

type OneItem ByteString :: *

Methods

one :: OneItem ByteString -> ByteString

One ByteString

Defined in Relude.Container.One

Associated Types

type OneItem ByteString :: *

Methods

one :: OneItem ByteString -> ByteString

One IntSet

Defined in Relude.Container.One

Associated Types

type OneItem IntSet :: *

Methods

one :: OneItem IntSet -> IntSet

One Text

Defined in Relude.Container.One

Associated Types

type OneItem Text :: *

Methods

one :: OneItem Text -> Text

One Text

Defined in Relude.Container.One

Associated Types

type OneItem Text :: *

Methods

one :: OneItem Text -> Text

One [a]

Defined in Relude.Container.One

Associated Types

type OneItem [a] :: *

Methods

one :: OneItem [a] -> [a]

One (NonEmpty a)

Defined in Relude.Container.One

Associated Types

type OneItem (NonEmpty a) :: *

Methods

one :: OneItem (NonEmpty a) -> NonEmpty a

One (IntMap v)

Defined in Relude.Container.One

Associated Types

type OneItem (IntMap v) :: *

Methods

one :: OneItem (IntMap v) -> IntMap v

One (Seq a)

Defined in Relude.Container.One

Associated Types

type OneItem (Seq a) :: *

Methods

one :: OneItem (Seq a) -> Seq a

One (Set v)

Defined in Relude.Container.One

Associated Types

type OneItem (Set v) :: *

Methods

one :: OneItem (Set v) -> Set v

Hashable v => One (HashSet v)

Defined in Relude.Container.One

Associated Types

type OneItem (HashSet v) :: *

Methods

one :: OneItem (HashSet v) -> HashSet v

One (Map k v)

Defined in Relude.Container.One

Associated Types

type OneItem (Map k v) :: *

Methods

one :: OneItem (Map k v) -> Map k v

Hashable k => One (HashMap k v)

Defined in Relude.Container.One

Associated Types

type OneItem (HashMap k v) :: *

Methods

one :: OneItem (HashMap k v) -> HashMap k v