Safe Haskell	Safe

Bug294

Documentation

data A #

Instances

data DP A #
Instance details Defined in Bug294 data DP A = ProblemCtor' A
data TP A #
Instance details Defined in Bug294 data TP A = ProblemCtor A

problemField :: TO A -> A #

problemField' :: DO A -> A #

gadtField :: ({..} -> GADT A) -> A #

data family TP t :: * #

Instances

data TP A #
Instance details Defined in Bug294 data TP A = ProblemCtor A

data family DP t :: * #

Instances

data DP A #
Instance details Defined in Bug294 data DP A = ProblemCtor' A

data family TO' t :: * #

Instances

data TO' a #
Instance details Defined in Bug294 data TO' a = PolyCtor