noinia

{-# LANGUAGE UndecidableInstances #-}

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}

noinia

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TemplateHaskell #-}
module Compose where

import Data.Singletons
import Data.Singletons.TH

noinia

type Height = Int

data SkewTree a = Empty
                | TopNode !Height !(SkewTree a) a !(SkewTree a) !(SkewTree a)
                | InternalNode !Height !(SkewTree a) a !(SkewTree a)
                deriving (Show,Eq)


-- data SkewTree a = Empty

noinia

-- type Height = Int

data SkewTree a = Empty
                | InternalNode !(SkewTree a) a !(SkewTree a)
                | TopNode      !(SkewTree a) a !(SkewTree a) !(SkewTree a)
                deriving (Show,Eq)

leaf a = InternalNode Empty a Empty

noinia

{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}
module CoRecExtra where 

import           Data.Maybe(isJust, mapMaybe, listToMaybe, fromJust)
import           Data.Proxy
import           Data.Vinyl.Core
import           Data.Vinyl.Functor
import           Data.Vinyl.Lens

noinia

{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Main where

import           Control.Exception (catch)
import           Control.Monad (forM_)
import           Control.Monad.IO.Class (MonadIO)
import           Control.Monad.Trans.Reader (runReaderT)
import           Data.GI.Base

noinia

{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Main where

import           Control.Exception (catch)
import           Control.Monad (forM_)
import           Control.Monad.IO.Class (MonadIO)
import           Control.Monad.Trans.Reader (runReaderT)
import           Data.GI.Base

noinia

{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Main where

import           Control.Exception (catch)
import           Control.Monad (forM_)
import           Control.Monad.IO.Class (MonadIO)
import           Control.Monad.Trans.Reader (runReaderT)
import           Data.GI.Base

noinia

frank@UU# rm -rf ~/.stack
frank@UU# stack setup
Writing implicit global project config file to: /home/frank/.stack/global-project/stack.yaml
Note: You can change the snapshot via the resolver field there.
Using latest snapshot resolver: lts-9.10
Downloaded lts-9.10 build plan.
Selected mirror https://s3.amazonaws.com/hackage.fpcomplete.com/
Downloading root
Selected mirror https://s3.amazonaws.com/hackage.fpcomplete.com/
Downloading timestamp

noinia

frank@UU# stack install -v 
Version 1.5.1 x86_64
Compiled with:
- Cabal-1.24.2.0
- Glob-0.8.0
- HUnit-1.6.0.0
- MonadRandom-0.5.1
- QuickCheck-2.10.1
- SHA-1.6.4.2
- StateVar-1.1.0.4