{-# LANGUAGE CPP #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# OPTIONS_GHC -Wall -fno-warn-orphans -fno-warn-unused-do-bind #-}

module Sound.Tidal.ParseBP where

{-
    ParseBP.hs - Parser for Tidal's "mini-notation", inspired by
      Bernard Bel's BP2 (Bol Processor 2) system.
    Copyright (C) 2020, Alex McLean and contributors

    This library 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.

    This library 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 this library.  If not, see <http://www.gnu.org/licenses/>.
-}

import Control.Applicative ()
import qualified Control.Exception as E
import Data.Bifunctor (first)
import Data.Colour (Colour)
import Data.Colour.Names (readColourName)
import Data.Functor (($>))
import Data.Functor.Identity (Identity)
import Data.List (intercalate)
import Data.Maybe (fromMaybe)
import Data.Ratio ((%))
import Data.String (IsString (..))
import Data.Typeable (Typeable)
import Sound.Tidal.Chords
  ( Modifier (..),
    chordTable,
    chordToPatSeq,
  )
import Sound.Tidal.Core
  ( cB_,
    cF_,
    cI_,
    cN_,
    cR_,
    cS_,
    fastFromList,
    stack,
    timeCat,
    _cX_,
  )
import Sound.Tidal.Pattern
  ( Context (Context),
    Note (Note),
    Pattern,
    Time,
    fast,
    getS,
    innerJoin,
    rotL,
    setContext,
    silence,
    slow,
    unwrap,
  )
import Sound.Tidal.UI
  ( chooseBy,
    euclidOff,
    euclidOffBool,
    rand,
    segment,
    _degradeByUsing,
  )
import Sound.Tidal.Utils (fromRight)
import Text.Parsec.Error
  ( ParseError,
    errorMessages,
    errorPos,
    showErrorMessages,
  )
import qualified Text.Parsec.Prim
import Text.ParserCombinators.Parsec
import Text.ParserCombinators.Parsec.Language (haskellDef)
import qualified Text.ParserCombinators.Parsec.Token as P

data TidalParseError = TidalParseError
  { parsecError :: Text.Parsec.Error.ParseError,
    code :: String
  }
  deriving (Eq, Typeable)

instance E.Exception TidalParseError

instance Show TidalParseError where
  show :: TidalParseError -> String
  show err = "Syntax error in sequence:\n  \"" ++ code err ++ "\"\n  " ++ pointer ++ "  " ++ message
    where
      pointer = replicate (sourceColumn $ Text.Parsec.Error.errorPos perr) ' ' ++ "^"
      message = Text.Parsec.Error.showErrorMessages "or" "unknown parse error" "expecting" "unexpected" "end of input" $ Text.Parsec.Error.errorMessages perr
      perr = parsecError err

type MyParser = Text.Parsec.Prim.Parsec String Int

-- | AST representation of patterns
data TPat a where
  TPat_Atom :: (Maybe ((Int, Int), (Int, Int))) -> a -> TPat a
  TPat_Fast :: (TPat Time) -> (TPat a) -> TPat a
  TPat_Slow :: (TPat Time) -> (TPat a) -> TPat a
  TPat_DegradeBy :: Int -> Double -> (TPat a) -> TPat a
  TPat_CycleChoose :: Int -> [TPat a] -> TPat a
  TPat_Euclid :: (TPat Int) -> (TPat Int) -> (TPat Int) -> (TPat a) -> TPat a
  TPat_Stack :: [TPat a] -> TPat a
  TPat_Polyrhythm :: (Maybe (TPat Rational)) -> [TPat a] -> TPat a
  TPat_Seq :: [TPat a] -> TPat a
  TPat_Silence :: TPat a
  TPat_Foot :: TPat a
  TPat_Elongate :: Rational -> (TPat a) -> TPat a
  TPat_Repeat :: Int -> (TPat a) -> TPat a
  TPat_EnumFromTo :: (TPat a) -> (TPat a) -> TPat a
  TPat_Var :: String -> TPat a
  TPat_Chord :: (Num b, Enum b, Parseable b, Enumerable b) => (b -> a) -> (TPat b) -> (TPat String) -> [TPat [Modifier]] -> TPat a

instance (Show a) => Show (TPat a) where
  show (TPat_Atom c v) = "TPat_Atom (" ++ show c ++ ") (" ++ show v ++ ")"
  show (TPat_Fast t v) = "TPat_Fast (" ++ show t ++ ") (" ++ show v ++ ")"
  show (TPat_Slow t v) = "TPat_Slow (" ++ show t ++ ") (" ++ show v ++ ")"
  show (TPat_DegradeBy x r v) = "TPat_DegradeBy (" ++ show x ++ ") (" ++ show r ++ ") (" ++ show v ++ ")"
  show (TPat_CycleChoose x vs) = "TPat_CycleChoose (" ++ show x ++ ") (" ++ show vs ++ ")"
  show (TPat_Euclid a b c v) = "TPat_Euclid (" ++ show a ++ ") (" ++ show b ++ ") (" ++ show c ++ ") " ++ show v ++ ")"
  show (TPat_Stack vs) = "TPat_Stack " ++ show vs
  show (TPat_Polyrhythm mSteprate vs) = "TPat_Polyrhythm (" ++ show mSteprate ++ ") " ++ show vs
  show (TPat_Seq vs) = "TPat_Seq " ++ show vs
  show TPat_Silence = "TPat_Silence"
  show TPat_Foot = "TPat_Foot"
  show (TPat_Elongate r v) = "TPat_Elongate (" ++ show r ++ ") (" ++ show v ++ ")"
  show (TPat_Repeat r v) = "TPat_Repeat (" ++ show r ++ ") (" ++ show v ++ ")"
  show (TPat_EnumFromTo a b) = "TPat_EnumFromTo (" ++ show a ++ ") (" ++ show b ++ ")"
  show (TPat_Var s) = "TPat_Var " ++ show s
  show (TPat_Chord g iP nP msP) = "TPat_Chord (" ++ show (fmap g iP) ++ ") (" ++ show nP ++ ") (" ++ show msP ++ ")"

instance Functor TPat where
  fmap f (TPat_Atom c v) = TPat_Atom c (f v)
  fmap f (TPat_Fast t v) = TPat_Fast t (fmap f v)
  fmap f (TPat_Slow t v) = TPat_Slow t (fmap f v)
  fmap f (TPat_DegradeBy x r v) = TPat_DegradeBy x r (fmap f v)
  fmap f (TPat_CycleChoose x vs) = TPat_CycleChoose x (map (fmap f) vs)
  fmap f (TPat_Euclid a b c v) = TPat_Euclid a b c (fmap f v)
  fmap f (TPat_Stack vs) = TPat_Stack (map (fmap f) vs)
  fmap f (TPat_Polyrhythm mSteprate vs) = TPat_Polyrhythm mSteprate (map (fmap f) vs)
  fmap f (TPat_Seq vs) = TPat_Seq (map (fmap f) vs)
  fmap _ TPat_Silence = TPat_Silence
  fmap _ TPat_Foot = TPat_Foot
  fmap f (TPat_Elongate r v) = TPat_Elongate r (fmap f v)
  fmap f (TPat_Repeat r v) = TPat_Repeat r (fmap f v)
  fmap f (TPat_EnumFromTo a b) = TPat_EnumFromTo (fmap f a) (fmap f b)
  fmap _ (TPat_Var s) = TPat_Var s
  fmap f (TPat_Chord g iP nP msP) = TPat_Chord (f . g) iP nP msP

tShowList :: (Show a) => [TPat a] -> String
tShowList vs = "[" ++ intercalate "," (map tShow vs) ++ "]"

tShow :: (Show a) => TPat a -> String
tShow (TPat_Atom _ v) = "pure " ++ show v
tShow (TPat_Fast t v) = "fast " ++ show t ++ " $ " ++ tShow v
tShow (TPat_Slow t v) = "slow " ++ show t ++ " $ " ++ tShow v
-- TODO - should be _degradeByUsing, but needs a simplified version..
tShow (TPat_DegradeBy _ r v) = "degradeBy " ++ show r ++ " $ " ++ tShow v
-- TODO - ditto
tShow (TPat_CycleChoose _ vs) = "cycleChoose " ++ tShowList vs
tShow (TPat_Euclid a b c v) = "doEuclid (" ++ intercalate ") (" (map tShow [a, b, c]) ++ ") $ " ++ tShow v
tShow (TPat_Stack vs) = "stack " ++ tShowList vs
tShow (TPat_Polyrhythm mSteprate vs) = "stack [" ++ intercalate ", " (map adjust_speed pats) ++ "]"
  where
    adjust_speed (sz, pat) = "(fast (" ++ (steprate ++ "/" ++ show sz) ++ ") $ " ++ pat ++ ")"
    steprate :: String
    steprate = maybe base_first tShow mSteprate
    base_first
      | null pats = "0"
      | otherwise = show $ fst $ head pats
    pats = map steps_tpat vs
tShow (TPat_Seq vs) = snd $ steps_seq vs
tShow TPat_Silence = "silence"
tShow (TPat_EnumFromTo a b) = "unwrap $ fromTo <$> (" ++ tShow a ++ ") <*> (" ++ tShow b ++ ")"
tShow (TPat_Var s) = "getControl " ++ s
tShow (TPat_Chord f n name mods) = "chord (" ++ tShow (fmap f n) ++ ") (" ++ tShow name ++ ")" ++ tShowList mods
tShow a = "can't happen? " ++ show a

toPat :: (Parseable a, Enumerable a) => TPat a -> Pattern a
toPat = \case
  TPat_Atom (Just loc) x -> setContext (Context [loc]) $ pure x
  TPat_Atom Nothing x -> pure x
  TPat_Fast t x -> fast (toPat t) $ toPat x
  TPat_Slow t x -> slow (toPat t) $ toPat x
  TPat_DegradeBy seed amt x -> _degradeByUsing (rotL (0.0001 * fromIntegral seed) rand) amt $ toPat x
  TPat_CycleChoose seed xs -> unwrap $ segment 1 $ chooseBy (rotL (0.0001 * fromIntegral seed) rand) $ map toPat xs
  TPat_Euclid n k s thing -> doEuclid (toPat n) (toPat k) (toPat s) (toPat thing)
  TPat_Stack xs -> stack $ map toPat xs
  TPat_Silence -> silence
  TPat_EnumFromTo a b -> unwrap $ fromTo <$> toPat a <*> toPat b
  TPat_Foot -> error "Can't happen, feet are pre-processed."
  TPat_Polyrhythm mSteprate ps -> stack $ map adjust_speed pats
    where
      adjust_speed (sz, pat) = fast ((/ sz) <$> steprate) pat
      pats = map resolve_tpat ps
      steprate :: Pattern Rational
      steprate = (maybe base_first toPat mSteprate)
      base_first
        | null pats = pure 0
        | otherwise = pure $ fst $ head pats
  TPat_Seq xs -> snd $ resolve_seq xs
  TPat_Var s -> getControl s
  TPat_Chord f iP nP mP -> chordToPatSeq f (toPat iP) (toPat nP) (map toPat mP)
  _ -> silence

resolve_tpat :: (Enumerable a, Parseable a) => TPat a -> (Rational, Pattern a)
resolve_tpat (TPat_Seq xs) = resolve_seq xs
resolve_tpat a = (1, toPat a)

resolve_seq :: (Enumerable a, Parseable a) => [TPat a] -> (Rational, Pattern a)
resolve_seq xs = (total_size, timeCat sized_pats)
  where
    sized_pats = map (toPat <$>) $ resolve_size xs
    total_size = sum $ map fst sized_pats

resolve_size :: [TPat a] -> [(Rational, TPat a)]
resolve_size [] = []
resolve_size ((TPat_Elongate r p) : ps) = (r, p) : resolve_size ps
resolve_size ((TPat_Repeat n p) : ps) = replicate n (1, p) ++ resolve_size ps
resolve_size (p : ps) = (1, p) : resolve_size ps

steps_tpat :: (Show a) => TPat a -> (Rational, String)
steps_tpat (TPat_Seq xs) = steps_seq xs
steps_tpat a = (1, tShow a)

steps_seq :: (Show a) => [TPat a] -> (Rational, String)
steps_seq xs = (total_size, "timeCat [" ++ intercalate "," (map (\(r, s) -> "(" ++ show r ++ ", " ++ s ++ ")") sized_pats) ++ "]")
  where
    sized_pats = steps_size xs
    total_size = sum $ map fst sized_pats

steps_size :: (Show a) => [TPat a] -> [(Rational, String)]
steps_size [] = []
steps_size ((TPat_Elongate r p) : ps) = (r, tShow p) : steps_size ps
steps_size ((TPat_Repeat n p) : ps) = replicate n (1, tShow p) ++ steps_size ps
steps_size (p : ps) = (1, tShow p) : steps_size ps

parseBP :: (Enumerable a, Parseable a) => String -> Either Text.Parsec.Error.ParseError (Pattern a)
parseBP s = toPat <$> parseTPat s

parseBP_E :: (Enumerable a, Parseable a) => String -> Pattern a
parseBP_E s = toE parsed
  where
    parsed = parseTPat s
    -- TODO - custom error
    toE (Left e) = E.throw $ TidalParseError {parsecError = e, code = s}
    toE (Right tp) = toPat tp

parseTPat :: (Parseable a) => String -> Either Text.Parsec.Error.ParseError (TPat a)
parseTPat = runParser (pTidal parseRest <* eof) (0 :: Int) ""

-- | a '-' is a negative sign if followed anything but another dash
-- otherwise, it's treated as rest
parseRest :: (Parseable a) => MyParser (TPat a)
parseRest =
  try
    ( do
        lookAhead $ do
          char '-'
          spaces
          noneOf "-"
        tPatParser
    )
    <|> char '-'
    $> TPat_Silence
      <|> tPatParser
      <|> char '~'
    $> TPat_Silence

cP :: (Enumerable a, Parseable a) => String -> Pattern a
cP s = innerJoin $ parseBP_E <$> _cX_ getS s

class Parseable a where
  tPatParser :: MyParser (TPat a)
  doEuclid :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern a -> Pattern a
  getControl :: String -> Pattern a
  getControl _ = silence

class Enumerable a where
  fromTo :: a -> a -> Pattern a
  fromThenTo :: a -> a -> a -> Pattern a

instance Parseable Char where
  tPatParser = pChar
  doEuclid = euclidOff

instance Enumerable Char where
  fromTo = enumFromTo'
  fromThenTo a b c = fastFromList [a, b, c]

instance Parseable Double where
  tPatParser = pDouble
  doEuclid = euclidOff
  getControl = cF_

instance Enumerable Double where
  fromTo = enumFromTo'
  fromThenTo = enumFromThenTo'

instance Parseable Note where
  tPatParser = pNote
  doEuclid = euclidOff
  getControl = cN_

instance Enumerable Note where
  fromTo = enumFromTo'
  fromThenTo = enumFromThenTo'

instance Parseable String where
  tPatParser = pVocable
  doEuclid = euclidOff
  getControl = cS_

instance Enumerable String where
  fromTo a b = fastFromList [a, b]
  fromThenTo a b c = fastFromList [a, b, c]

instance Parseable Bool where
  tPatParser = pBool
  doEuclid = euclidOffBool
  getControl = cB_

instance Enumerable Bool where
  fromTo a b = fastFromList [a, b]
  fromThenTo a b c = fastFromList [a, b, c]

instance Parseable Int where
  tPatParser = pIntegral
  doEuclid = euclidOff
  getControl = cI_

instance Enumerable Int where
  fromTo = enumFromTo'
  fromThenTo = enumFromThenTo'

instance Parseable Integer where
  tPatParser = pIntegral
  doEuclid = euclidOff
  getControl = fmap fromIntegral . cI_

instance Enumerable Integer where
  fromTo = enumFromTo'
  fromThenTo = enumFromThenTo'

instance Parseable Rational where
  tPatParser = pRational
  doEuclid = euclidOff
  getControl = cR_

instance Enumerable Rational where
  fromTo = enumFromTo'
  fromThenTo = enumFromThenTo'

enumFromTo' :: (Ord a, Enum a) => a -> a -> Pattern a
enumFromTo' a b
  | a > b = fastFromList $ reverse $ enumFromTo b a
  | otherwise = fastFromList $ enumFromTo a b

enumFromThenTo' :: (Ord a, Enum a, Num a) => a -> a -> a -> Pattern a
enumFromThenTo' a b c
  | a > c = fastFromList $ reverse $ enumFromThenTo c (c + (a - b)) a
  | otherwise = fastFromList $ enumFromThenTo a b c

type ColourD = Colour Double

instance Parseable ColourD where
  tPatParser = pColour
  doEuclid = euclidOff

instance Enumerable ColourD where
  fromTo a b = fastFromList [a, b]
  fromThenTo a b c = fastFromList [a, b, c]

instance (Enumerable a, Parseable a) => IsString (Pattern a) where
  fromString = parseBP_E

lexer :: P.GenTokenParser String u Data.Functor.Identity.Identity
lexer = P.makeTokenParser haskellDef

braces, brackets, parens, angles :: MyParser a -> MyParser a
braces p = char '{' *> p <* char '}'
brackets p = char '[' *> p <* char ']'
parens p = char '(' *> p <* char ')'
angles p = char '<' *> p <* char '>'

symbol :: String -> MyParser String
symbol = P.symbol lexer

natural, integer, decimal :: MyParser Integer
natural = P.natural lexer
integer = P.integer lexer
decimal = P.integer lexer

float :: MyParser Double
float = P.float lexer

naturalOrFloat :: MyParser (Either Integer Double)
naturalOrFloat = P.naturalOrFloat lexer

data Sign = Positive | Negative

applySign :: (Num a) => Sign -> a -> a
applySign Positive = id
applySign Negative = negate

sign :: MyParser Sign
sign =
  do
    char '-'
    return Negative
    <|> do
      char '+'
      return Positive
    <|> return Positive

intOrFloat :: MyParser Double
intOrFloat = try pFloat <|> pInteger

-- | parser starting point
pTidal :: (Parseable a) => MyParser (TPat a) -> MyParser (TPat a)
pTidal f = do
  x <- do
    s <- pSequence f <?> "sequence"
    stackTail s <|> chooseTail s <|> return s
  pMult x
  where
    stackTail s = do
      symbol ","
      ss <- pSequence f `sepBy` symbol ","
      return $ TPat_Stack (s : ss)
    chooseTail s = do
      symbol "|"
      ss <- pSequence f `sepBy` symbol "|"
      seed <- newSeed
      return $ TPat_CycleChoose seed (s : ss)

-- | Try different parsers on a sequence of Tidal patterns
-- 'f' is the sequence so far, 'a' the next upcoming token/non-terminal
pSequence :: (Parseable a) => MyParser (TPat a) -> MyParser (TPat a)
pSequence f = do
  spaces
  s <-
    many $
      do
        a <- pPart f
        spaces
        pEnumeration f a
          <|> pElongate a
          <|> pRepeat a
          <|> return a
        <|> pFoot
  pRand $ resolve_feet s
  where
    resolve_feet ps
      | length ss > 1 = TPat_Seq $ map TPat_Seq ss
      | otherwise = TPat_Seq ps
      where
        ss = splitFeet ps
    splitFeet :: [TPat t] -> [[TPat t]]
    splitFeet [] = []
    splitFeet pats = foot : splitFeet pats'
      where
        (foot, pats') = takeFoot pats
        takeFoot [] = ([], [])
        takeFoot (TPat_Foot : pats'') = ([], pats'')
        takeFoot (pat : pats'') = first (pat :) $ takeFoot pats''

pFoot :: MyParser (TPat a)
pFoot = symbol "." >> return TPat_Foot

pEnumeration :: (Parseable a) => MyParser (TPat a) -> TPat a -> MyParser (TPat a)
pEnumeration f a = do
  try $ symbol ".."
  b <- pPart f
  return $ TPat_EnumFromTo a b

pRepeat :: TPat a -> MyParser (TPat a)
pRepeat a = do
  es <- many1 $ do
    char '!'
    n <- (subtract 1 . read <$> many1 digit) <|> return 1
    spaces
    return n
  return $ TPat_Repeat (1 + sum es) a

pElongate :: TPat a -> MyParser (TPat a)
pElongate a = do
  rs <- many1 $ do
    oneOf "@_"
    r <- (subtract 1 <$> pRatio) <|> return 1
    spaces
    return r
  return $ TPat_Elongate (1 + sum rs) a

pSingle :: MyParser (TPat a) -> MyParser (TPat a)
pSingle f = f >>= pRand >>= pMult

pVar :: MyParser (TPat a)
pVar = wrapPos $ do
  char '^'
  name <- many (letter <|> oneOf "0123456789:.-_") <?> "string"
  return $ TPat_Var name

pPart :: (Parseable a) => MyParser (TPat a) -> MyParser (TPat a)
pPart f = (pSingle f <|> pPolyIn f <|> pPolyOut f <|> pVar) >>= pE >>= pRand

newSeed :: MyParser Int
newSeed = do
  seed <- Text.Parsec.Prim.getState
  Text.Parsec.Prim.modifyState (+ 1)
  return seed

pPolyIn :: (Parseable a) => MyParser (TPat a) -> MyParser (TPat a)
pPolyIn f = do
  x <- brackets $ pTidal f
  pMult x

pPolyOut :: (Parseable a) => MyParser (TPat a) -> MyParser (TPat a)
pPolyOut f =
  do
    ss <- braces (pSequence f `sepBy` symbol ",")
    base <-
      do
        char '%'
        r <- pSequence pRational <?> "rational number"
        return $ Just r
        <|> return Nothing
    pMult $ TPat_Polyrhythm base ss
    <|> do
      ss <- angles (pSequence f `sepBy` symbol ",")
      pMult $ TPat_Polyrhythm (Just $ TPat_Atom Nothing 1) ss

pCharNum :: MyParser Char
pCharNum = (letter <|> oneOf "0123456789") <?> "letter or number"

pString :: MyParser String
pString = do
  c <- pCharNum <?> "charnum"
  cs <- many (letter <|> oneOf "0123456789:.-_") <?> "string"
  return (c : cs)

wrapPos :: MyParser (TPat a) -> MyParser (TPat a)
wrapPos p = do
  b <- getPosition
  tpat <- p
  e <- getPosition
  let addPos (TPat_Atom _ v') =
        TPat_Atom (Just ((sourceColumn b, sourceLine b), (sourceColumn e, sourceLine e))) v'
      addPos x = x -- shouldn't happen..
  return $ addPos tpat

pVocable :: MyParser (TPat String)
pVocable = wrapPos $ TPat_Atom Nothing <$> pString

pChar :: MyParser (TPat Char)
pChar = wrapPos $ TPat_Atom Nothing <$> pCharNum

pDouble :: MyParser (TPat Double)
pDouble =
  try $
    do
      d <- pDoubleWithoutChord
      pChord d <|> return d
      <|> pChord (TPat_Atom Nothing 0)
      <|> pDoubleWithoutChord

pDoubleWithoutChord :: MyParser (TPat Double)
pDoubleWithoutChord = pPart $
  wrapPos $ do
    s <- sign
    f <- choice [fromRational <$> pRatio, parseNote] <?> "float"
    return $ TPat_Atom Nothing (applySign s f)

pNote :: MyParser (TPat Note)
pNote =
  try $
    do
      n <- pNoteWithoutChord
      pChord n <|> return n
      <|> pChord (TPat_Atom Nothing 0)
      <|> pNoteWithoutChord
      <|> do TPat_Atom Nothing . fromRational <$> pRatio

pNoteWithoutChord :: MyParser (TPat Note)
pNoteWithoutChord = pPart $
  wrapPos $ do
    s <- sign
    f <- choice [intOrFloat, parseNote] <?> "float"
    return $ TPat_Atom Nothing (Note $ applySign s f)

pBool :: MyParser (TPat Bool)
pBool =
  wrapPos $
    do
      oneOf "t1"
      return $ TPat_Atom Nothing True
      <|> do
        oneOf "f0"
        return $ TPat_Atom Nothing False

parseIntNote :: (Integral i) => MyParser i
parseIntNote = do
  s <- sign
  d <- choice [intOrFloat, parseNote]
  if isInt d
    then return $ applySign s $ round d
    else fail "not an integer"

pIntegral :: (Integral a, Parseable a, Enumerable a) => MyParser (TPat a)
pIntegral =
  try $
    do
      i <- pIntegralWithoutChord
      pChord i <|> return i
      <|> pChord (TPat_Atom Nothing 0)
      <|> pIntegralWithoutChord

pIntegralWithoutChord :: (Integral a, Parseable a, Enumerable a) => MyParser (TPat a)
pIntegralWithoutChord = pPart $ wrapPos $ fmap (TPat_Atom Nothing) parseIntNote

parseChord :: (Enum a, Num a) => MyParser [a]
parseChord = do
  char '\''
  name <- many1 $ letter <|> digit
  let foundChord = fromMaybe [0] $ lookup name chordTable
  do
    char '\''
    notFollowedBy space <?> "chord range or 'i' or 'o'"
    let n = length foundChord
    i <- option n (fromIntegral <$> integer)
    j <- length <$> many (char 'i')
    o <- length <$> many (char 'o')
    let chord' = take i $ drop j $ concatMap (\x -> map (+ x) foundChord) [0, 12 ..]
    -- open voiced chords
    let chordo' =
          if o > 0 && n > 2
            then [(chord' !! 0 - 12), (chord' !! 2 - 12), (chord' !! 1)] ++ reverse (take (length chord' - 3) (reverse chord'))
            else chord'
    return chordo'
    <|> return foundChord

parseNote :: (Num a) => MyParser a
parseNote = do
  n <- notenum
  modifiers <- many noteModifier
  octave <- option 5 natural
  let n' = foldr (+) n modifiers
  return $ fromIntegral $ n' + ((octave - 5) * 12)
  where
    notenum :: MyParser Integer
    notenum =
      choice
        [ char 'c' >> return 0,
          char 'd' >> return 2,
          char 'e' >> return 4,
          char 'f' >> return 5,
          char 'g' >> return 7,
          char 'a' >> return 9,
          char 'b' >> return 11
        ]
    noteModifier :: MyParser Integer
    noteModifier =
      choice
        [ char 's' >> return 1,
          char 'f' >> return (-1),
          char 'n' >> return 0
        ]

fromNote :: (Num a) => Pattern String -> Pattern a
fromNote pat = fromRight 0 . runParser parseNote 0 "" <$> pat

pColour :: MyParser (TPat ColourD)
pColour = wrapPos $ do
  name <- many1 letter <?> "colour name"
  colour <- readColourName name <?> "known colour"
  return $ TPat_Atom Nothing colour

pMult :: TPat a -> MyParser (TPat a)
pMult thing =
  do
    char '*'
    spaces
    r <- pRational <|> pPolyIn pRational <|> pPolyOut pRational
    return $ TPat_Fast r thing
    <|> do
      char '/'
      spaces
      r <- pRational <|> pPolyIn pRational <|> pPolyOut pRational
      return $ TPat_Slow r thing
    <|> return thing

pRand :: TPat a -> MyParser (TPat a)
pRand thing =
  do
    char '?'
    r <- float <|> return 0.5
    spaces
    seed <- newSeed
    return $ TPat_DegradeBy seed r thing
    <|> return thing

-- | parse Euclidean notation like 'bd(3,8)'
pE :: TPat a -> MyParser (TPat a)
pE thing =
  do
    (n, k, s) <- parens pair
    pure $ TPat_Euclid n k s thing
    <|> return thing
  where
    pair :: MyParser (TPat Int, TPat Int, TPat Int)
    pair = do
      a <- pSequence pIntegral
      spaces
      symbol ","
      spaces
      b <- pSequence pIntegral
      c <-
        do
          symbol ","
          spaces
          pSequence pIntegral
          <|> return (TPat_Atom Nothing 0)
      return (a, b, c)

pRational :: MyParser (TPat Rational)
pRational = wrapPos $ TPat_Atom Nothing <$> pRatio

pRatio :: MyParser Rational
pRatio = do
  s <- sign
  r <-
    do
      n <- try intOrFloat
      v <- pFraction n <|> return (toRational n)
      r <- pRatioChar <|> return 1
      return (v * r)
      <|> pRatioChar
  return $ applySign s r

pInteger :: MyParser Double
pInteger = read <$> many1 digit

pFloat :: MyParser Double
pFloat = do
  i <- many1 digit
  d <- option "0" (char '.' >> many1 digit)
  e <-
    option
      "0"
      ( char 'e' >> do
          s <- option "" (char '-' >> return "-")
          e' <- many1 digit
          return $ s ++ e'
      )
  return $ read (i ++ "." ++ d ++ "e" ++ e)

pFraction :: (RealFrac a) => a -> MyParser Rational
pFraction n = do
  char '%'
  d <- pInteger
  if (isInt n)
    then return ((round n) % (round d))
    else fail "fractions need int numerator and denominator"

pRatioChar :: (Fractional a) => MyParser a
pRatioChar =
  pRatioSingleChar 'w' 1
    <|> pRatioSingleChar 'h' 0.5
    <|> pRatioSingleChar 'q' 0.25
    <|> pRatioSingleChar 'e' 0.125
    <|> pRatioSingleChar 's' 0.0625
    <|> pRatioSingleChar 't' (1 / 3)
    <|> pRatioSingleChar 'f' 0.2
    <|> pRatioSingleChar 'x' (1 / 6)

pRatioSingleChar :: (Fractional a) => Char -> a -> MyParser a
pRatioSingleChar c v = try $ do
  char c
  notFollowedBy (letter)
  return v

isInt :: (RealFrac a) => a -> Bool
isInt x = x == fromInteger (round x)

---

instance Parseable [Modifier] where
  tPatParser = pModifiers
  doEuclid = euclidOff

instance Enumerable [Modifier] where
  fromTo a b = fastFromList [a, b]
  fromThenTo a b c = fastFromList [a, b, c]

parseModInv :: MyParser Modifier
parseModInv = char 'i' >> return Invert

parseModInvNum :: MyParser [Modifier]
parseModInvNum = do
  char 'i'
  n <- pInteger
  return $ replicate (round n) Invert

parseModDrop :: MyParser [Modifier]
parseModDrop = do
  char 'd'
  n <- pInteger
  return $ [Drop $ round n]

parseModOpen :: MyParser Modifier
parseModOpen = char 'o' >> return Open

parseModRange :: MyParser Modifier
parseModRange = parseIntNote >>= \i -> return $ Range $ fromIntegral (i :: Integer)

parseModifiers :: MyParser [Modifier]
parseModifiers = (many1 parseModOpen) <|> parseModDrop <|> (fmap pure parseModRange) <|> try parseModInvNum <|> (many1 parseModInv) <?> "modifier"

pModifiers :: MyParser (TPat [Modifier])
pModifiers = wrapPos $ TPat_Atom Nothing <$> parseModifiers

pChord :: (Enum a, Num a, Parseable a, Enumerable a) => TPat a -> MyParser (TPat a)
pChord i = do
  char '\''
  n <- pPart pVocable <?> "chordname"
  ms <- option [] $ many1 $ (char '\'' >> pPart pModifiers)
  return $ TPat_Chord id i n ms