(Elt sh, Elt a, Elt a') => Field1 (Exp (sh :. a)) (Exp (sh :. a')) (Exp a) (Exp a') Source # | |
Instance details |
(Elt sh, Elt a, Elt b, Elt b') => Field2 (Exp ((sh :. b) :. a)) (Exp ((sh :. b') :. a)) (Exp b) (Exp b') Source # | |
Instance details |
(Elt sh, Elt a, Elt b, Elt c, Elt c') => Field3 (Exp (((sh :. c) :. b) :. a)) (Exp (((sh :. c') :. b) :. a)) (Exp c) (Exp c') Source # | |
Instance details |
(Elt sh, Elt a, Elt b, Elt c, Elt d, Elt d') => Field4 (Exp ((((sh :. d) :. c) :. b) :. a)) (Exp ((((sh :. d') :. c) :. b) :. a)) (Exp d) (Exp d') Source # | |
Instance details |
(Elt sh, Elt a, Elt b, Elt c, Elt d, Elt e, Elt e') => Field5 (Exp (((((sh :. e) :. d) :. c) :. b) :. a)) (Exp (((((sh :. e') :. d) :. c) :. b) :. a)) (Exp e) (Exp e') Source # | |
Instance details |
(Elt sh, Elt a, Elt b, Elt c, Elt d, Elt e, Elt f, Elt f') => Field6 (Exp ((((((sh :. f) :. e) :. d) :. c) :. b) :. a)) (Exp ((((((sh :. f') :. e) :. d) :. c) :. b) :. a)) (Exp f) (Exp f') Source # | |
Instance details |
(Elt sh, Elt a, Elt b, Elt c, Elt d, Elt e, Elt f, Elt g, Elt g') => Field7 (Exp (((((((sh :. g) :. f) :. e) :. d) :. c) :. b) :. a)) (Exp (((((((sh :. g') :. f) :. e) :. d) :. c) :. b) :. a)) (Exp g) (Exp g') Source # | |
Instance details |
(Elt sh, Elt a, Elt b, Elt c, Elt d, Elt e, Elt f, Elt g, Elt h, Elt h') => Field8 (Exp ((((((((sh :. h) :. g) :. f) :. e) :. d) :. c) :. b) :. a)) (Exp ((((((((sh :. h') :. g) :. f) :. e) :. d) :. c) :. b) :. a)) (Exp h) (Exp h') Source # | |
Instance details |
(Elt sh, Elt a, Elt b, Elt c, Elt d, Elt e, Elt f, Elt g, Elt h, Elt i, Elt i') => Field9 (Exp (((((((((sh :. i) :. h) :. g) :. f) :. e) :. d) :. c) :. b) :. a)) (Exp (((((((((sh :. i') :. h) :. g) :. f) :. e) :. d) :. c) :. b) :. a)) (Exp i) (Exp i') Source # | |
Instance details |