Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype Flipped f a n = Flipped {
- runFlipped :: Sized f n a
- pattern (:<) :: forall nat f n a. (ListLike (f a) a, HasOrdinal nat) => forall n1. ((~) nat n (Succ nat n1), SingI nat n1) => a -> Flipped nat f a n1 -> Flipped nat f a n
- pattern NilL :: forall nat f n a. (ListLike (f a) a, HasOrdinal nat) => (~) nat n (Zero nat) => Flipped nat f a n
- pattern (:>) :: forall nat f n a. (ListLike (f a) a, HasOrdinal nat) => forall n1. ((~) nat n (Succ nat n1), SingI nat n1) => Flipped nat f a n1 -> a -> Flipped nat f a n
- pattern NilR :: forall nat f n a. (ListLike (f a) a, HasOrdinal nat) => (~) nat n (Zero nat) => Flipped nat f a n
Documentation
newtype Flipped f a n Source #
Wrapper for
which takes length as its last element, instead of the second.Sized
Since 0.2.0.0
Flipped | |
|
Eq (f a) => Eq (Flipped nat f a n) Source # | |
Ord (f a) => Ord (Flipped nat f a n) Source # | |
Show (f a) => Show (Flipped nat f a n) Source # | |
NFData (f a) => NFData (Flipped nat f a n) Source # | |
Hashable (f a) => Hashable (Flipped nat f a n) Source # | |
(Integral (Index (f a)), Ixed (f a), HasOrdinal nat1) => Ixed (Flipped nat1 f a n) Source # | |
Wrapped (Flipped nat f0 a0 n0) Source # | |
MonoFunctor (f a) => MonoFunctor (Flipped nat f a n) Source # | |
MonoFoldable (f a) => MonoFoldable (Flipped nat f a n) Source # | |
MonoTraversable (f a) => MonoTraversable (Flipped nat f a n) Source # | |
(~) * (Flipped nat1 f0 a0 n0) t0 => Rewrapped (Flipped nat f1 a1 n1) t0 Source # | |
type Index (Flipped nat f a n) Source # | |
type IxValue (Flipped nat f a n) Source # | |
type Unwrapped (Flipped nat f0 a0 n0) Source # | |
type Element (Flipped nat f a n) Source # | |
pattern (:<) :: forall nat f n a. (ListLike (f a) a, HasOrdinal nat) => forall n1. ((~) nat n (Succ nat n1), SingI nat n1) => a -> Flipped nat f a n1 -> Flipped nat f a n Source #
pattern NilL :: forall nat f n a. (ListLike (f a) a, HasOrdinal nat) => (~) nat n (Zero nat) => Flipped nat f a n Source #