Data.Optional

Documentation

data T f a

Constructors

Nil

Cons a (f a)

Instances

Functor f => Functor (T f)

Defined in Data.Optional

Methods

fmap :: (a -> b) -> T f a -> T f b

(<$) :: a -> T f b -> T f a

Foldable f => Foldable (T f)

Defined in Data.Optional

Methods

fold :: Monoid m => T f m -> m

foldMap :: Monoid m => (a -> m) -> T f a -> m

foldMap' :: Monoid m => (a -> m) -> T f a -> m

foldr :: (a -> b -> b) -> b -> T f a -> b

foldr' :: (a -> b -> b) -> b -> T f a -> b

foldl :: (b -> a -> b) -> b -> T f a -> b

foldl' :: (b -> a -> b) -> b -> T f a -> b

foldr1 :: (a -> a -> a) -> T f a -> a

foldl1 :: (a -> a -> a) -> T f a -> a

toList :: T f a -> [a]

null :: T f a -> Bool

length :: T f a -> Int

elem :: Eq a => a -> T f a -> Bool

maximum :: Ord a => T f a -> a

minimum :: Ord a => T f a -> a

sum :: Num a => T f a -> a

product :: Num a => T f a -> a

Traversable f => Traversable (T f)

Defined in Data.Optional

Methods

traverse :: Applicative f0 => (a -> f0 b) -> T f a -> f0 (T f b)

sequenceA :: Applicative f0 => T f (f0 a) -> f0 (T f a)

mapM :: Monad m => (a -> m b) -> T f a -> m (T f b)

sequence :: Monad m => T f (m a) -> m (T f a)

NFData f => NFData (T f)

Defined in Data.Optional

Methods

rnf :: NFData a => T f a -> ()

Gen f => Gen (T f)

Defined in Data.Optional

Methods

genOf :: Gen a -> Gen (T f a)

Arbitrary f => Arbitrary (T f)

Defined in Data.Optional

Methods

arbitrary :: Arbitrary a => Gen (T f a)

shrink :: Arbitrary a => T f a -> [T f a]

Show f => Show (T f)

Defined in Data.Optional

Methods

showsPrec :: Show a => Int -> T f a -> ShowS

(Traversable f, Reverse f) => Reverse (T f)

Defined in Data.Optional

Methods

reverse :: T f a -> T f a

(InsertBy f, SortBy f) => SortBy (T f)

Defined in Data.Optional

Methods

sortBy :: (a -> a -> Ordering) -> T f a -> T f a

(Insert f, Sort f) => Sort (T f)

Defined in Data.Optional

Methods

sort :: Ord a => T f a -> T f a

Iterate f => Iterate (T f)

Defined in Data.Optional

Methods

iterate :: (a -> a) -> a -> T f a

Repeat f => Repeat (T f)

Defined in Data.Optional

Methods

repeat :: a -> T f a

Zip f => Zip (T f)

Defined in Data.Optional

Methods

zipWith :: (a -> b -> c) -> T f a -> T f b -> T f c

(Cons f, Empty f) => Cons (T f)

Defined in Data.Optional

Methods

cons :: a -> T f a -> T f a

Empty (T f)

Defined in Data.Optional

Methods

empty :: T f a

InsertBy f => InsertBy (T f)

Defined in Data.Optional

Methods

insertBy :: (a -> a -> Ordering) -> a -> T f a -> T0 (T f) a

Insert f => Insert (T f)

Defined in Data.Optional

Methods

insert :: Ord a => a -> T f a -> T0 (T f) a

(Eq a, Eq (f a)) => Eq (T f a)

Defined in Data.Optional

Methods

(==) :: T f a -> T f a -> Bool

(/=) :: T f a -> T f a -> Bool

(Ord a, Ord (f a)) => Ord (T f a)

Defined in Data.Optional

Methods

compare :: T f a -> T f a -> Ordering

(<) :: T f a -> T f a -> Bool

(<=) :: T f a -> T f a -> Bool

(>) :: T f a -> T f a -> Bool

(>=) :: T f a -> T f a -> Bool

max :: T f a -> T f a -> T f a

min :: T f a -> T f a -> T f a

(Show f, Show a) => Show (T f a)

Defined in Data.Optional

Methods

showsPrec :: Int -> T f a -> ShowS

show :: T f a -> String

showList :: [T f a] -> ShowS

(Arbitrary f, Arbitrary a) => Arbitrary (T f a)

Defined in Data.Optional

Methods

arbitrary :: Gen (T f a)

shrink :: T f a -> [T f a]

(NFData f, NFData a) => NFData (T f a)

Defined in Data.Optional

Methods

rnf :: T f a -> ()

(?:) :: a -> f a -> T f a infixr 5

fromEmpty :: T a -> T f a

fromNonEmpty :: T f a -> T f a