Copyright	(c) Edward Kmett 2017
License	BSD2
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Coda.Relative.Cat

Description

Documentation

data Cat a Source #

Instances

Relative a => IsList (Cat a) Source #
Associated Types type Item (Cat a) :: * # Methods fromList :: [Item (Cat a)] -> Cat a # fromListN :: Int -> [Item (Cat a)] -> Cat a # toList :: Cat a -> [Item (Cat a)] #
(Eq a, Relative a) => Eq (Cat a) Source #
Methods (==) :: Cat a -> Cat a -> Bool # (/=) :: Cat a -> Cat a -> Bool #
(Ord a, Relative a) => Ord (Cat a) Source #
Methods compare :: Cat a -> Cat a -> Ordering # (<) :: Cat a -> Cat a -> Bool # (<=) :: Cat a -> Cat a -> Bool # (>) :: Cat a -> Cat a -> Bool # (>=) :: Cat a -> Cat a -> Bool # max :: Cat a -> Cat a -> Cat a # min :: Cat a -> Cat a -> Cat a #
(Read a, Relative a) => Read (Cat a) Source #
Methods readsPrec :: Int -> ReadS (Cat a) # readList :: ReadS [Cat a] # readPrec :: ReadPrec (Cat a) # readListPrec :: ReadPrec [Cat a] #
(Show a, Relative a) => Show (Cat a) Source #
Methods showsPrec :: Int -> Cat a -> ShowS # show :: Cat a -> String # showList :: [Cat a] -> ShowS #
Relative a => Semigroup (Cat a) Source #
Methods (<>) :: Cat a -> Cat a -> Cat a # sconcat :: NonEmpty (Cat a) -> Cat a # stimes :: Integral b => b -> Cat a -> Cat a #
Relative a => Monoid (Cat a) Source #
Methods mempty :: Cat a # mappend :: Cat a -> Cat a -> Cat a # mconcat :: [Cat a] -> Cat a #
AsEmpty (Cat a) Source #
Methods _Empty :: Prism' (Cat a) ()
Default (Cat a) Source #
Methods def :: Cat a
Relative a => Relative (Cat a) Source #
Methods rel :: Delta -> Cat a -> Cat a Source #
(Relative a, Relative b) => Cons (Cat a) (Cat b) a b Source #
Methods _Cons :: Prism (Cat a) (Cat b) (a, Cat a) (b, Cat b)
type Item (Cat a) Source #
type Item (Cat a) = a

snocCat :: Relative a => Cat a -> a -> Cat a Source #

singleton :: a -> Cat a Source #

null :: Cat a -> Bool Source #