| Safe Haskell | None |
|---|
RedactTypeSynonyms
Synopsis
- type ExportedType1 :: Type
- type ExportedType2 a :: Type
- type ExportedType3 :: Constraint
- type ExportedType4 a = (a, ExportedType2 a)
- type ExportedType5 (f :: k1 -> k2) (a :: k1) :: (k1, k2, Type)
- exportedFn :: Bool -> AlsoHidden
Documentation
type ExportedType1 :: Type #
A type that should be redacted.
type ExportedType2 a :: Type #
Another type that should be redacted, but that shouldn't suppress the
warning about AlsoHidden, because it's also visible in exportedFn.
type ExportedType3 :: Constraint #
For a little kind variety.
type ExportedType4 a = (a, ExportedType2 a) #
This type does not need to be redacted.
type ExportedType5 (f :: k1 -> k2) (a :: k1) :: (k1, k2, Type) #
This type has parameters in the result kind.
exportedFn :: Bool -> AlsoHidden #
A function.