DA.NonEmpty.Types

Reference documentation for Daml module DA.NonEmpty.Types.

DA.NonEmpty.Types

This module contains the type for non-empty lists so we can give it a stable package id.

This is reexported from DA.NonEmpty so you should never need to import this module.

Module Snapshot

Lifecycle

Stable.

Notices

Status: active Introduced in: 3.4.9 Removed in: - Warnings: 0 Deprecations: 0 Deprecated since: -

Data Types

data NonEmpty a

NonEmpty is the type of non-empty lists. In other words, it is the type of lists that always contain at least one element. If x is a non-empty list, you can obtain the first element with x.hd and the rest of the list with x.tl.

Constructors:

• NonEmpty

hd · a

tl · [a]

Instances:

• instance Foldable NonEmpty
• instance Action NonEmpty
• instance Applicative NonEmpty
• instance Semigroup (NonEmpty a)
• instance GetField hd (NonEmpty a) a
• instance GetField tl (NonEmpty a) [a]
• instance SetField hd (NonEmpty a) a
• instance SetField tl (NonEmpty a) [a]
• instance IsParties (NonEmpty Party)
• instance Traversable NonEmpty
• instance Serializable a => Serializable (NonEmpty a)
• instance Functor NonEmpty
• instance Eq a => Eq (NonEmpty a)
• instance Ord a => Ord (NonEmpty a)
• instance Show a => Show (NonEmpty a)