Safe HaskellSafe

Bug294

Documentation

data A #

Instances

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

problemField :: TO A -> A #

problemField' :: DO A -> A #

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

data family DP t :: * #

Instances