var-0.2.0.0: Mutable variables and tuples

Maintainerandy22286@gmail.com
Safe HaskellSafe-Inferred

Data.Tuple.ITuple.Lens

Description

 

Documentation

module Data.Tuple.ITuple

_1Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a :| as), ITuple t, ListRep t ~ (b :| as)) 
=> (a -> f b) 
-> s 
-> f t 

_2Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a1 :| (a :| as)), ITuple t, ListRep t ~ (a1 :| (b :| as))) 
=> (a -> f b) 
-> s 
-> f t 

_3Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a1 :| (a2 :| (a :| as))), ITuple t, ListRep t ~ (a1 :| (a2 :| (b :| as)))) 
=> (a -> f b) 
-> s 
-> f t 

_4Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a1 :| (a2 :| (a3 :| (a :| as)))), ITuple t, ListRep t ~ (a1 :| (a2 :| (a3 :| (b :| as))))) 
=> (a -> f b) 
-> s 
-> f t 

_5Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a1 :| (a2 :| (a3 :| (a4 :| (a :| as))))), ITuple t, ListRep t ~ (a1 :| (a2 :| (a3 :| (a4 :| (b :| as)))))) 
=> (a -> f b) 
-> s 
-> f t 

_6Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a1 :| (a2 :| (a3 :| (a4 :| (a5 :| (a :| as)))))), ITuple t, ListRep t ~ (a1 :| (a2 :| (a3 :| (a4 :| (a5 :| (b :| as))))))) 
=> (a -> f b) 
-> s 
-> f t 

_7Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a1 :| (a2 :| (a3 :| (a4 :| (a5 :| (a6 :| (a :| as))))))), ITuple t, ListRep t ~ (a1 :| (a2 :| (a3 :| (a4 :| (a5 :| (a6 :| (b :| as)))))))) 
=> (a -> f b) 
-> s 
-> f t 

_8Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a1 :| (a2 :| (a3 :| (a4 :| (a5 :| (a6 :| (a7 :| (a :| as)))))))), ITuple t, ListRep t ~ (a1 :| (a2 :| (a3 :| (a4 :| (a5 :| (a6 :| (a7 :| (b :| as))))))))) 
=> (a -> f b) 
-> s 
-> f t 

_9Source

Arguments

:: (Functor f, ITuple s, ListRep s ~ (a1 :| (a2 :| (a3 :| (a4 :| (a5 :| (a6 :| (a7 :| (a8 :| (a :| as))))))))), ITuple t, ListRep t ~ (a1 :| (a2 :| (a3 :| (a4 :| (a5 :| (a6 :| (a7 :| (a8 :| (b :| as)))))))))) 
=> (a -> f b) 
-> s 
-> f t 

tuple :: (Functor f, ITuple s, ITuple t) => (Tuple (ListRep s) -> f (Tuple (ListRep t))) -> s -> f tSource

_head :: Functor f => (x -> f y) -> Tuple (x :| xs) -> f (Tuple (y :| xs))Source

_tail :: Functor f => (Tuple xs -> f (Tuple ys)) -> Tuple (x :| xs) -> f (Tuple (x :| ys))Source