Safe HaskellSafe

Bug294

Documentation

data A #

Instances

data DP A #
data TP A #
data TP A = ProblemCtor A

problemField :: TO A -> A #

problemField' :: DO A -> A #

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

data family DP t :: * #

Instances

data DP A #