Data.MGeneric.Instances

Documentation

data Test a b c

Constructors

Test ([(a, [b])], c)

Instances

(MZipWithG (* -> * -> * -> *) n Test (Rep ((:$:) (* -> * -> * -> *) Test (LCodoms n ((:) * f ((:) * g ((:) * h ([] *))))))) ((:) * f ((:) * g ((:) * h ([] *)))), GMZipWith n (Rep ((:$:) (* -> * -> * -> *) Test (LCodoms n ((:) * f ((:) * g ((:) * h ([] *))))))) ((:) * f ((:) * g ((:) * h ([] *))))) => MZipWith (* -> * -> * -> *) n Test ((:) * f ((:) * g ((:) * h ([] *))))

Unapply (* -> * -> * -> *) (Test a b c) Test ((:) * a ((:) * b ((:) * c ([] *))))

(Show a, Show b, Show c) => Show (Test a b c)

MGeneric (Test a b c)

type Rep (Test a0 b0 c0) = UF * ((:@:) * (* -> * -> *) (,) ((:) (Field *) ((:@:) * (* -> *) [] ((:) (Field *) ((:@:) * (* -> * -> *) (,) ((:) (Field *) (FP * NZ) ((:) (Field *) ((:@:) * (* -> *) [] ((:) (Field *) (FP * (NS NZ)) ([] (Field *)))) ([] (Field *))))) ([] (Field *)))) ((:) (Field *) (FP * (NS (NS NZ))) ([] (Field *)))))

type Pars (Test a0 b0 c0) = (:) * a0 ((:) * b0 ((:) * c0 ([] *)))