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

Coda.Rev

Description

Documentation

newtype Rev f a Source #

Constructors

Rev
Fields runRev :: f a

Instances

Eq (f a) => Eq (Rev f a) Source #
Methods (==) :: Rev f a -> Rev f a -> Bool # (/=) :: Rev f a -> Rev f a -> Bool #
Ord (f a) => Ord (Rev f a) Source #
Methods compare :: Rev f a -> Rev f a -> Ordering # (<) :: Rev f a -> Rev f a -> Bool # (<=) :: Rev f a -> Rev f a -> Bool # (>) :: Rev f a -> Rev f a -> Bool # (>=) :: Rev f a -> Rev f a -> Bool # max :: Rev f a -> Rev f a -> Rev f a # min :: Rev f a -> Rev f a -> Rev f a #
Read (f a) => Read (Rev f a) Source #
Methods readsPrec :: Int -> ReadS (Rev f a) # readList :: ReadS [Rev f a] # readPrec :: ReadPrec (Rev f a) # readListPrec :: ReadPrec [Rev f a] #
Show (f a) => Show (Rev f a) Source #
Methods showsPrec :: Int -> Rev f a -> ShowS # show :: Rev f a -> String # showList :: [Rev f a] -> ShowS #
Semigroup (f a) => Semigroup (Rev f a) Source #
Methods (<>) :: Rev f a -> Rev f a -> Rev f a # sconcat :: NonEmpty (Rev f a) -> Rev f a # stimes :: Integral b => b -> Rev f a -> Rev f a #
Monoid (f a) => Monoid (Rev f a) Source #
Methods mempty :: Rev f a # mappend :: Rev f a -> Rev f a -> Rev f a # mconcat :: [Rev f a] -> Rev f a #
Wrapped (Rev f a) Source #
Associated Types type Unwrapped (Rev f a) :: * Methods _Wrapped' :: Iso' (Rev f a) (Unwrapped (Rev f a))
AsEmpty (f a) => AsEmpty (Rev f a) Source #
Methods _Empty :: Prism' (Rev f a) ()
Default (f a) => Default (Rev f a) Source #
Methods def :: Rev f a
RelativeMonoid (f a) => RelativeMonoid (Rev f a) Source #

Relative (f a) => Relative (Rev f a) Source #
Methods rel :: Delta -> Rev f a -> Rev f a Source #
(~) * (Rev f1 a1) t => Rewrapped (Rev f2 a2) t Source #

Cons (f a) (f b) a b => Snoc (Rev f a) (Rev f b) a b Source #
Methods _Snoc :: Prism (Rev f a) (Rev f b) (Rev f a, a) (Rev f b, b)
Snoc (f a) (f b) a b => Cons (Rev f a) (Rev f b) a b Source #
Methods _Cons :: Prism (Rev f a) (Rev f b) (a, Rev f a) (b, Rev f b)
type Unwrapped (Rev f a) Source #
type Unwrapped (Rev f a) = f a

_Rev :: forall f a f a. Iso (Rev f a) (Rev f a) (f a) (f a) Source #