Data.NotEmpty

Documentation

data NE s

For a monoid s, NE s is s without its neutral element mempty.

Instances

Eq s => Eq (NE s)

Show s => Show (NE s)

Monoid s => Semigroup (NE s)

NE s is the semigroup derived from the monoid type s.

(Eq s, Monoid s, Arbitrary s) => Arbitrary (NE s)

Arbitrary (OpmlGen [[NE Text]])

Generates OutlineBase's categories. This generator makes sure that the result has no , nor / characters, since those are used as separators.

notEmpty :: (MonadThrow m, Eq s, Monoid s) => s -> m (NE s)

Smart constructor.

original :: NE s -> s

Unwrap the underlying value.

data NotEmptyException

Constructors

EmptyValue

Instances

Eq NotEmptyException

Show NotEmptyException

Exception NotEmptyException