Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add ExtractSymbolics instances for tuples longer than 2 #103

Merged
merged 1 commit into from Jul 20, 2023
Merged

Add ExtractSymbolics instances for tuples longer than 2 #103

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
65 changes: 65 additions & 0 deletions src/Grisette/Core/Data/Class/ExtractSymbolics.hs
View file
Open in desktop
Expand Up @@ -158,6 +158,71 @@
(ExtractSymbolics a, ExtractSymbolics b, ExtractSymbolics c) =>
ExtractSymbolics (a, b, c)

-- (,,,)
deriving via

Check warning on line 162 in src/Grisette/Core/Data/Class/ExtractSymbolics.hs

View check run for this annotation

Codecov / codecov/patch

src/Grisette/Core/Data/Class/ExtractSymbolics.hs#L162 

Added line #L162 was not covered by tests
(Default (a, b, c, d))
instance
( ExtractSymbolics a,
ExtractSymbolics b,
ExtractSymbolics c,
ExtractSymbolics d
) =>
ExtractSymbolics (a, b, c, d)

-- (,,,,)
deriving via

Check warning on line 173 in src/Grisette/Core/Data/Class/ExtractSymbolics.hs

View check run for this annotation

Codecov / codecov/patch

src/Grisette/Core/Data/Class/ExtractSymbolics.hs#L173 

Added line #L173 was not covered by tests
(Default (a, b, c, d, e))
instance
( ExtractSymbolics a,
ExtractSymbolics b,
ExtractSymbolics c,
ExtractSymbolics d,
ExtractSymbolics e
) =>
ExtractSymbolics (a, b, c, d, e)

-- (,,,,,)
deriving via

Check warning on line 185 in src/Grisette/Core/Data/Class/ExtractSymbolics.hs

View check run for this annotation

Codecov / codecov/patch

src/Grisette/Core/Data/Class/ExtractSymbolics.hs#L185 

Added line #L185 was not covered by tests
(Default (a, b, c, d, e, f))
instance
( ExtractSymbolics a,
ExtractSymbolics b,
ExtractSymbolics c,
ExtractSymbolics d,
ExtractSymbolics e,
ExtractSymbolics f
) =>
ExtractSymbolics (a, b, c, d, e, f)

-- (,,,,,,)
deriving via

Check warning on line 198 in src/Grisette/Core/Data/Class/ExtractSymbolics.hs

View check run for this annotation

Codecov / codecov/patch

src/Grisette/Core/Data/Class/ExtractSymbolics.hs#L198 

Added line #L198 was not covered by tests
(Default (a, b, c, d, e, f, g))
instance
( ExtractSymbolics a,
ExtractSymbolics b,
ExtractSymbolics c,
ExtractSymbolics d,
ExtractSymbolics e,
ExtractSymbolics f,
ExtractSymbolics g
) =>
ExtractSymbolics (a, b, c, d, e, f, g)

-- (,,,,,,,)
deriving via

Check warning on line 212 in src/Grisette/Core/Data/Class/ExtractSymbolics.hs

View check run for this annotation

Codecov / codecov/patch

src/Grisette/Core/Data/Class/ExtractSymbolics.hs#L212 

Added line #L212 was not covered by tests
(Default (a, b, c, d, e, f, g, h))
instance
( ExtractSymbolics a,
ExtractSymbolics b,
ExtractSymbolics c,
ExtractSymbolics d,
ExtractSymbolics e,
ExtractSymbolics f,
ExtractSymbolics g,
ExtractSymbolics h
) =>
ExtractSymbolics (a, b, c, d, e, f, g, h)

-- MaybeT
instance (ExtractSymbolics (m (Maybe a))) => ExtractSymbolics (MaybeT m a) where
extractSymbolics (MaybeT v) = extractSymbolics v
Expand Down