circuithub/rel8
1
1
Fork 0
mirror of https://github.com/circuithub/rel8.git synced 2024-11-09 12:48:16 +03:00
Code Issues Projects Releases Wiki Activity

Dead code

Browse Source
This commit is contained in:
Oliver Charles 2020-10-12 21:58:50 +01:00
parent d64bbc19c8
commit 8bb1fd5c9b
1 changed files with 0 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Rel8/Core.hs
View File

@ -839,20 +839,6 @@ instance (HigherKindedTable t, f' ~ Apply g f) => Recontextualise g (t f) (t f')
mapContext _ c f as = htabulate c (\field -> f (hfield as field))
instance (Recontextualise g a a', Recontextualise g b b', Context a ~ Context b) => Recontextualise g (a, b) (a', b') where
type MapContext g (a, b) = (MapContext g a, MapContext g b)
mapContext g c f (a, b) = (,) <$> mapContext g c f a <*> mapContext g c f b
-- | FIXME: This isn't quite right
instance Recontextualise Lit (Identity a) (Expr a) where
type MapContext Lit (Identity a) = Expr a
mapContext _ _ f (Identity a) = unC <$> f (MkC a)
where
unC (MkC x) = x
-- | A deriving-via helper type for column types that store a Haskell value
-- using a JSON encoding described by @aeson@'s 'ToJSON' and 'FromJSON' type
-- classes.