Safe Haskell	None
Language	Haskell2010

Data.OneOrMore

Contents

Type
Property
Function

Synopsis

data OneOrMore (a :: Set Type)
class Projectable (as :: Set Type) a
class Insertable a (as :: Set Type) (as' :: Set Type)
class Expandable (as :: Set Type) (as' :: Set Type)
class Collapsable (as :: Set Type) (as' :: Set Type)
class Mergeable (as :: Set Type) (as' :: Set Type) (mrg :: Set Type)
class Selectable a where
- select :: a -> a -> a
pattern Singleton :: a -> OneOrMore (Singleton a)
unSingleton :: OneOrMore (Singleton a) -> a
project :: Projectable as a => OneOrMore as -> Maybe a
(>-) :: forall a (as :: Set Type). Insertable a as (a :- as) => a -> OneOrMore as -> OneOrMore (a :- as)
expand :: Expandable as as' => OneOrMore as -> OneOrMore as'
collapse :: Collapsable as as' => OneOrMore as -> Maybe (OneOrMore as')
merge :: forall (as :: Set Type) (as' :: Set Type). Mergeable as as' (as :+: as') => OneOrMore as -> OneOrMore as' -> OneOrMore (as :+: as')
merge' :: forall (as :: Set Type) (as' :: Set Type). (Mergeable as as' (as :+: as'), Expandable as (as :+: as'), Expandable as' (as :+: as')) => Maybe (OneOrMore as) -> Maybe (OneOrMore as') -> Maybe (OneOrMore (as :+: as'))

Type

data OneOrMore (a :: Set Type) Source #

Property

Basic Property

class Projectable (as :: Set Type) a Source #

Minimal complete definition

project

Instances

Instances details

Projectable ('Nil :: Set Type) a Source #
Instance details Defined in Data.OneOrMore.Internal Methods project :: OneOrMore ('Nil :: Set Type) -> Maybe a Source #

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

Minimal complete definition

(>-.)

Expandable and Collapsable

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

Minimal complete definition

expand

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

Minimal complete definition

collapse

Instances

Instances details

Collapsable ('Nil :: Set Type) ('Nil :: Set Type) Source #
Instance details Defined in Data.OneOrMore.Internal Methods collapse :: OneOrMore ('Nil :: Set Type) -> Maybe (OneOrMore ('Nil :: Set Type)) Source #

Mergeable

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

Minimal complete definition

merge_

Instances

Instances details

Mergeable ('Nil :: Set Type) ('Nil :: Set Type) ('Nil :: Set Type) Source #
Instance details Defined in Data.OneOrMore.Internal Methods merge_ :: OneOrMore ('Nil :: Set Type) -> OneOrMore ('Nil :: Set Type) -> OneOrMore ('Nil :: Set Type)

class Selectable a where Source #

Methods

select :: a -> a -> a Source #

Instances

Instances details

Ord a => Selectable a Source #
Instance details Defined in Data.OneOrMore.Internal Methods select :: a -> a -> a Source #

Function

Single Type

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

unSingleton :: OneOrMore (Singleton a) -> a Source #

Multiple Type

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

(>-) :: forall a (as :: Set Type). Insertable a as (a :- as) => a -> OneOrMore as -> OneOrMore (a :- as) infixr 5 Source #

Expand and Collapse

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

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

Merge

merge :: forall (as :: Set Type) (as' :: Set Type). Mergeable as as' (as :+: as') => OneOrMore as -> OneOrMore as' -> OneOrMore (as :+: as') Source #

merge' :: forall (as :: Set Type) (as' :: Set Type). (Mergeable as as' (as :+: as'), Expandable as (as :+: as'), Expandable as' (as :+: as')) => Maybe (OneOrMore as) -> Maybe (OneOrMore as') -> Maybe (OneOrMore (as :+: as')) Source #