Safe Haskell	None
Language	Haskell2010

Data.Comp.Show

Documentation

class ShowH f where Source #

Methods

Instances

(Bifunctor (Dual (NT ((->) :: Type -> Type -> Type) :: (k -> Type) -> (k -> Type) -> Type)) (NT ((->) :: Type -> Type -> Type) :: (k -> Type) -> (k -> Type) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k -> Type) -> (k -> Type) -> Type) f, ShowH f) => ShowH (Cxt h f :: (k -> Type) -> (k -> Type) -> k -> Type) Source #
Instance details Defined in Data.Comp.Term Methods showH :: Cxt h f Name (Const (Fresh [Char])) i -> Fresh [Char] Source #