Data.Sized.Flipped

Documentation

newtype Flipped f a n

Wrapper for Sized which takes length as its last element, instead of the second.

Since 0.2.0.0

Constructors

Flipped

Fields

• runFlipped :: Sized f n a

Instances

Eq (f a) => Eq (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

(==) :: Flipped f a n -> Flipped f a n -> Bool

(/=) :: Flipped f a n -> Flipped f a n -> Bool

Ord (f a) => Ord (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

compare :: Flipped f a n -> Flipped f a n -> Ordering

(<) :: Flipped f a n -> Flipped f a n -> Bool

(<=) :: Flipped f a n -> Flipped f a n -> Bool

(>) :: Flipped f a n -> Flipped f a n -> Bool

(>=) :: Flipped f a n -> Flipped f a n -> Bool

max :: Flipped f a n -> Flipped f a n -> Flipped f a n

min :: Flipped f a n -> Flipped f a n -> Flipped f a n

Show (f a) => Show (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

showsPrec :: Int -> Flipped f a n -> ShowS

show :: Flipped f a n -> String

showList :: [Flipped f a n] -> ShowS

NFData (f a) => NFData (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

rnf :: Flipped f a n -> ()

Hashable (f a) => Hashable (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

hashWithSalt :: Int -> Flipped f a n -> Int

hash :: Flipped f a n -> Int

(Integral (Index (f a)), Ixed (f a), HasOrdinal nat) => Ixed (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

ix :: Index (Flipped f a n) -> Traversal' (Flipped f a n) (IxValue (Flipped f a n))

Wrapped (Flipped f a n)

Defined in Data.Sized.Flipped

Associated Types

type Unwrapped (Flipped f a n)

Methods

_Wrapped' :: Iso' (Flipped f a n) (Unwrapped (Flipped f a n))

MonoFunctor (f a) => MonoFunctor (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

omap :: (Element (Flipped f a n) -> Element (Flipped f a n)) -> Flipped f a n -> Flipped f a n

MonoFoldable (f a) => MonoFoldable (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

ofoldMap :: Monoid m => (Element (Flipped f a n) -> m) -> Flipped f a n -> m

ofoldr :: (Element (Flipped f a n) -> b -> b) -> b -> Flipped f a n -> b

ofoldl' :: (a0 -> Element (Flipped f a n) -> a0) -> a0 -> Flipped f a n -> a0

otoList :: Flipped f a n -> [Element (Flipped f a n)]

oall :: (Element (Flipped f a n) -> Bool) -> Flipped f a n -> Bool

oany :: (Element (Flipped f a n) -> Bool) -> Flipped f a n -> Bool

onull :: Flipped f a n -> Bool

olength :: Flipped f a n -> Int

olength64 :: Flipped f a n -> Int64

ocompareLength :: Integral i => Flipped f a n -> i -> Ordering

otraverse_ :: Applicative f0 => (Element (Flipped f a n) -> f0 b) -> Flipped f a n -> f0 ()

ofor_ :: Applicative f0 => Flipped f a n -> (Element (Flipped f a n) -> f0 b) -> f0 ()

omapM_ :: Applicative m => (Element (Flipped f a n) -> m ()) -> Flipped f a n -> m ()

oforM_ :: Applicative m => Flipped f a n -> (Element (Flipped f a n) -> m ()) -> m ()

ofoldlM :: Monad m => (a0 -> Element (Flipped f a n) -> m a0) -> a0 -> Flipped f a n -> m a0

ofoldMap1Ex :: Semigroup m => (Element (Flipped f a n) -> m) -> Flipped f a n -> m

ofoldr1Ex :: (Element (Flipped f a n) -> Element (Flipped f a n) -> Element (Flipped f a n)) -> Flipped f a n -> Element (Flipped f a n)

ofoldl1Ex' :: (Element (Flipped f a n) -> Element (Flipped f a n) -> Element (Flipped f a n)) -> Flipped f a n -> Element (Flipped f a n)

headEx :: Flipped f a n -> Element (Flipped f a n)

lastEx :: Flipped f a n -> Element (Flipped f a n)

unsafeHead :: Flipped f a n -> Element (Flipped f a n)

unsafeLast :: Flipped f a n -> Element (Flipped f a n)

maximumByEx :: (Element (Flipped f a n) -> Element (Flipped f a n) -> Ordering) -> Flipped f a n -> Element (Flipped f a n)

minimumByEx :: (Element (Flipped f a n) -> Element (Flipped f a n) -> Ordering) -> Flipped f a n -> Element (Flipped f a n)

oelem :: Element (Flipped f a n) -> Flipped f a n -> Bool

onotElem :: Element (Flipped f a n) -> Flipped f a n -> Bool

MonoTraversable (f a) => MonoTraversable (Flipped f a n)

Defined in Data.Sized.Flipped

Methods

otraverse :: Applicative f0 => (Element (Flipped f a n) -> f0 (Element (Flipped f a n))) -> Flipped f a n -> f0 (Flipped f a n)

omapM :: Applicative m => (Element (Flipped f a n) -> m (Element (Flipped f a n))) -> Flipped f a n -> m (Flipped f a n)

Flipped f1 a1 n1 ~ t => Rewrapped (Flipped f2 a2 n2) t

Defined in Data.Sized.Flipped

type Index (Flipped f a n)

Defined in Data.Sized.Flipped

type Index (Flipped f a n) = Ordinal n

type IxValue (Flipped f a n)

Defined in Data.Sized.Flipped

type IxValue (Flipped f a n) = IxValue (f a)

type Unwrapped (Flipped f a n)

Defined in Data.Sized.Flipped

type Unwrapped (Flipped f a n) = Sized f n a

type Element (Flipped f a n)

Defined in Data.Sized.Flipped

type Element (Flipped f a n) = Element (Sized f n a)