Data.Constraint.Deriving.DeriveAll

Documentation

data DeriveAll

A marker to tell the core plugin to derive all visible class instances for a given newtype.

The deriving logic is to simply re-use existing instance dictionaries by type-casting.

Constructors

DeriveAll

Same as DeriveAllBut [].

DeriveAllBut [String]

Specify a list of class names to ignore.

Instances

Eq DeriveAll

Defined in Data.Constraint.Deriving.DeriveAll

Methods

(==) :: DeriveAll -> DeriveAll -> Bool

(/=) :: DeriveAll -> DeriveAll -> Bool

Data DeriveAll

Defined in Data.Constraint.Deriving.DeriveAll

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DeriveAll -> c DeriveAll

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DeriveAll

toConstr :: DeriveAll -> Constr

dataTypeOf :: DeriveAll -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DeriveAll)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DeriveAll)

gmapT :: (forall b. Data b => b -> b) -> DeriveAll -> DeriveAll

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DeriveAll -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeriveAll -> r

gmapQ :: (forall d. Data d => d -> u) -> DeriveAll -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DeriveAll -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DeriveAll -> m DeriveAll

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DeriveAll -> m DeriveAll

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DeriveAll -> m DeriveAll

Read DeriveAll

Defined in Data.Constraint.Deriving.DeriveAll

Methods

readsPrec :: Int -> ReadS DeriveAll

readList :: ReadS [DeriveAll]

readPrec :: ReadPrec DeriveAll

readListPrec :: ReadPrec [DeriveAll]

Show DeriveAll

Defined in Data.Constraint.Deriving.DeriveAll

Methods

showsPrec :: Int -> DeriveAll -> ShowS

show :: DeriveAll -> String

showList :: [DeriveAll] -> ShowS

type family DeriveContext (t :: Type) :: Constraint

This type family is used to impose constraints on type parameters when looking up type instances for the DeriveAll core plugin.

DeriveAll uses only those instances that satisfy the specified constraint. If the constraint is not specified, it is assumed to be `()`.

deriveAllPass :: CorePluginEnvRef -> CoreToDo

Run DeriveAll plugin pass

type CorePluginEnvRef = IORef CorePluginEnv

Reference to the plugin environment variables.

initCorePluginEnv :: CoreM (IORef CorePluginEnv)

Init the CorePluginM environment and save it to IORef.