Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Flipped f a n = Flipped {
- runFlipped :: Sized f n a
- pattern (:<) :: forall nat (f :: Type -> Type) (n :: nat) a. (ListLike (f a) a, HasOrdinal nat) => forall (n1 :: nat). (n ~ Succ n1, SingI n1) => a -> Flipped f a n1 -> Flipped f a n
- pattern NilL :: forall nat (f :: Type -> Type) (n :: nat) a. (ListLike (f a) a, HasOrdinal nat) => n ~ Zero nat => Flipped f a n
- pattern (:>) :: forall nat (f :: Type -> Type) (n :: nat) a. (ListLike (f a) a, HasOrdinal nat) => forall (n1 :: nat). (n ~ Succ n1, SingI n1) => Flipped f a n1 -> a -> Flipped f a n
- pattern NilR :: forall nat (f :: Type -> Type) (n :: nat) a. (ListLike (f a) a, HasOrdinal nat) => n ~ Zero nat => Flipped 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 | |
|
Instances
pattern (:<) :: forall nat (f :: Type -> Type) (n :: nat) a. (ListLike (f a) a, HasOrdinal nat) => forall (n1 :: nat). (n ~ Succ n1, SingI n1) => a -> Flipped f a n1 -> Flipped f a n Source #
pattern NilL :: forall nat (f :: Type -> Type) (n :: nat) a. (ListLike (f a) a, HasOrdinal nat) => n ~ Zero nat => Flipped f a n Source #