on develop help sign in
Activate common extensions in cabal file
eb0e499Ali Abrar
reflex-vty.cabal+31−1
@@ -50,11 +50,41 @@ library
50 hs-source-dirs: src
50 hs-source-dirs: src
51 default-language: Haskell2010
51 default-language: Haskell2010
52 ghc-options: -Wall
52 ghc-options: -Wall
53+ default-extensions:
54+ BangPatterns
55+ ConstraintKinds
56+ CPP
57+ DataKinds
58+ DefaultSignatures
59+ DeriveFunctor
60+ DeriveGeneric
61+ FlexibleContexts
62+ FlexibleInstances
63+ FunctionalDependencies
64+ GADTs
65+ GeneralizedNewtypeDeriving
66+ KindSignatures
67+ LambdaCase
68+ MultiParamTypeClasses
69+ MultiWayIf
70+ OverloadedStrings
71+ PatternGuards
72+ PolyKinds
73+ QuasiQuotes
74+ RankNTypes
75+ RecursiveDo
76+ ScopedTypeVariables
77+ StandaloneDeriving
78+ TemplateHaskell
79+ TupleSections
80+ TypeApplications
81+ TypeFamilies
82+
53
83
54executable example
84executable example
55 hs-source-dirs: src-bin
85 hs-source-dirs: src-bin
56 main-is: example.hs
86 main-is: example.hs
57− ghc-options: -threaded
87+ ghc-options: -threaded -Wall
58 build-depends:
88 build-depends:
59 base,
89 base,
60 containers,
90 containers,
src/Control/Monad/NodeId.hs+1−6
@@ -2,12 +2,7 @@
2Module: Control.Monad.NodeId
2Module: Control.Monad.NodeId
3Description: Monad providing a supply of unique identifiers
3Description: Monad providing a supply of unique identifiers
4-}
4-}
5−{-# LANGUAGE DefaultSignatures #-}
6−{-# LANGUAGE FlexibleInstances #-}
7−{-# LANGUAGE GADTs #-}
8−{-# LANGUAGE GeneralizedNewtypeDeriving #-}
9−{-# LANGUAGE MultiParamTypeClasses #-}
10−{-# LANGUAGE UndecidableInstances #-}
5+{-# Language UndecidableInstances #-}
11module Control.Monad.NodeId
6module Control.Monad.NodeId
12 ( NodeId
7 ( NodeId
13 , MonadNodeId (..)
8 , MonadNodeId (..)
src/Data/Text/Zipper.hs−4
@@ -7,10 +7,6 @@ Description: A zipper for text documents that allows convenient editing and navi
7'TextZipper's can be converted into 'DisplayLines', which describe how the contents of the zipper will be displayed when wrapped to fit within a container of a certain width. It also provides some convenience facilities for converting interactions with the rendered DisplayLines back into manipulations of the underlying TextZipper.
7'TextZipper's can be converted into 'DisplayLines', which describe how the contents of the zipper will be displayed when wrapped to fit within a container of a certain width. It also provides some convenience facilities for converting interactions with the rendered DisplayLines back into manipulations of the underlying TextZipper.
8
8
9-}
9-}
10−{-# LANGUAGE BangPatterns #-}
11−{-# LANGUAGE FlexibleContexts #-}
12−{-# LANGUAGE LambdaCase #-}
13−{-# LANGUAGE OverloadedStrings #-}
14module Data.Text.Zipper where
10module Data.Text.Zipper where
15
11
16import Data.Char (isSpace)
12import Data.Char (isSpace)
src/Reflex/Class/Switchable.hs+1−3
@@ -2,9 +2,7 @@
2Module: Reflex.Class.Switchable
2Module: Reflex.Class.Switchable
3Description: A class for things that can be switched on the firing of an event
3Description: A class for things that can be switched on the firing of an event
4-}
4-}
5−{-# LANGUAGE FlexibleInstances #-}
6−{-# LANGUAGE FunctionalDependencies #-}
7−{-# LANGUAGE UndecidableInstances #-}
5+{-# Language UndecidableInstances #-}
8module Reflex.Class.Switchable where
6module Reflex.Class.Switchable where
9
7
10import Control.Monad
8import Control.Monad
src/Reflex/Spider/Orphans.hs−3
@@ -2,9 +2,6 @@
2Module: Reflex.Spider.Orphans
2Module: Reflex.Spider.Orphans
3Description: Orphan instances for SpiderTimeline and SpiderHost
3Description: Orphan instances for SpiderTimeline and SpiderHost
4-}
4-}
5−{-# LANGUAGE CPP #-}
6−{-# LANGUAGE FlexibleInstances #-}
7−{-# LANGUAGE MultiParamTypeClasses #-}
8{-# OPTIONS_GHC -fno-warn-orphans #-}
5{-# OPTIONS_GHC -fno-warn-orphans #-}
9module Reflex.Spider.Orphans where
6module Reflex.Spider.Orphans where
10
7
src/Reflex/Vty/Host.hs−6
@@ -2,12 +2,6 @@
2Module: Reflex.Vty.Host
2Module: Reflex.Vty.Host
3Description: Scaffolding for running a reflex-vty application
3Description: Scaffolding for running a reflex-vty application
4-}
4-}
5−{-# LANGUAGE ConstraintKinds #-}
6−{-# LANGUAGE FlexibleContexts #-}
7−{-# LANGUAGE GADTs #-}
8−{-# LANGUAGE LambdaCase #-}
9−{-# LANGUAGE RankNTypes #-}
10−
11module Reflex.Vty.Host
5module Reflex.Vty.Host
12 ( VtyApp
6 ( VtyApp
13 , VtyResult(..)
7 , VtyResult(..)
src/Reflex/Vty/Widget.hs+1−14
@@ -2,20 +2,7 @@
2Module: Reflex.Vty.Widget
2Module: Reflex.Vty.Widget
3Description: Basic set of widgets and building blocks for reflex-vty applications
3Description: Basic set of widgets and building blocks for reflex-vty applications
4-}
4-}
5−{-# LANGUAGE DefaultSignatures #-}
6−{-# LANGUAGE DeriveFunctor #-}
7−{-# LANGUAGE FlexibleContexts #-}
8−{-# LANGUAGE FlexibleInstances #-}
9−{-# LANGUAGE FunctionalDependencies #-}
10−{-# LANGUAGE GeneralizedNewtypeDeriving #-}
11−{-# LANGUAGE LambdaCase #-}
12−{-# LANGUAGE RankNTypes #-}
13−{-# LANGUAGE RecursiveDo #-}
14−{-# LANGUAGE ScopedTypeVariables #-}
15−{-# LANGUAGE StandaloneDeriving #-}
16−{-# LANGUAGE TupleSections #-}
17−{-# LANGUAGE TypeFamilies #-}
18−{-# LANGUAGE UndecidableInstances #-}
5+{-# Language UndecidableInstances #-}
19
6
20module Reflex.Vty.Widget
7module Reflex.Vty.Widget
21 ( VtyWidgetCtx(..)
8 ( VtyWidgetCtx(..)
src/Reflex/Vty/Widget/Input.hs−2
@@ -2,8 +2,6 @@
2Module: Reflex.Vty.Widget.Input
2Module: Reflex.Vty.Widget.Input
3Description: User input widgets for reflex-vty
3Description: User input widgets for reflex-vty
4-}
4-}
5−{-# LANGUAGE LambdaCase #-}
6−{-# LANGUAGE OverloadedStrings #-}
7module Reflex.Vty.Widget.Input
5module Reflex.Vty.Widget.Input
8 ( module Export
6 ( module Export
9 , module Reflex.Vty.Widget.Input
7 , module Reflex.Vty.Widget.Input
src/Reflex/Vty/Widget/Input/Text.hs−5
@@ -2,11 +2,6 @@
2Module: Reflex.Vty.Widget.Input.Text
2Module: Reflex.Vty.Widget.Input.Text
3Description: Widgets for accepting text input from users and manipulating text within those inputs
3Description: Widgets for accepting text input from users and manipulating text within those inputs
4-}
4-}
5−{-# LANGUAGE FlexibleContexts #-}
6−{-# LANGUAGE LambdaCase #-}
7−{-# LANGUAGE OverloadedStrings #-}
8−{-# LANGUAGE RecursiveDo #-}
9−{-# LANGUAGE ScopedTypeVariables #-}
10module Reflex.Vty.Widget.Input.Text
5module Reflex.Vty.Widget.Input.Text
11 ( module Reflex.Vty.Widget.Input.Text
6 ( module Reflex.Vty.Widget.Input.Text
12 , def
7 , def
src/Reflex/Vty/Widget/Layout.hs−11
@@ -2,17 +2,6 @@
2Module: Reflex.Vty.Widget.Layout
2Module: Reflex.Vty.Widget.Layout
3Description: Monad transformer and tools for arranging widgets and building screen layouts
3Description: Monad transformer and tools for arranging widgets and building screen layouts
4-}
4-}
5−{-# LANGUAGE AllowAmbiguousTypes #-}
6−{-# LANGUAGE FlexibleContexts #-}
7−{-# LANGUAGE FlexibleInstances #-}
8−{-# LANGUAGE GeneralizedNewtypeDeriving #-}
9−{-# LANGUAGE LambdaCase #-}
10−{-# LANGUAGE MultiParamTypeClasses #-}
11−{-# LANGUAGE RankNTypes #-}
12−{-# LANGUAGE RecordWildCards #-}
13−{-# LANGUAGE RecursiveDo #-}
14−{-# LANGUAGE ScopedTypeVariables #-}
15−{-# LANGUAGE TypeApplications #-}
16{-# LANGUAGE UndecidableInstances #-}
5{-# LANGUAGE UndecidableInstances #-}
17
6
18
7