{-
	Copyright (C) 2018 Dr. Alistair Ward

	This file is part of BishBosh.

	BishBosh is free software: you can redistribute it and/or modify
	it under the terms of the GNU General Public License as published by
	the Free Software Foundation, either version 3 of the License, or
	(at your option) any later version.

	BishBosh is distributed in the hope that it will be useful,
	but WITHOUT ANY WARRANTY; without even the implied warranty of
	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
	GNU General Public License for more details.

	You should have received a copy of the GNU General Public License
	along with BishBosh.  If not, see <http://www.gnu.org/licenses/>.
-}
{- |
 [@AUTHOR@]	Dr. Alistair Ward

 [@DESCRIPTION@]	Defines the things a user can print.
-}

module BishBosh.UI.PrintObject (
-- * Types
-- ** Data-types
	PrintObject(..),
-- * Constants
	boardTag,
	configurationTag,
	fenTag,
	gameTag,
	helpTag,
	movesTag,
	pgnTag,
	range,
-- * Functions
	autoComplete
 ) where

import qualified	Control.Arrow
import qualified	Control.DeepSeq
import qualified	Data.Char
import qualified	Data.List
import qualified	Data.List.Extra

-- | Input-format.
boardTag :: String
boardTag :: String
boardTag		= String
"board"

-- | Input-format.
configurationTag :: String
configurationTag :: String
configurationTag	= String
"configuration"

-- | Input-format.
fenTag :: String
fenTag :: String
fenTag			= String
"fen"

-- | Input-format.
gameTag :: String
gameTag :: String
gameTag			= String
"game"

-- | Input-format.
helpTag :: String
helpTag :: String
helpTag			= String
"help"

-- | Input-format.
movesTag :: String
movesTag :: String
movesTag		= String
"moves"

-- | Input-format.
pgnTag :: String
pgnTag :: String
pgnTag			= String
"pgn"

-- | The type of an object that the user may want to be printed.
data PrintObject
	= Board
	| Configuration
	| FEN
	| Game
	| Help
	| Moves
	| PGN
	deriving PrintObject -> PrintObject -> Bool
(PrintObject -> PrintObject -> Bool)
-> (PrintObject -> PrintObject -> Bool) -> Eq PrintObject
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PrintObject -> PrintObject -> Bool
$c/= :: PrintObject -> PrintObject -> Bool
== :: PrintObject -> PrintObject -> Bool
$c== :: PrintObject -> PrintObject -> Bool
Eq

instance Control.DeepSeq.NFData PrintObject where
	rnf :: PrintObject -> ()
rnf PrintObject
_	= ()

instance Show PrintObject where
	showsPrec :: Int -> PrintObject -> ShowS
showsPrec Int
_ PrintObject
printObject	= String -> ShowS
showString (String -> ShowS) -> String -> ShowS
forall a b. (a -> b) -> a -> b
$ case PrintObject
printObject of
		PrintObject
Board		-> String
boardTag
		PrintObject
Configuration	-> String
configurationTag
		PrintObject
FEN		-> String
fenTag
		PrintObject
Game		-> String
gameTag
		PrintObject
Help		-> String
helpTag
		PrintObject
Moves		-> String
movesTag
		PrintObject
PGN		-> String
pgnTag

instance Read PrintObject where
	readsPrec :: Int -> ReadS PrintObject
readsPrec Int
_ String
s	= case ShowS -> (String, String) -> (String, String)
forall (a :: * -> * -> *) b c d.
Arrow a =>
a b c -> a (b, d) (c, d)
Control.Arrow.first ShowS
Data.List.Extra.lower ((String, String) -> (String, String))
-> [(String, String)] -> [(String, String)]
forall a b. (a -> b) -> [a] -> [b]
`map` ReadS String
lex String
s of
		[(String
"board", String
remainder)]		-> [(PrintObject
Board, String
remainder)]
		[(String
"configuration", String
remainder)]	-> [(PrintObject
Configuration, String
remainder)]
		[(String
"fen", String
remainder)]		-> [(PrintObject
FEN, String
remainder)]
		[(String
"game", String
remainder)]		-> [(PrintObject
Game, String
remainder)]
		[(String
"help", String
remainder)]		-> [(PrintObject
Help, String
remainder)]
		[(String
"moves", String
remainder)]		-> [(PrintObject
Moves, String
remainder)]
		[(String
"pgn", String
remainder)]		-> [(PrintObject
PGN, String
remainder)]
		[(String, String)]
_				-> []	-- No parse.

-- | The constant unordered list of possible values.
range :: [PrintObject]
range :: [PrintObject]
range	= [PrintObject
Board, PrintObject
Configuration, PrintObject
FEN, PrintObject
Game, PrintObject
Help, PrintObject
Moves, PrintObject
PGN]

-- | Replace the first word of the specified string with the name of a command of which it is an unambiguous case-insensitive prefix.
autoComplete :: ShowS
autoComplete :: ShowS
autoComplete	= (String -> ShowS) -> (String, String) -> String
forall a b c. (a -> b -> c) -> (a, b) -> c
uncurry String -> ShowS
forall a. [a] -> [a] -> [a]
(++) ((String, String) -> String)
-> (String -> (String, String)) -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShowS -> (String, String) -> (String, String)
forall (a :: * -> * -> *) b c d.
Arrow a =>
a b c -> a (b, d) (c, d)
Control.Arrow.first (
	\String
word -> case [
		String
tag |
			String
tag	<- [
				String
boardTag,
				String
configurationTag,
				String
fenTag,
				String
gameTag,
				String
helpTag,
				String
movesTag
			],
			ShowS
Data.List.Extra.lower String
word String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`Data.List.isPrefixOf` ShowS
Data.List.Extra.lower String
tag
	] of
		[String
tag]	-> String
tag
		[String]
_	-> String
word
 ) ((String, String) -> (String, String))
-> (String -> (String, String)) -> String -> (String, String)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Char -> Bool) -> String -> (String, String)
forall a. (a -> Bool) -> [a] -> ([a], [a])
break Char -> Bool
Data.Char.isSpace (String -> (String, String)) -> ShowS -> String -> (String, String)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShowS
Data.List.Extra.trimStart