Module

TLDR.Sugar

Package
purescript-tldr
Repository
mikesol/purescript-tldr

#DQM Source

type DQM a = And (Literal "\"") (And a (Literal "\""))

#L1 Source

type L1 :: Symbol -> Typetype L1 a = Literal a

#L2 Source

type L2 :: Symbol -> Symbol -> Typetype L2 a b = And (Literal a) (Literal b)

#L3 Source

type L3 :: Symbol -> Symbol -> Symbol -> Typetype L3 a b c = And (Literal a) (And (Literal b) (Literal c))

#L4 Source

type L4 :: Symbol -> Symbol -> Symbol -> Symbol -> Typetype L4 a b c d = And (Literal a) (And (Literal b) (And (Literal c) (Literal d)))

#L5 Source

type L5 :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Typetype L5 a b c d e = And (Literal a) (And (Literal b) (And (Literal c) (And (Literal d) (Literal e))))

#L6 Source

type L6 :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Typetype L6 a b c d e f = And (Literal a) (And (Literal b) (And (Literal c) (And (Literal d) (And (Literal e) (Literal f)))))

#L7 Source

type L7 :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Typetype L7 a b c d e f g = And (Literal a) (And (Literal b) (And (Literal c) (And (Literal d) (And (Literal e) (And (Literal f) (Literal g))))))

#L8 Source

type L8 :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Typetype L8 a b c d e f g h = And (Literal a) (And (Literal b) (And (Literal c) (And (Literal d) (And (Literal e) (And (Literal f) (And (Literal g) (Literal h)))))))

#L9 Source

type L9 :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Typetype L9 a b c d e f g h i = And (Literal a) (And (Literal b) (And (Literal c) (And (Literal d) (And (Literal e) (And (Literal f) (And (Literal g) (And (Literal h) (Literal i))))))))

#L10 Source

type L10 :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Typetype L10 a b c d e f g h i j = And (Literal a) (And (Literal b) (And (Literal c) (And (Literal d) (And (Literal e) (And (Literal f) (And (Literal g) (And (Literal h) (And (Literal i) (Literal j)))))))))