Skip to content

Commit

Permalink
[#148] small improvements
Browse files Browse the repository at this point in the history
  • Loading branch information
marcosh committed Jan 21, 2020
1 parent d681402 commit cd8a8f9
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions src/Language/CQL/Schema.hs
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,8 @@ along with this program. If not, see <https://www.gnu.org/licenses/>.
{-# LANGUAGE UndecidableInstances #-}

module Language.CQL.Schema where

import Control.Arrow ((***))
import Control.DeepSeq
import Data.Bifunctor (second)
import Data.List (nub)
Expand All @@ -46,7 +48,7 @@ import Data.Maybe
import Data.Set as Set
import Data.Typeable
import Data.Void
import Control.Arrow ((***))

import Language.CQL.Collage (Collage(..), typeOfCol)
import Language.CQL.Common
import Language.CQL.Options
Expand Down Expand Up @@ -122,7 +124,7 @@ up1Ctx
:: (Ord var)
=> Ctx var (ty+Void)
-> Ctx (()+var) (ty+x)
up1Ctx ctx = second absurd <$> Map.mapKeys Right ctx
up1Ctx = (second absurd <$>) . Map.mapKeys Right

typesideToSchema :: Typeside var ty sym -> Schema var ty sym Void Void Void
typesideToSchema ts'' = Schema ts'' Set.empty Map.empty Map.empty Set.empty Set.empty $ \x _ -> absurd x
Expand Down

0 comments on commit cd8a8f9

Please sign in to comment.