Safe Haskell	None
Language	Haskell2010

Relude.Container.One

Description

Typeclass for creating structures from singleton element.

Synopsis

class One x where
- type OneItem x

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 #
Instance details Defined in Relude.Container.One Associated Types type OneItem ByteString :: * # Methods one :: OneItem ByteString -> ByteString #
One ByteString #
Instance details Defined in Relude.Container.One Associated Types type OneItem ByteString :: * # Methods one :: OneItem ByteString -> ByteString #
One IntSet #
Instance details Defined in Relude.Container.One Associated Types type OneItem IntSet :: * # Methods one :: OneItem IntSet -> IntSet #
One Text #
Instance details Defined in Relude.Container.One Associated Types type OneItem Text :: * # Methods one :: OneItem Text -> Text #
One Text #
Instance details Defined in Relude.Container.One Associated Types type OneItem Text :: * # Methods one :: OneItem Text -> Text #
One [a] #
Instance details Defined in Relude.Container.One Associated Types type OneItem [a] :: * # Methods one :: OneItem [a] -> [a] #
One (NonEmpty a) #
Instance details Defined in Relude.Container.One Associated Types type OneItem (NonEmpty a) :: * # Methods one :: OneItem (NonEmpty a) -> NonEmpty a #
One (IntMap v) #
Instance details Defined in Relude.Container.One Associated Types type OneItem (IntMap v) :: * # Methods one :: OneItem (IntMap v) -> IntMap v #
One (Seq a) #
Instance details Defined in Relude.Container.One Associated Types type OneItem (Seq a) :: * # Methods one :: OneItem (Seq a) -> Seq a #
One (Set v) #
Instance details Defined in Relude.Container.One Associated Types type OneItem (Set v) :: * # Methods one :: OneItem (Set v) -> Set v #
Hashable v => One (HashSet v) #
Instance details Defined in Relude.Container.One Associated Types type OneItem (HashSet v) :: * # Methods one :: OneItem (HashSet v) -> HashSet v #
One (Map k v) #
Instance details 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) #
Instance details Defined in Relude.Container.One Associated Types type OneItem (HashMap k v) :: * # Methods one :: OneItem (HashMap k v) -> HashMap k v #