Safe HaskellSafe

Bug294

Documentation

data A #

Instances

Instances details
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

Instances details
data TP A #
Instance details

Defined in Bug294

data TP A = ProblemCtor A

data family DP t :: * #

Instances

Instances details
data DP A #
Instance details

Defined in Bug294

data DP A = ProblemCtor' A

data family TO' t :: * #

Instances

Instances details
data TO' a #
Instance details

Defined in Bug294

data TO' a = PolyCtor