Safe HaskellSafe

Bug294

Documentation

data A #

Instances
data DP A #
Instance details
data TP A #
Instance details
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
data TP A = ProblemCtor A

data family DP t :: * #

Instances
data DP A #
Instance details

data family TO' t :: * #

Instances
data TO' a #
Instance details
data TO' a = PolyCtor