Safe Haskell	Safe

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

data DP A = ProblemCtor' A