Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.List.NonEmptySep

Synopsis

data NonEmptySep sep a
- = Cons a sep (NonEmptySep sep a)
- | Singleton a
head ∷ NonEmptySep sep a → a
fromList ∷ ([(a, sep)], a) → NonEmptySep sep a

Documentation

data NonEmptySep sep a Source #

A non-empty list of a, separated by values of type sep

Constructors

Cons a sep (NonEmptySep sep a)
Singleton a

Instances

Instances details

Foldable (NonEmptySep sep) Source #
Instance details Defined in Data.List.NonEmptySep Methods fold ∷ Monoid m ⇒ NonEmptySep sep m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → NonEmptySep sep a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → NonEmptySep sep a → m Source # foldr ∷ (a → b → b) → b → NonEmptySep sep a → b Source # foldr' ∷ (a → b → b) → b → NonEmptySep sep a → b Source # foldl ∷ (b → a → b) → b → NonEmptySep sep a → b Source # foldl' ∷ (b → a → b) → b → NonEmptySep sep a → b Source # foldr1 ∷ (a → a → a) → NonEmptySep sep a → a Source # foldl1 ∷ (a → a → a) → NonEmptySep sep a → a Source # toList ∷ NonEmptySep sep a → [a] Source # null ∷ NonEmptySep sep a → Bool Source # length ∷ NonEmptySep sep a → Int Source # elem ∷ Eq a ⇒ a → NonEmptySep sep a → Bool Source # maximum ∷ Ord a ⇒ NonEmptySep sep a → a Source # minimum ∷ Ord a ⇒ NonEmptySep sep a → a Source # sum ∷ Num a ⇒ NonEmptySep sep a → a Source # product ∷ Num a ⇒ NonEmptySep sep a → a Source #
Functor (NonEmptySep sep) Source #
Instance details Defined in Data.List.NonEmptySep Methods fmap ∷ (a → b) → NonEmptySep sep a → NonEmptySep sep b Source # (<$) ∷ a → NonEmptySep sep b → NonEmptySep sep a Source #
Generic (NonEmptySep sep a) Source #
Instance details Defined in Data.List.NonEmptySep Associated Types type Rep (NonEmptySep sep a) ∷ Type → Type Source # Methods from ∷ NonEmptySep sep a → Rep (NonEmptySep sep a) x Source # to ∷ Rep (NonEmptySep sep a) x → NonEmptySep sep a Source #
(Show sep, Show a) ⇒ Show (NonEmptySep sep a) Source #
Instance details Defined in Data.List.NonEmptySep Methods showsPrec ∷ Int → NonEmptySep sep a → ShowS Source # show ∷ NonEmptySep sep a → String Source # showList ∷ [NonEmptySep sep a] → ShowS Source #
(NFData a, NFData sep) ⇒ NFData (NonEmptySep sep a) Source #
Instance details Defined in Data.List.NonEmptySep Methods rnf ∷ NonEmptySep sep a → () Source #
(AgdaUnparse a, AgdaUnparse b) ⇒ AgdaUnparse (NonEmptySep a b) Source #
Instance details Defined in FFI.AgdaUnparse Methods agdaUnparse ∷ NonEmptySep a b → Doc ann Source #
type Rep (NonEmptySep sep a) Source #
Instance details Defined in Data.List.NonEmptySep type Rep (NonEmptySep sep a) = D1 ('MetaData "NonEmptySep" "Data.List.NonEmptySep" "plutus-metatheory-1.65.0.0-inplace" 'False) (C1 ('MetaCons "Cons" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 sep) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmptySep sep a)))) :+: C1 ('MetaCons "Singleton" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

head ∷ NonEmptySep sep a → a Source #

fromList ∷ ([(a, sep)], a) → NonEmptySep sep a Source #