Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.HeteroParList.Constrained

Documentation

data PL c (t :: k -> Type) (ss :: [k]) where Source #

Constructors

Nil :: PL c t '[]
(:^*) :: c s => t s -> PL c t ss -> PL c t (s ': ss)

Instances details

(Show (t s), Show (PL c t ss)) => Show (PL c t (s ': ss)) Source #
Instance details Defined in Data.HeteroParList.Constrained Methods showsPrec :: Int -> PL c t (s ': ss) -> ShowS # show :: PL c t (s ': ss) -> String # showList :: [PL c t (s ': ss)] -> ShowS #
Show (PL c t ('[] :: [k])) Source #
Instance details Defined in Data.HeteroParList.Constrained Methods showsPrec :: Int -> PL c t '[] -> ShowS # show :: PL c t '[] -> String # showList :: [PL c t '[]] -> ShowS #