Language.Haskell.TH.TraverseCode

Documentation

class TraverseCode t where

Containers supporting "traversal" in Code.

Minimal complete definition

Nothing

Methods

traverseCode :: Quote m => (a -> Code m b) -> t a -> Code m (t b)

Given a container and a function to fill it with splices, produce a splice that will generate a container of their results.

default traverseCode :: (Quote m, GTraverseCode (Rep1 t), Generic1 t) => (a -> Code m b) -> t a -> Code m (t b)

Instances

TraverseCode ZipList

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> ZipList a -> Code m (ZipList b)

TraverseCode Complex

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Complex a -> Code m (Complex b)

TraverseCode Identity

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Identity a -> Code m (Identity b)

TraverseCode First

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> First a -> Code m (First b)

TraverseCode Last

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Last a -> Code m (Last b)

TraverseCode Down

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Down a -> Code m (Down b)

TraverseCode First

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> First a -> Code m (First b)

TraverseCode Last

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Last a -> Code m (Last b)

TraverseCode Max

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Max a -> Code m (Max b)

TraverseCode Min

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Min a -> Code m (Min b)

TraverseCode WrappedMonoid

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> WrappedMonoid a -> Code m (WrappedMonoid b)

TraverseCode Dual

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Dual a -> Code m (Dual b)

TraverseCode Product

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Product a -> Code m (Product b)

TraverseCode Sum

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Sum a -> Code m (Sum b)

TraverseCode Par1

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Par1 a -> Code m (Par1 b)

TraverseCode Digit

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Digit a -> Code m (Digit b)

TraverseCode Elem

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Elem a -> Code m (Elem b)

TraverseCode FingerTree

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> FingerTree a -> Code m (FingerTree b)

TraverseCode Node

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Node a -> Code m (Node b)

TraverseCode Seq

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Seq a -> Code m (Seq b)

TraverseCode ViewL

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> ViewL a -> Code m (ViewL b)

TraverseCode ViewR

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> ViewR a -> Code m (ViewR b)

TraverseCode Tree

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Tree a -> Code m (Tree b)

TraverseCode Array

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Array a -> Code m (Array b)

TraverseCode SmallArray

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> SmallArray a -> Code m (SmallArray b)

TraverseCode NonEmpty

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> NonEmpty a -> Code m (NonEmpty b)

TraverseCode Maybe

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Maybe a -> Code m (Maybe b)

TraverseCode Solo

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Solo a -> Code m (Solo b)

TraverseCode []

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> [a] -> Code m [b]

TraverseCode m => TraverseCode (WrappedMonad m)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m0 :: Type -> Type) a b. Quote m0 => (a -> Code m0 b) -> WrappedMonad m a -> Code m0 (WrappedMonad m b)

Lift a => TraverseCode (Either a)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b. Quote m => (a0 -> Code m b) -> Either a a0 -> Code m (Either a b)

TraverseCode (Proxy :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Proxy a -> Code m (Proxy b)

Lift a => TraverseCode (Arg a)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b. Quote m => (a0 -> Code m b) -> Arg a a0 -> Code m (Arg a b)

(Ix i, Lift i) => TraverseCode (Array i)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Array i a -> Code m (Array i b)

TraverseCode (U1 :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> U1 a -> Code m (U1 b)

TraverseCode (V1 :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> V1 a -> Code m (V1 b)

Lift a => TraverseCode ((,) a)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b. Quote m => (a0 -> Code m b) -> (a, a0) -> Code m (a, b)

TraverseCode (p a) => TraverseCode (WrappedArrow p a)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b. Quote m => (a0 -> Code m b) -> WrappedArrow p a a0 -> Code m (WrappedArrow p a b)

Lift a => TraverseCode (Const a :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b. Quote m => (a0 -> Code m b) -> Const a a0 -> Code m (Const a b)

TraverseCode f => TraverseCode (Ap f)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Ap f a -> Code m (Ap f b)

TraverseCode f => TraverseCode (Alt f)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Alt f a -> Code m (Alt f b)

TraverseCode f => TraverseCode (Rec1 f)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Rec1 f a -> Code m (Rec1 f b)

TraverseCode (URec Char :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> URec Char a -> Code m (URec Char b)

TraverseCode (URec Double :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> URec Double a -> Code m (URec Double b)

TraverseCode (URec Float :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> URec Float a -> Code m (URec Float b)

TraverseCode (URec Int :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> URec Int a -> Code m (URec Int b)

TraverseCode (URec Word :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> URec Word a -> Code m (URec Word b)

(Lift a, Lift b) => TraverseCode ((,,) a b)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b0. Quote m => (a0 -> Code m b0) -> (a, b, a0) -> Code m (a, b, b0)

(TraverseCode f, TraverseCode g) => TraverseCode (Product f g)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Product f g a -> Code m (Product f g b)

(TraverseCode f, TraverseCode g) => TraverseCode (Sum f g)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Sum f g a -> Code m (Sum f g b)

(TraverseCode f, TraverseCode g) => TraverseCode (f :*: g)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> (f :*: g) a -> Code m ((f :*: g) b)

(TraverseCode f, TraverseCode g) => TraverseCode (f :+: g)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> (f :+: g) a -> Code m ((f :+: g) b)

Lift a => TraverseCode (K1 i a :: TYPE LiftedRep -> Type)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b. Quote m => (a0 -> Code m b) -> K1 i a a0 -> Code m (K1 i a b)

TraverseCode f => TraverseCode (MP1 m f)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m0 :: Type -> Type) a b. Quote m0 => (a -> Code m0 b) -> MP1 m f a -> Code m0 (MP1 m f b)

(Lift a, Lift b, Lift c) => TraverseCode ((,,,) a b c)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b0. Quote m => (a0 -> Code m b0) -> (a, b, c, a0) -> Code m (a, b, c, b0)

(TraverseCode f, TraverseCode g) => TraverseCode (Compose f g)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> Compose f g a -> Code m (Compose f g b)

(TraverseCode f, TraverseCode g) => TraverseCode (f :.: g)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> (f :.: g) a -> Code m ((f :.: g) b)

TraverseCode f => TraverseCode (M1 i c f)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> M1 i c f a -> Code m (M1 i c f b)

(TraverseCode f, TraverseCode g) => TraverseCode (f :.: g)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a b. Quote m => (a -> Code m b) -> (f :.: g) a -> Code m ((f :.: g) b)

(Lift a, Lift b, Lift c, Lift d) => TraverseCode ((,,,,) a b c d)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b0. Quote m => (a0 -> Code m b0) -> (a, b, c, d, a0) -> Code m (a, b, c, d, b0)

(Lift a, Lift b, Lift c, Lift d, Lift e) => TraverseCode ((,,,,,) a b c d e)

Defined in Language.Haskell.TH.TraverseCode

Methods

traverseCode :: forall (m :: Type -> Type) a0 b0. Quote m => (a0 -> Code m b0) -> (a, b, c, d, e, a0) -> Code m (a, b, c, d, e, b0)

sequenceCode :: (TraverseCode t, Quote m) => t (Code m a) -> Code m (t a)

Given a container of splices, produce a splice that will generate a container of their results.

genericTraverseCode :: (Quote m, GTraverseCode (Rep1 t), Generic1 t) => (a -> Code m b) -> t a -> Code m (t b)

Like traverseCode, but using the Generics.Linear.Generic1 instance.

genericSequenceCode :: (Quote m, GTraverseCode (Rep1 t), Generic1 t) => t (Code m a) -> Code m (t a)

Like sequenceCode, but using the Generics.Linear.Generic1 instance.