{-# OPTIONS_GHC -fno-warn-orphans #-}

module Bio.Protein.Chain
  ( module C
  , ProteinChain(..)
  ) where

import           Bio.Chain             as C
import           Bio.Protein.AminoAcid
import           Control.Lens
import           Data.Array            (Ix (..))
import           Data.String           (IsString (..))

newtype ProteinChain i a = ProteinChain { forall i a. ProteinChain i a -> Chain i a
getChain :: Chain i a }
  deriving (Int -> ProteinChain i a -> ShowS
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall i a.
(Ix i, Show i, Show a) =>
Int -> ProteinChain i a -> ShowS
forall i a. (Ix i, Show i, Show a) => [ProteinChain i a] -> ShowS
forall i a. (Ix i, Show i, Show a) => ProteinChain i a -> String
showList :: [ProteinChain i a] -> ShowS
$cshowList :: forall i a. (Ix i, Show i, Show a) => [ProteinChain i a] -> ShowS
show :: ProteinChain i a -> String
$cshow :: forall i a. (Ix i, Show i, Show a) => ProteinChain i a -> String
showsPrec :: Int -> ProteinChain i a -> ShowS
$cshowsPrec :: forall i a.
(Ix i, Show i, Show a) =>
Int -> ProteinChain i a -> ShowS
Show, ProteinChain i a -> ProteinChain i a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall i a.
(Ix i, Eq a) =>
ProteinChain i a -> ProteinChain i a -> Bool
/= :: ProteinChain i a -> ProteinChain i a -> Bool
$c/= :: forall i a.
(Ix i, Eq a) =>
ProteinChain i a -> ProteinChain i a -> Bool
== :: ProteinChain i a -> ProteinChain i a -> Bool
$c== :: forall i a.
(Ix i, Eq a) =>
ProteinChain i a -> ProteinChain i a -> Bool
Eq, forall a b. a -> ProteinChain i b -> ProteinChain i a
forall a b. (a -> b) -> ProteinChain i a -> ProteinChain i b
forall i a b. a -> ProteinChain i b -> ProteinChain i a
forall i a b. (a -> b) -> ProteinChain i a -> ProteinChain i b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: forall a b. a -> ProteinChain i b -> ProteinChain i a
$c<$ :: forall i a b. a -> ProteinChain i b -> ProteinChain i a
fmap :: forall a b. (a -> b) -> ProteinChain i a -> ProteinChain i b
$cfmap :: forall i a b. (a -> b) -> ProteinChain i a -> ProteinChain i b
Functor, forall a. Eq a => a -> ProteinChain i a -> Bool
forall a. Num a => ProteinChain i a -> a
forall a. Ord a => ProteinChain i a -> a
forall m. Monoid m => ProteinChain i m -> m
forall a. ProteinChain i a -> Bool
forall a. ProteinChain i a -> Int
forall a. ProteinChain i a -> [a]
forall a. (a -> a -> a) -> ProteinChain i a -> a
forall i a. Eq a => a -> ProteinChain i a -> Bool
forall i a. Num a => ProteinChain i a -> a
forall i a. Ord a => ProteinChain i a -> a
forall m a. Monoid m => (a -> m) -> ProteinChain i a -> m
forall i m. Monoid m => ProteinChain i m -> m
forall i a. ProteinChain i a -> Bool
forall i a. ProteinChain i a -> Int
forall i a. ProteinChain i a -> [a]
forall b a. (b -> a -> b) -> b -> ProteinChain i a -> b
forall a b. (a -> b -> b) -> b -> ProteinChain i a -> b
forall i a. (a -> a -> a) -> ProteinChain i a -> a
forall i m a. Monoid m => (a -> m) -> ProteinChain i a -> m
forall i b a. (b -> a -> b) -> b -> ProteinChain i a -> b
forall i a b. (a -> b -> b) -> b -> ProteinChain i a -> b
forall (t :: * -> *).
(forall m. Monoid m => t m -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. t a -> [a])
-> (forall a. t a -> Bool)
-> (forall a. t a -> Int)
-> (forall a. Eq a => a -> t a -> Bool)
-> (forall a. Ord a => t a -> a)
-> (forall a. Ord a => t a -> a)
-> (forall a. Num a => t a -> a)
-> (forall a. Num a => t a -> a)
-> Foldable t
product :: forall a. Num a => ProteinChain i a -> a
$cproduct :: forall i a. Num a => ProteinChain i a -> a
sum :: forall a. Num a => ProteinChain i a -> a
$csum :: forall i a. Num a => ProteinChain i a -> a
minimum :: forall a. Ord a => ProteinChain i a -> a
$cminimum :: forall i a. Ord a => ProteinChain i a -> a
maximum :: forall a. Ord a => ProteinChain i a -> a
$cmaximum :: forall i a. Ord a => ProteinChain i a -> a
elem :: forall a. Eq a => a -> ProteinChain i a -> Bool
$celem :: forall i a. Eq a => a -> ProteinChain i a -> Bool
length :: forall a. ProteinChain i a -> Int
$clength :: forall i a. ProteinChain i a -> Int
null :: forall a. ProteinChain i a -> Bool
$cnull :: forall i a. ProteinChain i a -> Bool
toList :: forall a. ProteinChain i a -> [a]
$ctoList :: forall i a. ProteinChain i a -> [a]
foldl1 :: forall a. (a -> a -> a) -> ProteinChain i a -> a
$cfoldl1 :: forall i a. (a -> a -> a) -> ProteinChain i a -> a
foldr1 :: forall a. (a -> a -> a) -> ProteinChain i a -> a
$cfoldr1 :: forall i a. (a -> a -> a) -> ProteinChain i a -> a
foldl' :: forall b a. (b -> a -> b) -> b -> ProteinChain i a -> b
$cfoldl' :: forall i b a. (b -> a -> b) -> b -> ProteinChain i a -> b
foldl :: forall b a. (b -> a -> b) -> b -> ProteinChain i a -> b
$cfoldl :: forall i b a. (b -> a -> b) -> b -> ProteinChain i a -> b
foldr' :: forall a b. (a -> b -> b) -> b -> ProteinChain i a -> b
$cfoldr' :: forall i a b. (a -> b -> b) -> b -> ProteinChain i a -> b
foldr :: forall a b. (a -> b -> b) -> b -> ProteinChain i a -> b
$cfoldr :: forall i a b. (a -> b -> b) -> b -> ProteinChain i a -> b
foldMap' :: forall m a. Monoid m => (a -> m) -> ProteinChain i a -> m
$cfoldMap' :: forall i m a. Monoid m => (a -> m) -> ProteinChain i a -> m
foldMap :: forall m a. Monoid m => (a -> m) -> ProteinChain i a -> m
$cfoldMap :: forall i m a. Monoid m => (a -> m) -> ProteinChain i a -> m
fold :: forall m. Monoid m => ProteinChain i m -> m
$cfold :: forall i m. Monoid m => ProteinChain i m -> m
Foldable, forall {i}. Ix i => Functor (ProteinChain i)
forall {i}. Ix i => Foldable (ProteinChain i)
forall i (m :: * -> *) a.
(Ix i, Monad m) =>
ProteinChain i (m a) -> m (ProteinChain i a)
forall i (f :: * -> *) a.
(Ix i, Applicative f) =>
ProteinChain i (f a) -> f (ProteinChain i a)
forall i (m :: * -> *) a b.
(Ix i, Monad m) =>
(a -> m b) -> ProteinChain i a -> m (ProteinChain i b)
forall i (f :: * -> *) a b.
(Ix i, Applicative f) =>
(a -> f b) -> ProteinChain i a -> f (ProteinChain i b)
forall (t :: * -> *).
Functor t
-> Foldable t
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> t a -> f (t b))
-> (forall (f :: * -> *) a. Applicative f => t (f a) -> f (t a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> t a -> m (t b))
-> (forall (m :: * -> *) a. Monad m => t (m a) -> m (t a))
-> Traversable t
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> ProteinChain i a -> f (ProteinChain i b)
sequence :: forall (m :: * -> *) a.
Monad m =>
ProteinChain i (m a) -> m (ProteinChain i a)
$csequence :: forall i (m :: * -> *) a.
(Ix i, Monad m) =>
ProteinChain i (m a) -> m (ProteinChain i a)
mapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> ProteinChain i a -> m (ProteinChain i b)
$cmapM :: forall i (m :: * -> *) a b.
(Ix i, Monad m) =>
(a -> m b) -> ProteinChain i a -> m (ProteinChain i b)
sequenceA :: forall (f :: * -> *) a.
Applicative f =>
ProteinChain i (f a) -> f (ProteinChain i a)
$csequenceA :: forall i (f :: * -> *) a.
(Ix i, Applicative f) =>
ProteinChain i (f a) -> f (ProteinChain i a)
traverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> ProteinChain i a -> f (ProteinChain i b)
$ctraverse :: forall i (f :: * -> *) a b.
(Ix i, Applicative f) =>
(a -> f b) -> ProteinChain i a -> f (ProteinChain i b)
Traversable, Index (ProteinChain i a)
-> (IxValue (ProteinChain i a) -> IxValue (ProteinChain i a))
-> ProteinChain i a
-> ProteinChain i a
ProteinChain i a
-> [(Index (ProteinChain i a), IxValue (ProteinChain i a))]
ProteinChain i a
-> (Index (ProteinChain i a), Index (ProteinChain i a))
ProteinChain i a
-> Index (ProteinChain i a) -> IxValue (ProteinChain i a)
forall m.
Ixed m
-> Enum (Index m)
-> (m -> (Index m, Index m))
-> (m -> [(Index m, IxValue m)])
-> (Index m -> (IxValue m -> IxValue m) -> m -> m)
-> (Index m -> (IxValue m -> IxValue m) -> m -> m)
-> (Index m -> (IxValue m -> IxValue m) -> m -> m)
-> (m -> Index m -> IxValue m)
-> ChainLike m
forall {i} {a}. (Ix i, Enum i) => Enum (Index (ProteinChain i a))
forall {i} {a}. (Ix i, Enum i) => Ixed (ProteinChain i a)
forall i a.
(Ix i, Enum i) =>
Index (ProteinChain i a)
-> (IxValue (ProteinChain i a) -> IxValue (ProteinChain i a))
-> ProteinChain i a
-> ProteinChain i a
forall i a.
(Ix i, Enum i) =>
ProteinChain i a
-> [(Index (ProteinChain i a), IxValue (ProteinChain i a))]
forall i a.
(Ix i, Enum i) =>
ProteinChain i a
-> (Index (ProteinChain i a), Index (ProteinChain i a))
forall i a.
(Ix i, Enum i) =>
ProteinChain i a
-> Index (ProteinChain i a) -> IxValue (ProteinChain i a)
unsafeRead :: ProteinChain i a
-> Index (ProteinChain i a) -> IxValue (ProteinChain i a)
$cunsafeRead :: forall i a.
(Ix i, Enum i) =>
ProteinChain i a
-> Index (ProteinChain i a) -> IxValue (ProteinChain i a)
modifyAfter :: Index (ProteinChain i a)
-> (IxValue (ProteinChain i a) -> IxValue (ProteinChain i a))
-> ProteinChain i a
-> ProteinChain i a
$cmodifyAfter :: forall i a.
(Ix i, Enum i) =>
Index (ProteinChain i a)
-> (IxValue (ProteinChain i a) -> IxValue (ProteinChain i a))
-> ProteinChain i a
-> ProteinChain i a
modifyBefore :: Index (ProteinChain i a)
-> (IxValue (ProteinChain i a) -> IxValue (ProteinChain i a))
-> ProteinChain i a
-> ProteinChain i a
$cmodifyBefore :: forall i a.
(Ix i, Enum i) =>
Index (ProteinChain i a)
-> (IxValue (ProteinChain i a) -> IxValue (ProteinChain i a))
-> ProteinChain i a
-> ProteinChain i a
modify :: Index (ProteinChain i a)
-> (IxValue (ProteinChain i a) -> IxValue (ProteinChain i a))
-> ProteinChain i a
-> ProteinChain i a
$cmodify :: forall i a.
(Ix i, Enum i) =>
Index (ProteinChain i a)
-> (IxValue (ProteinChain i a) -> IxValue (ProteinChain i a))
-> ProteinChain i a
-> ProteinChain i a
assocs :: ProteinChain i a
-> [(Index (ProteinChain i a), IxValue (ProteinChain i a))]
$cassocs :: forall i a.
(Ix i, Enum i) =>
ProteinChain i a
-> [(Index (ProteinChain i a), IxValue (ProteinChain i a))]
bounds :: ProteinChain i a
-> (Index (ProteinChain i a), Index (ProteinChain i a))
$cbounds :: forall i a.
(Ix i, Enum i) =>
ProteinChain i a
-> (Index (ProteinChain i a), Index (ProteinChain i a))
ChainLike)

type instance Index (ProteinChain i a) = i
type instance IxValue (ProteinChain i a) = a

instance Ix i => Ixed (ProteinChain i a) where
    ix :: Index (ProteinChain i a)
-> Traversal' (ProteinChain i a) (IxValue (ProteinChain i a))
ix Index (ProteinChain i a)
i' = forall s t a b. (Coercible s a, Coercible t b) => Iso s t a b
coerced forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall m. Ixed m => Index m -> Traversal' m (IxValue m)
ix @(Chain i a) Index (ProteinChain i a)
i'

instance IsString (ProteinChain Int AA) where
  fromString :: String -> ProteinChain Int AA
fromString = forall i a. Chain i a -> ProteinChain i a
ProteinChain forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. IsString a => String -> a
fromString