Control.MultiWalk.HasSub

This module is the heart of multiwalk, providing generic instances for modifying and querying data types.

Documentation

class HasSub ctag tag (ls :: Spec) t where

Methods

modSub :: forall c m. (Applicative m, AllMods c ls) => Proxy c -> (forall s. c s => Proxy s -> Carrier ctag s -> m (Carrier ctag s)) -> t -> m t

getSub :: forall c m. (Monoid m, AllMods c ls) => Proxy c -> (forall s. c s => Proxy s -> Carrier ctag s -> m) -> t -> m

Instances

HasSub tag (ctag :: k) 'SpecLeaf t

Defined in Control.MultiWalk.HasSub

Methods

modSub :: forall c m. (Applicative m, AllMods c 'SpecLeaf) => Proxy c -> (forall s. c s => Proxy s -> Carrier tag s -> m (Carrier tag s)) -> t -> m t

getSub :: forall c m. (Monoid m, AllMods c 'SpecLeaf) => Proxy c -> (forall s. c s => Proxy s -> Carrier tag s -> m) -> t -> m

(Generic t, HasSub' ctag (l ': ls) ('Nothing :: Maybe Symbol) ('Nothing :: Maybe Symbol) (Rep t)) => HasSub ctag GSubTag ('SpecList (l ': ls)) t

Defined in Control.MultiWalk.HasSub

Methods

modSub :: forall c m. (Applicative m, AllMods c ('SpecList (l ': ls))) => Proxy c -> (forall s. c s => Proxy s -> Carrier ctag s -> m (Carrier ctag s)) -> t -> m t

getSub :: forall c m. (Monoid m, AllMods c ('SpecList (l ': ls))) => Proxy c -> (forall s. c s => Proxy s -> Carrier ctag s -> m) -> t -> m

Carrier tag s ~ t => HasSub tag (ctag :: k) ('SpecSelf s) t

Defined in Control.MultiWalk.HasSub

Methods

modSub :: forall c m. (Applicative m, AllMods c ('SpecSelf s)) => Proxy c -> (forall s0. c s0 => Proxy s0 -> Carrier tag s0 -> m (Carrier tag s0)) -> t -> m t

getSub :: forall c m. (Monoid m, AllMods c ('SpecSelf s)) => Proxy c -> (forall s0. c s0 => Proxy s0 -> Carrier tag s0 -> m) -> t -> m

data Spec

Constructors

SpecList [SubSpec]

SpecLeaf

SpecSelf Type

Modifiers (used for customizing constraints)

data SubSpec

Constructors

SubSpec

Fields

• SelSpec

  Constructor and field selectors

• Type

  Modifiers (used for customizing constraints)

• Type

  Carrier type, should be equal to Carrier of type above (to be aligned with the target's generic subtypes)

Instances

(Generic t, HasSub' ctag (l ': ls) ('Nothing :: Maybe Symbol) ('Nothing :: Maybe Symbol) (Rep t)) => HasSub ctag GSubTag ('SpecList (l ': ls)) t

Defined in Control.MultiWalk.HasSub

Methods

modSub :: forall c m. (Applicative m, AllMods c ('SpecList (l ': ls))) => Proxy c -> (forall s. c s => Proxy s -> Carrier ctag s -> m (Carrier ctag s)) -> t -> m t

getSub :: forall c m. (Monoid m, AllMods c ('SpecList (l ': ls))) => Proxy c -> (forall s. c s => Proxy s -> Carrier ctag s -> m) -> t -> m

data SelSpec

Constructors

NoSel

ConsSel Symbol

FieldSel Symbol

ConsFieldSel Symbol Symbol

type family Carrier ctag a :: Type

Instances

type Carrier MWCTag a

Defined in Control.MultiWalk.Contains

type Carrier MWCTag a = ContainsCarrier a

type Carrier MWCTag a

Defined in Control.MultiWalk.Contains

type Carrier MWCTag a = ContainsCarrier a

type ToSpec tag (a :: Type) = 'SubSpec 'NoSel a (Carrier tag a)

type ToSpecSel tag (s :: SelSpec) (a :: Type) = 'SubSpec s a (Carrier tag a)

type family All (p :: k -> Constraint) (as :: [k]) :: Constraint where ...

Equations

All p '[] = ()

All p (a ': as) = (p a, All p as)

type family AllMods (p :: Type -> Constraint) (as :: Spec) :: Constraint where ...

Equations

AllMods p ('SpecList ls) = AllMods' p ls

AllMods p ('SpecSelf t) = p t

AllMods p 'SpecLeaf = ()

data GSubTag

Instances

(Generic t, HasSub' ctag (l ': ls) ('Nothing :: Maybe Symbol) ('Nothing :: Maybe Symbol) (Rep t)) => HasSub ctag GSubTag ('SpecList (l ': ls)) t

Defined in Control.MultiWalk.HasSub

Methods

modSub :: forall c m. (Applicative m, AllMods c ('SpecList (l ': ls))) => Proxy c -> (forall s. c s => Proxy s -> Carrier ctag s -> m (Carrier ctag s)) -> t -> m t

getSub :: forall c m. (Monoid m, AllMods c ('SpecList (l ': ls))) => Proxy c -> (forall s. c s => Proxy s -> Carrier ctag s -> m) -> t -> m