Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Path.Lens

Contents

Synopsis

class ToTraversal (l :: * -> * -> *) where
- toTraversal :: l a b -> Traversal' a b
pathed :: (IsPath p, ToTraversal l) => p l a b -> Traversal' a b
newtype T a b = T {
- unT :: Traversal' a b
}
newtype I (p :: (* -> * -> *) -> * -> * -> *) (l :: * -> * -> *) (a :: *) (b :: *) = I a

Traversals

class ToTraversal (l :: * -> * -> *) where #

Methods

toTraversal :: l a b -> Traversal' a b #

pathed :: (IsPath p, ToTraversal l) => p l a b -> Traversal' a b #

Helpers

newtype T a b #

Constructors

T
Fields unT :: Traversal' a b

Instances details

Category T #
Instance details Defined in Data.Path.Lens Methods id :: forall (a :: k). T a a # (.) :: forall (b :: k) (c :: k) (a :: k). T b c -> T a b -> T a c #

newtype I (p :: (* -> * -> *) -> * -> * -> *) (l :: * -> * -> *) (a :: *) (b :: *) #

I p l a b wraps an a such that a path p l a b can be used as an index to traverse a b

ix :: p l a b -> Traversal' (I p l a b) b
ix = pathed

Constructors

I a

Instances details

(IsPath p, ToTraversal l) => Ixed (I p l a b) #
Instance details Defined in Data.Path.Lens Methods ix :: Index (I p l a b) -> Traversal' (I p l a b) (IxValue (I p l a b))
type Index (I p l a b) #
Instance details Defined in Data.Path.Lens type Index (I p l a b) = p l a b
type IxValue (I p l a b) #
Instance details Defined in Data.Path.Lens type IxValue (I p l a b) = b