Data.FunctorShape
data Shape (f :: Type -> Type) where Source #
Bundled Patterns
Defined in Data.FunctorShape
Methods
enumeration :: FinFn (Shape f) (Shape f) Source #
withEnum :: (forall (n :: Nat). KnownNat n => (Shape f -> Finite n) -> (Finite n -> Shape f) -> r) -> r Source #
mempty :: Shape f #
mappend :: Shape f -> Shape f -> Shape f #
mconcat :: [Shape f] -> Shape f #
(<>) :: Shape f -> Shape f -> Shape f #
sconcat :: NonEmpty (Shape f) -> Shape f #
stimes :: Integral b => b -> Shape f -> Shape f #
showsPrec :: Int -> Shape f -> ShowS #
show :: Shape f -> String #
showList :: [Shape f] -> ShowS #
(==) :: Shape f -> Shape f -> Bool #
(/=) :: Shape f -> Shape f -> Bool #
compare :: Shape f -> Shape f -> Ordering #
(<) :: Shape f -> Shape f -> Bool #
(<=) :: Shape f -> Shape f -> Bool #
(>) :: Shape f -> Shape f -> Bool #
(>=) :: Shape f -> Shape f -> Bool #
max :: Shape f -> Shape f -> Shape f #
min :: Shape f -> Shape f -> Shape f #
mapShape :: (forall a. f a -> g a) -> Shape f -> Shape g Source #
lengthShape :: forall (f :: Type -> Type). Foldable f => Shape f -> Int Source #
nullShape :: forall (f :: Type -> Type). Foldable f => Shape f -> Bool Source #
data Ignored Source #
showsPrec :: Int -> Ignored -> ShowS #
show :: Ignored -> String #
showList :: [Ignored] -> ShowS #
(==) :: Ignored -> Ignored -> Bool #
(/=) :: Ignored -> Ignored -> Bool #
compare :: Ignored -> Ignored -> Ordering #
(<) :: Ignored -> Ignored -> Bool #
(<=) :: Ignored -> Ignored -> Bool #
(>) :: Ignored -> Ignored -> Bool #
(>=) :: Ignored -> Ignored -> Bool #
max :: Ignored -> Ignored -> Ignored #
min :: Ignored -> Ignored -> Ignored #
ignoredValue :: Ignored Source #
type WeakEq (f :: Type -> Type) = Eq (f Ignored) Source #
type WeakOrd (f :: Type -> Type) = Ord (f Ignored) Source #