Bio.Protein.AminoAcid.Type

Documentation

data AA

Proteinogenic amino acids

Constructors

ALA

CYS

ASP

GLU

PHE

GLY

HIS

ILE

LYS

LEU

MET

ASN

PRO

GLN

ARG

SER

THR

VAL

TRP

TYR

Instances

Bounded AA

Defined in Bio.Protein.AminoAcid.Type

Methods

minBound :: AA

maxBound :: AA

Enum AA

Defined in Bio.Protein.AminoAcid.Type

Methods

succ :: AA -> AA

pred :: AA -> AA

toEnum :: Int -> AA

fromEnum :: AA -> Int

enumFrom :: AA -> [AA]

enumFromThen :: AA -> AA -> [AA]

enumFromTo :: AA -> AA -> [AA]

enumFromThenTo :: AA -> AA -> AA -> [AA]

Eq AA

Defined in Bio.Protein.AminoAcid.Type

Methods

(==) :: AA -> AA -> Bool

(/=) :: AA -> AA -> Bool

Ord AA

Defined in Bio.Protein.AminoAcid.Type

Methods

compare :: AA -> AA -> Ordering

(<) :: AA -> AA -> Bool

(<=) :: AA -> AA -> Bool

(>) :: AA -> AA -> Bool

(>=) :: AA -> AA -> Bool

max :: AA -> AA -> AA

min :: AA -> AA -> AA

Show AA

Show full names of amino acids

Defined in Bio.Protein.AminoAcid.Type

Methods

showsPrec :: Int -> AA -> ShowS

show :: AA -> String

showList :: [AA] -> ShowS

Generic AA

Defined in Bio.Protein.AminoAcid.Type

Associated Types

type Rep AA :: Type -> Type

Methods

from :: AA -> Rep AA x

to :: Rep AA x -> AA

NFData AA

Defined in Bio.Protein.AminoAcid.Type

Methods

rnf :: AA -> ()

FromThreeSymbols AA

Parse three symbols encoding

Defined in Bio.Protein.AminoAcid.Instances

Methods

fromThreeSymbols :: Text -> Maybe AA

ThreeSymbols AA

Three symbols encoding

Defined in Bio.Protein.AminoAcid.Instances

Methods

threeSymbols :: AA -> Text

FromSymbol AA

Parse symbol encoding

Defined in Bio.Protein.AminoAcid.Instances

Methods

fromSymbol :: Char -> Maybe AA

fromSymbolE :: Char -> Either Char AA

Symbol AA

Symbol encoding

Defined in Bio.Protein.AminoAcid.Instances

Methods

symbol :: AA -> Char

IsString [AA]

Defined in Bio.Protein.AminoAcid.Instances

Methods

fromString :: String -> [AA]

Createable (BBOT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOT a) :: Type

Methods

create :: Create (BBOT a)

Createable (BBCAT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBCAT a) :: Type

Methods

create :: Create (BBCAT a)

Createable (BBT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBT a) :: Type

Methods

create :: Create (BBT a)

Buildable (BBT V3R)

Defined in Bio.Protein.Chain.Builder

Associated Types

type Monomer (BBT V3R) :: Type

Methods

initB :: Monomer (BBT V3R) -> BBT V3R

nextB :: Monomer (BBT V3R) -> BBT V3R -> BBT V3R

IsString (Array Int AA)

Defined in Bio.Protein.AminoAcid.Instances

Methods

fromString :: String -> Array Int AA

IsString (ProteinChain Int AA)

Defined in Bio.Protein.Chain

Methods

fromString :: String -> ProteinChain Int AA

HasRadicalType (Const AA :: Type -> Type)

Defined in Bio.Protein.AminoAcid.Instances

Methods

radicalType :: (Functor f, Functor g) => Getting AA (AminoAcid f (Env (Const AA)) g a) AA

type Rep AA

Defined in Bio.Protein.AminoAcid.Type

type Rep AA = D1 (MetaData "AA" "Bio.Protein.AminoAcid.Type" "cobot-0.1.1.0-3rQhVKBzPLX755B7k29wYO" False) ((((C1 (MetaCons "ALA" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CYS" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ASP" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "GLU" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "PHE" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "GLY" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "HIS" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ILE" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "LYS" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "LEU" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "MET" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ASN" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "PRO" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "GLN" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ARG" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "SER" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "THR" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "VAL" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "TRP" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TYR" PrefixI False) (U1 :: Type -> Type))))))

type Create (BBOT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOT a) = a -> a -> a -> a -> AA -> BBOT a

type Create (BBCAT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBCAT a) = a -> AA -> BBCAT a

type Create (BBT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBT a) = a -> a -> a -> AA -> BBT a

type Monomer (BBT V3R)

Defined in Bio.Protein.Chain.Builder

type Monomer (BBT V3R) = AA

data AminoAcid nr car cr a

Amino acid structure type

Constructors

AminoAcid

Fields

• _n' :: nr a
• _ca' :: car a
• _c' :: cr a

Instances

Createable (BBOXTRH a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOXTRH a) :: Type

Methods

create :: Create (BBOXTRH a)

Createable (BBORH a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBORH a) :: Type

Methods

create :: Create (BBORH a)

Createable (BBOXTR a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOXTR a) :: Type

Methods

create :: Create (BBOXTR a)

Createable (BBOR a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOR a) :: Type

Methods

create :: Create (BBOR a)

Createable (BBOCG a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOCG a) :: Type

Methods

create :: Create (BBOCG a)

Createable (BBOT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOT a) :: Type

Methods

create :: Create (BBOT a)

Createable (BBO a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBO a) :: Type

Methods

create :: Create (BBO a)

Createable (BBCG a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBCG a) :: Type

Methods

create :: Create (BBCG a)

Createable (BBCAT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBCAT a) :: Type

Methods

create :: Create (BBCAT a)

Createable (BBT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBT a) :: Type

Methods

create :: Create (BBT a)

Createable (BBCA a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBCA a) :: Type

Methods

create :: Create (BBCA a)

Createable (BB a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BB a) :: Type

Methods

create :: Create (BB a)

Buildable (BBT V3R)

Defined in Bio.Protein.Chain.Builder

Associated Types

type Monomer (BBT V3R) :: Type

Methods

initB :: Monomer (BBT V3R) -> BBT V3R

nextB :: Monomer (BBT V3R) -> BBT V3R -> BBT V3R

Buildable (BB V3R)

Defined in Bio.Protein.Chain.Builder

Associated Types

type Monomer (BB V3R) :: Type

Methods

initB :: Monomer (BB V3R) -> BB V3R

nextB :: Monomer (BB V3R) -> BB V3R -> BB V3R

(Functor nr, Functor car, Functor cr) => Functor (AminoAcid nr car cr)

Defined in Bio.Protein.AminoAcid.Type

Methods

fmap :: (a -> b) -> AminoAcid nr car cr a -> AminoAcid nr car cr b

(<$) :: a -> AminoAcid nr car cr b -> AminoAcid nr car cr a

(Eq (nr a), Eq (car a), Eq (cr a)) => Eq (AminoAcid nr car cr a)

Defined in Bio.Protein.AminoAcid.Type

Methods

(==) :: AminoAcid nr car cr a -> AminoAcid nr car cr a -> Bool

(/=) :: AminoAcid nr car cr a -> AminoAcid nr car cr a -> Bool

(Show (nr a), Show (car a), Show (cr a)) => Show (AminoAcid nr car cr a)

Defined in Bio.Protein.AminoAcid.Type

Methods

showsPrec :: Int -> AminoAcid nr car cr a -> ShowS

show :: AminoAcid nr car cr a -> String

showList :: [AminoAcid nr car cr a] -> ShowS

Generic (AminoAcid nr car cr a)

Defined in Bio.Protein.AminoAcid.Type

Associated Types

type Rep (AminoAcid nr car cr a) :: Type -> Type

Methods

from :: AminoAcid nr car cr a -> Rep (AminoAcid nr car cr a) x

to :: Rep (AminoAcid nr car cr a) x -> AminoAcid nr car cr a

(NFData (nr a), NFData (car a), NFData (cr a)) => NFData (AminoAcid nr car cr a)

Defined in Bio.Protein.AminoAcid.Type

Methods

rnf :: AminoAcid nr car cr a -> ()

(Functor nr, HasRadicalType car, Functor cr) => Symbol (AminoAcid nr (Env car) cr a)

Lens to get Symbol from every suitable amino acid

Defined in Bio.Protein.AminoAcid.Instances

Methods

symbol :: AminoAcid nr (Env car) cr a -> Char

type Create (BBOXTRH a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOXTRH a) = a -> a -> a -> a -> a -> Radical a -> BBOXTRH a

type Create (BBORH a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBORH a) = a -> a -> a -> a -> Radical a -> BBORH a

type Create (BBOXTR a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOXTR a) = a -> a -> a -> a -> a -> Radical a -> BBOXTR a

type Create (BBOR a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOR a) = a -> a -> a -> a -> Radical a -> BBOR a

type Create (BBOCG a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOCG a) = a -> a -> a -> a -> a -> AA -> BBOCG a

type Create (BBOT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOT a) = a -> a -> a -> a -> AA -> BBOT a

type Create (BBO a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBO a) = a -> a -> a -> a -> BBO a

type Create (BBCG a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBCG a) = a -> a -> a -> a -> AA -> BBCG a

type Create (BBCAT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBCAT a) = a -> AA -> BBCAT a

type Create (BBT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBT a) = a -> a -> a -> AA -> BBT a

type Create (BBCA a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBCA a) = a -> BBCA a

type Create (BB a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BB a) = a -> a -> a -> BB a

type Monomer (BBT V3R)

Defined in Bio.Protein.Chain.Builder

type Monomer (BBT V3R) = AA

type Monomer (BB V3R)

Defined in Bio.Protein.Chain.Builder

type Monomer (BB V3R) = AA

type Rep (AminoAcid nr car cr a)

Defined in Bio.Protein.AminoAcid.Type

type Rep (AminoAcid nr car cr a) = D1 (MetaData "AminoAcid" "Bio.Protein.AminoAcid.Type" "cobot-0.1.1.0-3rQhVKBzPLX755B7k29wYO" False) (C1 (MetaCons "AminoAcid" PrefixI True) (S1 (MetaSel (Just "_n'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (nr a)) :*: (S1 (MetaSel (Just "_ca'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (car a)) :*: S1 (MetaSel (Just "_c'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (cr a)))))

data Radical a

Radical structure type

Constructors

Alanine

Fields

• _cb :: a

Cysteine

Fields

• _cb :: a
• _sg :: a

AsparticAcid

Fields

• _cb :: a
• _cg :: a
• _od1 :: a
• _od2 :: a

GlutamicAcid

Fields

• _cb :: a
• _cg :: a
• _cd :: a
• _oe1 :: a
• _oe2 :: a

Phenylalanine

Fields

• _cb :: a
• _cg :: a
• _cd1 :: a
• _cd2 :: a
• _ce1 :: a
• _ce2 :: a
• _cz :: a

Glycine

Histidine

Fields

• _cb :: a
• _cg :: a
• _nd1 :: a
• _cd2 :: a
• _ce1 :: a
• _ne2 :: a

Isoleucine

Fields

• _cb :: a
• _cg1 :: a
• _cg2 :: a
• _cd1 :: a

Lysine

Fields

• _cb :: a
• _cg :: a
• _cd :: a
• _ce :: a
• _nz :: a

Leucine

Fields

• _cb :: a
• _cg :: a
• _cd1 :: a
• _cd2 :: a

Methionine

Fields

• _cb :: a
• _cg :: a
• _sd :: a
• _ce :: a

Asparagine

Fields

• _cb :: a
• _cg :: a
• _od1 :: a
• _nd2 :: a

Proline

Fields

• _cb :: a
• _cg :: a
• _cd :: a

Glutamine

Fields

• _cb :: a
• _cg :: a
• _cd :: a
• _oe1 :: a
• _ne2 :: a

Arginine

Fields

• _cb :: a
• _cg :: a
• _cd :: a
• _ne :: a
• _cz :: a
• _nh1 :: a
• _nh2 :: a

Serine

Fields

• _cb :: a
• _og :: a

Threonine

Fields

• _cb :: a
• _og1 :: a
• _cg2 :: a

Valine

Fields

• _cb :: a
• _cg1 :: a
• _cg2 :: a

Tryptophan

Fields

• _cb :: a
• _cg :: a
• _cd1 :: a
• _cd2 :: a
• _ne1 :: a
• _ce2 :: a
• _ce3 :: a
• _cz2 :: a
• _cz3 :: a
• _ch2 :: a

Tyrosine

Fields

• _cb :: a
• _cg :: a
• _cd1 :: a
• _cd2 :: a
• _ce1 :: a
• _ce2 :: a
• _cz :: a
• _oh :: a

Instances

Functor Radical

Defined in Bio.Protein.AminoAcid.Type

Methods

fmap :: (a -> b) -> Radical a -> Radical b

(<$) :: a -> Radical b -> Radical a

HasRadicalType Radical

Defined in Bio.Protein.AminoAcid.Instances

Methods

radicalType :: (Functor f, Functor g) => Getting AA (AminoAcid f (Env Radical) g a) AA

HasRadical Radical

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type RadicalType Radical a :: Type

Methods

radical :: (Functor f, Functor g) => Lens' (AminoAcid f (Env Radical) g a) (RadicalType Radical a)

Eq a => Eq (Radical a)

Defined in Bio.Protein.AminoAcid.Type

Methods

(==) :: Radical a -> Radical a -> Bool

(/=) :: Radical a -> Radical a -> Bool

Show a => Show (Radical a)

Defined in Bio.Protein.AminoAcid.Type

Methods

showsPrec :: Int -> Radical a -> ShowS

show :: Radical a -> String

showList :: [Radical a] -> ShowS

Generic (Radical a)

Defined in Bio.Protein.AminoAcid.Type

Associated Types

type Rep (Radical a) :: Type -> Type

Methods

from :: Radical a -> Rep (Radical a) x

to :: Rep (Radical a) x -> Radical a

NFData a => NFData (Radical a)

Defined in Bio.Protein.AminoAcid.Type

Methods

rnf :: Radical a -> ()

Createable (BBOXTRH a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOXTRH a) :: Type

Methods

create :: Create (BBOXTRH a)

Createable (BBORH a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBORH a) :: Type

Methods

create :: Create (BBORH a)

Createable (BBOXTR a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOXTR a) :: Type

Methods

create :: Create (BBOXTR a)

Createable (BBOR a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOR a) :: Type

Methods

create :: Create (BBOR a)

type RadicalType Radical a

Defined in Bio.Protein.AminoAcid.Instances

type RadicalType Radical a = Radical a

type Rep (Radical a)

Defined in Bio.Protein.AminoAcid.Type

type Rep (Radical a) = D1 (MetaData "Radical" "Bio.Protein.AminoAcid.Type" "cobot-0.1.1.0-3rQhVKBzPLX755B7k29wYO" False) ((((C1 (MetaCons "Alanine" PrefixI True) (S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Cysteine" PrefixI True) (S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_sg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "AsparticAcid" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_od1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_od2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "GlutamicAcid" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_oe1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_oe2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: C1 (MetaCons "Phenylalanine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cd1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :*: ((S1 (MetaSel (Just "_cd2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_ce1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_ce2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cz") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))))) :+: ((C1 (MetaCons "Glycine" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Histidine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_nd1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :*: (S1 (MetaSel (Just "_cd2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_ce1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_ne2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))) :+: (C1 (MetaCons "Isoleucine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cg2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cd1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "Lysine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_ce") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_nz") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: C1 (MetaCons "Leucine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cd1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cd2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))))) :+: (((C1 (MetaCons "Methionine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_sd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_ce") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: C1 (MetaCons "Asparagine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_od1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_nd2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: (C1 (MetaCons "Proline" PrefixI True) (S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "Glutamine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_oe1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_ne2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: C1 (MetaCons "Arginine" PrefixI True) ((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :*: ((S1 (MetaSel (Just "_ne") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cz") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_nh1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_nh2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))))) :+: ((C1 (MetaCons "Serine" PrefixI True) (S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_og") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Threonine" PrefixI True) (S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_og1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: (C1 (MetaCons "Valine" PrefixI True) (S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_cg1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "Tryptophan" PrefixI True) (((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cd1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_cd2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_ne1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :*: ((S1 (MetaSel (Just "_ce2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_ce3") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cz2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "_cz3") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_ch2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))) :+: C1 (MetaCons "Tyrosine" PrefixI True) (((S1 (MetaSel (Just "_cb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cg") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cd1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_cd2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :*: ((S1 (MetaSel (Just "_ce1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_ce2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :*: (S1 (MetaSel (Just "_cz") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_oh") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))))))))

type Create (BBOXTRH a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOXTRH a) = a -> a -> a -> a -> a -> Radical a -> BBOXTRH a

type Create (BBORH a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBORH a) = a -> a -> a -> a -> Radical a -> BBORH a

type Create (BBOXTR a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOXTR a) = a -> a -> a -> a -> a -> Radical a -> BBOXTR a

type Create (BBOR a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOR a) = a -> a -> a -> a -> Radical a -> BBOR a

data Env r a

Atom environment, e.g. hydrogens or radicals

Constructors

Env

Fields

• _atom' :: a
• _environment :: r a

Instances

Functor r => Functor (Env r)

Defined in Bio.Protein.AminoAcid.Type

Methods

fmap :: (a -> b) -> Env r a -> Env r b

(<$) :: a -> Env r b -> Env r a

Functor r => HasAtom (Env r)

Defined in Bio.Protein.AminoAcid.Instances

Methods

atom :: Lens' (Env r a) a

Functor f => HasN (Env f)

Defined in Bio.Protein.AminoAcid.Instances

Methods

n :: (Functor f0, Functor g) => Lens' (AminoAcid (Env f) f0 g a) a

Functor f => HasC (Env f)

Defined in Bio.Protein.AminoAcid.Instances

Methods

c :: (Functor f0, Functor g) => Lens' (AminoAcid f0 g (Env f) a) a

Functor f => HasCA (Env f)

Defined in Bio.Protein.AminoAcid.Instances

Methods

ca :: (Functor f0, Functor g) => Lens' (AminoAcid f0 (Env f) g a) a

Createable (BBOXTRH a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOXTRH a) :: Type

Methods

create :: Create (BBOXTRH a)

Createable (BBORH a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBORH a) :: Type

Methods

create :: Create (BBORH a)

Createable (BBOXTR a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOXTR a) :: Type

Methods

create :: Create (BBOXTR a)

Createable (BBOR a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOR a) :: Type

Methods

create :: Create (BBOR a)

Createable (BBOCG a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOCG a) :: Type

Methods

create :: Create (BBOCG a)

Createable (BBOT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOT a) :: Type

Methods

create :: Create (BBOT a)

Createable (BBO a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBO a) :: Type

Methods

create :: Create (BBO a)

Createable (BBCG a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBCG a) :: Type

Methods

create :: Create (BBCG a)

Createable (BBCAT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBCAT a) :: Type

Methods

create :: Create (BBCAT a)

Createable (BBT a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBT a) :: Type

Methods

create :: Create (BBT a)

Buildable (BBT V3R)

Defined in Bio.Protein.Chain.Builder

Associated Types

type Monomer (BBT V3R) :: Type

Methods

initB :: Monomer (BBT V3R) -> BBT V3R

nextB :: Monomer (BBT V3R) -> BBT V3R -> BBT V3R

(Eq a, Eq (r a)) => Eq (Env r a)

Defined in Bio.Protein.AminoAcid.Type

Methods

(==) :: Env r a -> Env r a -> Bool

(/=) :: Env r a -> Env r a -> Bool

(Show a, Show (r a)) => Show (Env r a)

Defined in Bio.Protein.AminoAcid.Type

Methods

showsPrec :: Int -> Env r a -> ShowS

show :: Env r a -> String

showList :: [Env r a] -> ShowS

Generic (Env r a)

Defined in Bio.Protein.AminoAcid.Type

Associated Types

type Rep (Env r a) :: Type -> Type

Methods

from :: Env r a -> Rep (Env r a) x

to :: Rep (Env r a) x -> Env r a

(NFData a, NFData (r a)) => NFData (Env r a)

Defined in Bio.Protein.AminoAcid.Type

Methods

rnf :: Env r a -> ()

(Functor nr, HasRadicalType car, Functor cr) => Symbol (AminoAcid nr (Env car) cr a)

Lens to get Symbol from every suitable amino acid

Defined in Bio.Protein.AminoAcid.Instances

Methods

symbol :: AminoAcid nr (Env car) cr a -> Char

type Create (BBOXTRH a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOXTRH a) = a -> a -> a -> a -> a -> Radical a -> BBOXTRH a

type Create (BBORH a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBORH a) = a -> a -> a -> a -> Radical a -> BBORH a

type Create (BBOXTR a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOXTR a) = a -> a -> a -> a -> a -> Radical a -> BBOXTR a

type Create (BBOR a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOR a) = a -> a -> a -> a -> Radical a -> BBOR a

type Create (BBOCG a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOCG a) = a -> a -> a -> a -> a -> AA -> BBOCG a

type Create (BBOT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOT a) = a -> a -> a -> a -> AA -> BBOT a

type Create (BBO a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBO a) = a -> a -> a -> a -> BBO a

type Create (BBCG a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBCG a) = a -> a -> a -> a -> AA -> BBCG a

type Create (BBCAT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBCAT a) = a -> AA -> BBCAT a

type Create (BBT a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBT a) = a -> a -> a -> AA -> BBT a

type Monomer (BBT V3R)

Defined in Bio.Protein.Chain.Builder

type Monomer (BBT V3R) = AA

type Rep (Env r a)

Defined in Bio.Protein.AminoAcid.Type

type Rep (Env r a) = D1 (MetaData "Env" "Bio.Protein.AminoAcid.Type" "cobot-0.1.1.0-3rQhVKBzPLX755B7k29wYO" False) (C1 (MetaCons "Env" PrefixI True) (S1 (MetaSel (Just "_atom'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_environment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (r a))))

type H a = Env [] a

Hydrogens envrironment

data OXT a

Oxigen and hydroxi group, connected to C-terminal of amino acid

Constructors

OXT

Fields

• _o' :: a
• _oxt' :: a

Instances

Functor OXT

Defined in Bio.Protein.AminoAcid.Type

Methods

fmap :: (a -> b) -> OXT a -> OXT b

(<$) :: a -> OXT b -> OXT a

HasOXT OXT

Defined in Bio.Protein.AminoAcid.Instances

Methods

oxt :: (Functor f, Functor g) => Lens' (AminoAcid f g (Env OXT) a) a

HasO OXT

Defined in Bio.Protein.AminoAcid.Instances

Methods

o :: (Functor f, Functor g) => Lens' (AminoAcid f g (Env OXT) a) a

Eq a => Eq (OXT a)

Defined in Bio.Protein.AminoAcid.Type

Methods

(==) :: OXT a -> OXT a -> Bool

(/=) :: OXT a -> OXT a -> Bool

Show a => Show (OXT a)

Defined in Bio.Protein.AminoAcid.Type

Methods

showsPrec :: Int -> OXT a -> ShowS

show :: OXT a -> String

showList :: [OXT a] -> ShowS

Generic (OXT a)

Defined in Bio.Protein.AminoAcid.Type

Associated Types

type Rep (OXT a) :: Type -> Type

Methods

from :: OXT a -> Rep (OXT a) x

to :: Rep (OXT a) x -> OXT a

NFData a => NFData (OXT a)

Defined in Bio.Protein.AminoAcid.Type

Methods

rnf :: OXT a -> ()

Createable (BBOXTRH a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOXTRH a) :: Type

Methods

create :: Create (BBOXTRH a)

Createable (BBOXTR a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOXTR a) :: Type

Methods

create :: Create (BBOXTR a)

type Rep (OXT a)

Defined in Bio.Protein.AminoAcid.Type

type Rep (OXT a) = D1 (MetaData "OXT" "Bio.Protein.AminoAcid.Type" "cobot-0.1.1.0-3rQhVKBzPLX755B7k29wYO" False) (C1 (MetaCons "OXT" PrefixI True) (S1 (MetaSel (Just "_o'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_oxt'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

type Create (BBOXTRH a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOXTRH a) = a -> a -> a -> a -> a -> Radical a -> BBOXTRH a

type Create (BBOXTR a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOXTR a) = a -> a -> a -> a -> a -> Radical a -> BBOXTR a

data CG a

CG atom with radical type

Constructors

CG

Fields

• _cg' :: a
• _radical' :: AA

Instances

Functor CG

Defined in Bio.Protein.AminoAcid.Type

Methods

fmap :: (a -> b) -> CG a -> CG b

(<$) :: a -> CG b -> CG a

HasRadicalType CG

Defined in Bio.Protein.AminoAcid.Instances

Methods

radicalType :: (Functor f, Functor g) => Getting AA (AminoAcid f (Env CG) g a) AA

HasRadical CG

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type RadicalType CG a :: Type

Methods

radical :: (Functor f, Functor g) => Lens' (AminoAcid f (Env CG) g a) (RadicalType CG a)

Eq a => Eq (CG a)

Defined in Bio.Protein.AminoAcid.Type

Methods

(==) :: CG a -> CG a -> Bool

(/=) :: CG a -> CG a -> Bool

Show a => Show (CG a)

Defined in Bio.Protein.AminoAcid.Type

Methods

showsPrec :: Int -> CG a -> ShowS

show :: CG a -> String

showList :: [CG a] -> ShowS

Generic (CG a)

Defined in Bio.Protein.AminoAcid.Type

Associated Types

type Rep (CG a) :: Type -> Type

Methods

from :: CG a -> Rep (CG a) x

to :: Rep (CG a) x -> CG a

NFData a => NFData (CG a)

Defined in Bio.Protein.AminoAcid.Type

Methods

rnf :: CG a -> ()

Createable (BBOCG a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBOCG a) :: Type

Methods

create :: Create (BBOCG a)

Createable (BBCG a)

Defined in Bio.Protein.AminoAcid.Instances

Associated Types

type Create (BBCG a) :: Type

Methods

create :: Create (BBCG a)

type RadicalType CG a

Defined in Bio.Protein.AminoAcid.Instances

type RadicalType CG a = a

type Rep (CG a)

Defined in Bio.Protein.AminoAcid.Type

type Rep (CG a) = D1 (MetaData "CG" "Bio.Protein.AminoAcid.Type" "cobot-0.1.1.0-3rQhVKBzPLX755B7k29wYO" False) (C1 (MetaCons "CG" PrefixI True) (S1 (MetaSel (Just "_cg'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_radical'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AA)))

type Create (BBOCG a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBOCG a) = a -> a -> a -> a -> a -> AA -> BBOCG a

type Create (BBCG a)

Defined in Bio.Protein.AminoAcid.Instances

type Create (BBCG a) = a -> a -> a -> a -> AA -> BBCG a

n' :: forall nr car cr a nr. Lens (AminoAcid nr car cr a) (AminoAcid nr car cr a) (nr a) (nr a)

ca' :: forall nr car cr a car. Lens (AminoAcid nr car cr a) (AminoAcid nr car cr a) (car a) (car a)

c' :: forall nr car cr a cr. Lens (AminoAcid nr car cr a) (AminoAcid nr car cr a) (cr a) (cr a)

sg :: forall a. Traversal' (Radical a) a

sd :: forall a. Traversal' (Radical a) a

oh :: forall a. Traversal' (Radical a) a

og1 :: forall a. Traversal' (Radical a) a

og :: forall a. Traversal' (Radical a) a

oe2 :: forall a. Traversal' (Radical a) a

oe1 :: forall a. Traversal' (Radical a) a

od2 :: forall a. Traversal' (Radical a) a

od1 :: forall a. Traversal' (Radical a) a

nz :: forall a. Traversal' (Radical a) a

nh2 :: forall a. Traversal' (Radical a) a

nh1 :: forall a. Traversal' (Radical a) a

ne2 :: forall a. Traversal' (Radical a) a

ne1 :: forall a. Traversal' (Radical a) a

ne :: forall a. Traversal' (Radical a) a

nd2 :: forall a. Traversal' (Radical a) a

nd1 :: forall a. Traversal' (Radical a) a

cz3 :: forall a. Traversal' (Radical a) a

cz2 :: forall a. Traversal' (Radical a) a

cz :: forall a. Traversal' (Radical a) a

ch2 :: forall a. Traversal' (Radical a) a

cg2 :: forall a. Traversal' (Radical a) a

cg1 :: forall a. Traversal' (Radical a) a

cg :: forall a. Traversal' (Radical a) a

ce3 :: forall a. Traversal' (Radical a) a

ce2 :: forall a. Traversal' (Radical a) a

ce1 :: forall a. Traversal' (Radical a) a

ce :: forall a. Traversal' (Radical a) a

cd2 :: forall a. Traversal' (Radical a) a

cd1 :: forall a. Traversal' (Radical a) a

cd :: forall a. Traversal' (Radical a) a

cb :: forall a. Traversal' (Radical a) a

environment :: forall r a r. Lens (Env r a) (Env r a) (r a) (r a)

atom' :: forall r a. Lens' (Env r a) a

oxt' :: forall a. Lens' (OXT a) a

o' :: forall a. Lens' (OXT a) a

radical' :: forall a. Lens' (CG a) AA

cg' :: forall a a. Lens (CG a) (CG a) a a

type BB a = AminoAcid Identity Identity Identity (Identity a)

BackBone

type BBCA a = AminoAcid (Const ()) Identity (Const ()) (Identity a)

BackBone CA-only

type BBT a = AminoAcid Identity (Env (Const AA)) Identity (Identity a)

BackBone with radical Type

type BBCAT a = AminoAcid (Const ()) (Env (Const AA)) (Const ()) (Identity a)

BackBone CA-only with radical Type

type BBCG a = AminoAcid Identity (Env CG) Identity (Identity a)

BackBone with CG-radical

type BBO a = AminoAcid Identity Identity (Env Identity) (Identity a)

BackBone with Oxigen

type BBOT a = AminoAcid Identity (Env (Const AA)) (Env Identity) (Identity a)

BackBone with Oxigen and radical Type

type BBOCG a = AminoAcid Identity (Env CG) (Env Identity) (Identity a)

BackBone with Oxigen and CG-radical

type BBOR a = AminoAcid Identity (Env Radical) (Env Identity) (Identity a)

BackBone with Oxigen and Radical

type BBOXTR a = AminoAcid Identity (Env Radical) (Env OXT) (Identity a)

BackBone with Oxigen, oXigen Two and Radical

type BBORH a = AminoAcid Identity (Env Radical) (Env Identity) (H a)

BackBone with Oxigen, Radical and Hydrogens

type BBOXTRH a = AminoAcid Identity (Env Radical) (Env OXT) (H a)

BackBone with Oxigen, oXigen Two, Radical and Hydrogens

rad2rad :: Radical a -> AA

Convert radical to radical name