Data.OneOrMore

Type

data OneOrMore :: Set Type -> Type

Property

Basic Property

class Projectable (as :: Set Type) a

Minimal complete definition

project

Instances

Projectable ('Nil :: Set Type) a

Defined in Data.OneOrMore.Internal

Methods

project :: OneOrMore 'Nil -> Maybe a

class Insertable a (as :: Set Type) (as' :: Set Type)

Minimal complete definition

(>-.)

Expandable and Collapsable

class Expandable (as :: Set Type) (as' :: Set Type)

Minimal complete definition

expand

class Collapsable (as :: Set Type) (as' :: Set Type)

Minimal complete definition

collapse

Instances

Collapsable ('Nil :: Set Type) ('Nil :: Set Type)

Defined in Data.OneOrMore.Internal

Methods

collapse :: OneOrMore 'Nil -> Maybe (OneOrMore 'Nil)

Mergeable

class Mergeable (as :: Set Type) (as' :: Set Type) (mrg :: Set Type)

Minimal complete definition

merge_

Instances

Mergeable ('Nil :: Set Type) ('Nil :: Set Type) ('Nil :: Set Type)

Defined in Data.OneOrMore.Internal

Methods

merge_ :: OneOrMore 'Nil -> OneOrMore 'Nil -> OneOrMore 'Nil

class Selectable a where

Methods

select :: a -> a -> a

Instances

Ord a => Selectable a

Defined in Data.OneOrMore.Internal

Methods

select :: a -> a -> a

Function

Single Type

pattern Singleton :: a -> OneOrMore (Singleton a)

unSingleton :: OneOrMore (Singleton a) -> a

Multiple Type

project :: Projectable as a => OneOrMore as -> Maybe a

(>-) :: Insertable a as (a :- as) => a -> OneOrMore as -> OneOrMore (a :- as) infixr 5

Expand and Collapse

expand :: Expandable as as' => OneOrMore as -> OneOrMore as'

collapse :: Collapsable as as' => OneOrMore as -> Maybe (OneOrMore as')

Merge

merge :: Mergeable as as' (as :+: as') => OneOrMore as -> OneOrMore as' -> OneOrMore (as :+: as')

merge' :: (Mergeable as as' (as :+: as'), Expandable as (as :+: as'), Expandable as' (as :+: as')) => Maybe (OneOrMore as) -> Maybe (OneOrMore as') -> Maybe (OneOrMore (as :+: as'))