Language.Syntactic.Sugar.TupleTyped

Syntactic instances for tuples and Typed symbol domains

Documentation

Orphan instances

(Syntactic a, Syntactic b, Typeable * (Internal a), Typeable * (Internal b), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b)) => Syntactic (a, b)

Associated Types

type Domain (a, b) :: * -> *

type Internal (a, b) :: *

Methods

desugar :: (a, b) -> ASTF (Domain (a, b)) (Internal (a, b))

sugar :: ASTF (Domain (a, b)) (Internal (a, b)) -> (a, b)

(Syntactic a, Syntactic b, Syntactic c, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c)) => Syntactic (a, b, c)

Associated Types

type Domain (a, b, c) :: * -> *

type Internal (a, b, c) :: *

Methods

desugar :: (a, b, c) -> ASTF (Domain (a, b, c)) (Internal (a, b, c))

sugar :: ASTF (Domain (a, b, c)) (Internal (a, b, c)) -> (a, b, c)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d)) => Syntactic (a, b, c, d)

Associated Types

type Domain (a, b, c, d) :: * -> *

type Internal (a, b, c, d) :: *

Methods

desugar :: (a, b, c, d) -> ASTF (Domain (a, b, c, d)) (Internal (a, b, c, d))

sugar :: ASTF (Domain (a, b, c, d)) (Internal (a, b, c, d)) -> (a, b, c, d)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e)) => Syntactic (a, b, c, d, e)

Associated Types

type Domain (a, b, c, d, e) :: * -> *

type Internal (a, b, c, d, e) :: *

Methods

desugar :: (a, b, c, d, e) -> ASTF (Domain (a, b, c, d, e)) (Internal (a, b, c, d, e))

sugar :: ASTF (Domain (a, b, c, d, e)) (Internal (a, b, c, d, e)) -> (a, b, c, d, e)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f)) => Syntactic (a, b, c, d, e, f)

Associated Types

type Domain (a, b, c, d, e, f) :: * -> *

type Internal (a, b, c, d, e, f) :: *

Methods

desugar :: (a, b, c, d, e, f) -> ASTF (Domain (a, b, c, d, e, f)) (Internal (a, b, c, d, e, f))

sugar :: ASTF (Domain (a, b, c, d, e, f)) (Internal (a, b, c, d, e, f)) -> (a, b, c, d, e, f)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g)) => Syntactic (a, b, c, d, e, f, g)

Associated Types

type Domain (a, b, c, d, e, f, g) :: * -> *

type Internal (a, b, c, d, e, f, g) :: *

Methods

desugar :: (a, b, c, d, e, f, g) -> ASTF (Domain (a, b, c, d, e, f, g)) (Internal (a, b, c, d, e, f, g))

sugar :: ASTF (Domain (a, b, c, d, e, f, g)) (Internal (a, b, c, d, e, f, g)) -> (a, b, c, d, e, f, g)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Syntactic h, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), Typeable * (Internal h), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g), (~) (* -> *) (Domain a) (Domain h)) => Syntactic (a, b, c, d, e, f, g, h)

Associated Types

type Domain (a, b, c, d, e, f, g, h) :: * -> *

type Internal (a, b, c, d, e, f, g, h) :: *

Methods

desugar :: (a, b, c, d, e, f, g, h) -> ASTF (Domain (a, b, c, d, e, f, g, h)) (Internal (a, b, c, d, e, f, g, h))

sugar :: ASTF (Domain (a, b, c, d, e, f, g, h)) (Internal (a, b, c, d, e, f, g, h)) -> (a, b, c, d, e, f, g, h)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Syntactic h, Syntactic i, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), Typeable * (Internal h), Typeable * (Internal i), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g), (~) (* -> *) (Domain a) (Domain h), (~) (* -> *) (Domain a) (Domain i)) => Syntactic (a, b, c, d, e, f, g, h, i)

Associated Types

type Domain (a, b, c, d, e, f, g, h, i) :: * -> *

type Internal (a, b, c, d, e, f, g, h, i) :: *

Methods

desugar :: (a, b, c, d, e, f, g, h, i) -> ASTF (Domain (a, b, c, d, e, f, g, h, i)) (Internal (a, b, c, d, e, f, g, h, i))

sugar :: ASTF (Domain (a, b, c, d, e, f, g, h, i)) (Internal (a, b, c, d, e, f, g, h, i)) -> (a, b, c, d, e, f, g, h, i)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Syntactic h, Syntactic i, Syntactic j, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), Typeable * (Internal h), Typeable * (Internal i), Typeable * (Internal j), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g), (~) (* -> *) (Domain a) (Domain h), (~) (* -> *) (Domain a) (Domain i), (~) (* -> *) (Domain a) (Domain j)) => Syntactic (a, b, c, d, e, f, g, h, i, j)

Associated Types

type Domain (a, b, c, d, e, f, g, h, i, j) :: * -> *

type Internal (a, b, c, d, e, f, g, h, i, j) :: *

Methods

desugar :: (a, b, c, d, e, f, g, h, i, j) -> ASTF (Domain (a, b, c, d, e, f, g, h, i, j)) (Internal (a, b, c, d, e, f, g, h, i, j))

sugar :: ASTF (Domain (a, b, c, d, e, f, g, h, i, j)) (Internal (a, b, c, d, e, f, g, h, i, j)) -> (a, b, c, d, e, f, g, h, i, j)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Syntactic h, Syntactic i, Syntactic j, Syntactic k, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), Typeable * (Internal h), Typeable * (Internal i), Typeable * (Internal j), Typeable * (Internal k), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g), (~) (* -> *) (Domain a) (Domain h), (~) (* -> *) (Domain a) (Domain i), (~) (* -> *) (Domain a) (Domain j), (~) (* -> *) (Domain a) (Domain k)) => Syntactic (a, b, c, d, e, f, g, h, i, j, k)

Associated Types

type Domain (a, b, c, d, e, f, g, h, i, j, k) :: * -> *

type Internal (a, b, c, d, e, f, g, h, i, j, k) :: *

Methods

desugar :: (a, b, c, d, e, f, g, h, i, j, k) -> ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k)) (Internal (a, b, c, d, e, f, g, h, i, j, k))

sugar :: ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k)) (Internal (a, b, c, d, e, f, g, h, i, j, k)) -> (a, b, c, d, e, f, g, h, i, j, k)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Syntactic h, Syntactic i, Syntactic j, Syntactic k, Syntactic l, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), Typeable * (Internal h), Typeable * (Internal i), Typeable * (Internal j), Typeable * (Internal k), Typeable * (Internal l), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g), (~) (* -> *) (Domain a) (Domain h), (~) (* -> *) (Domain a) (Domain i), (~) (* -> *) (Domain a) (Domain j), (~) (* -> *) (Domain a) (Domain k), (~) (* -> *) (Domain a) (Domain l)) => Syntactic (a, b, c, d, e, f, g, h, i, j, k, l)

Associated Types

type Domain (a, b, c, d, e, f, g, h, i, j, k, l) :: * -> *

type Internal (a, b, c, d, e, f, g, h, i, j, k, l) :: *

Methods

desugar :: (a, b, c, d, e, f, g, h, i, j, k, l) -> ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k, l)) (Internal (a, b, c, d, e, f, g, h, i, j, k, l))

sugar :: ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k, l)) (Internal (a, b, c, d, e, f, g, h, i, j, k, l)) -> (a, b, c, d, e, f, g, h, i, j, k, l)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Syntactic h, Syntactic i, Syntactic j, Syntactic k, Syntactic l, Syntactic m, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), Typeable * (Internal h), Typeable * (Internal i), Typeable * (Internal j), Typeable * (Internal k), Typeable * (Internal l), Typeable * (Internal m), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g), (~) (* -> *) (Domain a) (Domain h), (~) (* -> *) (Domain a) (Domain i), (~) (* -> *) (Domain a) (Domain j), (~) (* -> *) (Domain a) (Domain k), (~) (* -> *) (Domain a) (Domain l), (~) (* -> *) (Domain a) (Domain m)) => Syntactic (a, b, c, d, e, f, g, h, i, j, k, l, m)

Associated Types

type Domain (a, b, c, d, e, f, g, h, i, j, k, l, m) :: * -> *

type Internal (a, b, c, d, e, f, g, h, i, j, k, l, m) :: *

Methods

desugar :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k, l, m)) (Internal (a, b, c, d, e, f, g, h, i, j, k, l, m))

sugar :: ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k, l, m)) (Internal (a, b, c, d, e, f, g, h, i, j, k, l, m)) -> (a, b, c, d, e, f, g, h, i, j, k, l, m)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Syntactic h, Syntactic i, Syntactic j, Syntactic k, Syntactic l, Syntactic m, Syntactic n, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), Typeable * (Internal h), Typeable * (Internal i), Typeable * (Internal j), Typeable * (Internal k), Typeable * (Internal l), Typeable * (Internal m), Typeable * (Internal n), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g), (~) (* -> *) (Domain a) (Domain h), (~) (* -> *) (Domain a) (Domain i), (~) (* -> *) (Domain a) (Domain j), (~) (* -> *) (Domain a) (Domain k), (~) (* -> *) (Domain a) (Domain l), (~) (* -> *) (Domain a) (Domain m), (~) (* -> *) (Domain a) (Domain n)) => Syntactic (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Associated Types

type Domain (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: * -> *

type Internal (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: *

Methods

desugar :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) (Internal (a, b, c, d, e, f, g, h, i, j, k, l, m, n))

sugar :: ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) (Internal (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(Syntactic a, Syntactic b, Syntactic c, Syntactic d, Syntactic e, Syntactic f, Syntactic g, Syntactic h, Syntactic i, Syntactic j, Syntactic k, Syntactic l, Syntactic m, Syntactic n, Syntactic o, Typeable * (Internal a), Typeable * (Internal b), Typeable * (Internal c), Typeable * (Internal d), Typeable * (Internal e), Typeable * (Internal f), Typeable * (Internal g), Typeable * (Internal h), Typeable * (Internal i), Typeable * (Internal j), Typeable * (Internal k), Typeable * (Internal l), Typeable * (Internal m), Typeable * (Internal n), Typeable * (Internal o), (:<:) Tuple sym, (~) (* -> *) (Domain a) (Typed sym), (~) (* -> *) (Domain a) (Domain b), (~) (* -> *) (Domain a) (Domain c), (~) (* -> *) (Domain a) (Domain d), (~) (* -> *) (Domain a) (Domain e), (~) (* -> *) (Domain a) (Domain f), (~) (* -> *) (Domain a) (Domain g), (~) (* -> *) (Domain a) (Domain h), (~) (* -> *) (Domain a) (Domain i), (~) (* -> *) (Domain a) (Domain j), (~) (* -> *) (Domain a) (Domain k), (~) (* -> *) (Domain a) (Domain l), (~) (* -> *) (Domain a) (Domain m), (~) (* -> *) (Domain a) (Domain n), (~) (* -> *) (Domain a) (Domain o)) => Syntactic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Associated Types

type Domain (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: * -> *

type Internal (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: *

Methods

desugar :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) (Internal (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))

sugar :: ASTF (Domain (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) (Internal (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)