Bio.Sequence

Documentation

data Sequence mk w a

Instances

Foldable (Sequence mk w)

Defined in Bio.Sequence.Class

Methods

fold :: Monoid m => Sequence mk w m -> m

foldMap :: Monoid m => (a -> m) -> Sequence mk w a -> m

foldMap' :: Monoid m => (a -> m) -> Sequence mk w a -> m

foldr :: (a -> b -> b) -> b -> Sequence mk w a -> b

foldr' :: (a -> b -> b) -> b -> Sequence mk w a -> b

foldl :: (b -> a -> b) -> b -> Sequence mk w a -> b

foldl' :: (b -> a -> b) -> b -> Sequence mk w a -> b

foldr1 :: (a -> a -> a) -> Sequence mk w a -> a

foldl1 :: (a -> a -> a) -> Sequence mk w a -> a

toList :: Sequence mk w a -> [a]

null :: Sequence mk w a -> Bool

length :: Sequence mk w a -> Int

elem :: Eq a => a -> Sequence mk w a -> Bool

maximum :: Ord a => Sequence mk w a -> a

minimum :: Ord a => Sequence mk w a -> a

sum :: Num a => Sequence mk w a -> a

product :: Num a => Sequence mk w a -> a

Traversable (Sequence mk w)

Defined in Bio.Sequence.Class

Methods

traverse :: Applicative f => (a -> f b) -> Sequence mk w a -> f (Sequence mk w b)

sequenceA :: Applicative f => Sequence mk w (f a) -> f (Sequence mk w a)

mapM :: Monad m => (a -> m b) -> Sequence mk w a -> m (Sequence mk w b)

sequence :: Monad m => Sequence mk w (m a) -> m (Sequence mk w a)

Functor (Sequence mk w)

Defined in Bio.Sequence.Class

Methods

fmap :: (a -> b) -> Sequence mk w a -> Sequence mk w b

(<$) :: a -> Sequence mk w b -> Sequence mk w a

Monoid (Sequence mk () a)

Defined in Bio.Sequence.Class

Methods

mempty :: Sequence mk () a

mappend :: Sequence mk () a -> Sequence mk () a -> Sequence mk () a

mconcat :: [Sequence mk () a] -> Sequence mk () a

Semigroup (Sequence mk w a)

Defined in Bio.Sequence.Class

Methods

(<>) :: Sequence mk w a -> Sequence mk w a -> Sequence mk w a

sconcat :: NonEmpty (Sequence mk w a) -> Sequence mk w a

stimes :: Integral b => b -> Sequence mk w a -> Sequence mk w a

Generic (Sequence mk w a)

Defined in Bio.Sequence.Class

Associated Types

type Rep (Sequence mk w a) :: Type -> Type

Methods

from :: Sequence mk w a -> Rep (Sequence mk w a) x

to :: Rep (Sequence mk w a) x -> Sequence mk w a

(Show a, Show mk, Show w) => Show (Sequence mk w a)

Defined in Bio.Sequence.Class

Methods

showsPrec :: Int -> Sequence mk w a -> ShowS

show :: Sequence mk w a -> String

showList :: [Sequence mk w a] -> ShowS

(IsMarking mk, IsWeight w) => IsSequence (Sequence mk w a)

Defined in Bio.Sequence.Class

Associated Types

type Element (Sequence mk w a)

type Marking (Sequence mk w a)

type Weight (Sequence mk w a)

Methods

toSequence :: Sequence mk w a -> Sequence (Marking (Sequence mk w a)) (Weight (Sequence mk w a)) (Element (Sequence mk w a))

fromSequence :: Sequence (Marking (Sequence mk w a)) (Weight (Sequence mk w a)) (Element (Sequence mk w a)) -> Sequence mk w a

(NFData a, NFData mk, NFData w) => NFData (Sequence mk w a)

Defined in Bio.Sequence.Class

Methods

rnf :: Sequence mk w a -> ()

(Eq a, Eq mk, Eq w) => Eq (Sequence mk w a)

Defined in Bio.Sequence.Class

Methods

(==) :: Sequence mk w a -> Sequence mk w a -> Bool

(/=) :: Sequence mk w a -> Sequence mk w a -> Bool

(Ord a, Ord mk, Ord w) => Ord (Sequence mk w a)

Defined in Bio.Sequence.Class

Methods

compare :: Sequence mk w a -> Sequence mk w a -> Ordering

(<) :: Sequence mk w a -> Sequence mk w a -> Bool

(<=) :: Sequence mk w a -> Sequence mk w a -> Bool

(>) :: Sequence mk w a -> Sequence mk w a -> Bool

(>=) :: Sequence mk w a -> Sequence mk w a -> Bool

max :: Sequence mk w a -> Sequence mk w a -> Sequence mk w a

min :: Sequence mk w a -> Sequence mk w a -> Sequence mk w a

type Rep (Sequence mk w a)

Defined in Bio.Sequence.Class

type Rep (Sequence mk w a) = D1 ('MetaData "Sequence" "Bio.Sequence.Class" "cobot-io-0.1.5.5-2fgiMxNKBm19YNVvDwIPRV" 'False) (C1 ('MetaCons "Sequence" 'PrefixI 'True) (S1 ('MetaSel ('Just "_sequ") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector a)) :*: (S1 ('MetaSel ('Just "_markings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(mk, Range)]) :*: S1 ('MetaSel ('Just "_weights") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector w)))))

type Element (Sequence mk w a)

Defined in Bio.Sequence.Class

type Element (Sequence mk w a) = a

type Marking (Sequence mk w a)

Defined in Bio.Sequence.Class

type Marking (Sequence mk w a) = mk

type Weight (Sequence mk w a)

Defined in Bio.Sequence.Class

type Weight (Sequence mk w a) = w

class (IsMarking (Marking s), IsWeight (Weight s)) => IsSequence s where

Type class that describes object that is isomorphisc to Sequence and contains elements of type Element, is marked with marking of type Marking and is weighted with weights of type Weight.

Special cases, when IsSequence has no markings, has no weights, or has no weights and no markings at the same time are aliased: * IsWeightedSequence is alias for sequence with Marking type set to () and Weight not set to () * IsMarkedSequence is alias for sequence with Weight type set to () and Marking not set to (). * IsBareSequence is alias for sequence with Marking and Weight types set to ().

Instances of IsSequence can be built only using special constructors: * createSequence creates IsSequence that has Marking and Weight that are not set to (). * bareSequence creates IsSequence that has Marking and Weight that are set to (). * weightedSequence creates IsSequence that has Marking set to () and Weight that is not (). * markedSequence creates IsSequence that has Weight set to () and Marking that is not ().

Constraints and constructors mentioned above gaurantee that IsSequence instances that have no Weights will in compile-time have () as types assosiated with their Weights. That is used to make functions that rely on IsSequence instance having not null weights type-safe.

Associated Types

type Element s :: Type

type Marking s :: Type

type Weight s :: Type

Methods

toSequence :: s -> Sequence (Marking s) (Weight s) (Element s)

fromSequence :: Sequence (Marking s) (Weight s) (Element s) -> s

Instances

IsSequence BasecalledSequence

Defined in Bio.Sequence.Basecalled.Type

Associated Types

type Element BasecalledSequence

type Marking BasecalledSequence

type Weight BasecalledSequence

Methods

toSequence :: BasecalledSequence -> Sequence (Marking BasecalledSequence) (Weight BasecalledSequence) (Element BasecalledSequence)

fromSequence :: Sequence (Marking BasecalledSequence) (Weight BasecalledSequence) (Element BasecalledSequence) -> BasecalledSequence

(IsMarking mk, IsWeight w) => IsSequence (Sequence mk w a)

Defined in Bio.Sequence.Class

Associated Types

type Element (Sequence mk w a)

type Marking (Sequence mk w a)

type Weight (Sequence mk w a)

Methods

toSequence :: Sequence mk w a -> Sequence (Marking (Sequence mk w a)) (Weight (Sequence mk w a)) (Element (Sequence mk w a))

fromSequence :: Sequence (Marking (Sequence mk w a)) (Weight (Sequence mk w a)) (Element (Sequence mk w a)) -> Sequence mk w a

data Range

Instances

Generic Range

Defined in Bio.Sequence.Range

Associated Types

type Rep Range :: Type -> Type

Methods

from :: Range -> Rep Range x

to :: Rep Range x -> Range

Show Range

Defined in Bio.Sequence.Range

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

NFData Range

Defined in Bio.Sequence.Range

Methods

rnf :: Range -> ()

Eq Range

Defined in Bio.Sequence.Range

Methods

(==) :: Range -> Range -> Bool

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

Ord Range

Defined in Bio.Sequence.Range

Methods

compare :: Range -> Range -> Ordering

(<) :: Range -> Range -> Bool

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

(>) :: Range -> Range -> Bool

(>=) :: Range -> Range -> Bool

max :: Range -> Range -> Range

min :: Range -> Range -> Range

type Rep Range

Defined in Bio.Sequence.Range

type Rep Range = D1 ('MetaData "Range" "Bio.Sequence.Range" "cobot-io-0.1.5.5-2fgiMxNKBm19YNVvDwIPRV" 'False) ((C1 ('MetaCons "Point" 'PrefixI 'True) (S1 ('MetaSel ('Just "_location") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "Span" 'PrefixI 'True) (S1 ('MetaSel ('Just "_lower") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RangeBorder) :*: S1 ('MetaSel ('Just "_upper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RangeBorder))) :+: (C1 ('MetaCons "Between" 'PrefixI 'True) (S1 ('MetaSel ('Just "_before") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "_after") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "Join" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ranges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Range])) :+: C1 ('MetaCons "Complement" 'PrefixI 'True) (S1 ('MetaSel ('Just "_range") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))))

class IsSequence s => SequenceDecodable a s where

Class that allows to decode something into Sequence representation

Methods

sequenceDecode :: a -> Either Text s

Instances

SequenceDecodable ByteString BasecalledSequence

Converts ByteString (that should be content of ABI file) into BasecalledSequence.

Defined in Bio.ABI.Decode

Methods

sequenceDecode :: ByteString -> Either Text BasecalledSequence

SequenceDecodable ByteString BasecalledSequence

Converts ByteString (that should be content of ABI file) into BasecalledSequence.

Defined in Bio.ABI.Decode

Methods

sequenceDecode :: ByteString -> Either Text BasecalledSequence

SequenceDecodable BasecalledSequenceWithRawData BasecalledSequence

Discards raw data information.

Defined in Bio.ABI.Decode

Methods

sequenceDecode :: BasecalledSequenceWithRawData -> Either Text BasecalledSequence

type BareSequence a = Sequence () () a

Type alias for sequence that is not weighted and has no markings.

type MarkedSequence mk a = Sequence mk () a

Type alias for sequence that is not weighted, but has markings.

class (Eq mk, Ord mk) => IsMarking mk

Class that reprsents objects that can be markings of IsSequence.

Instances

IsMarking Feature

Defined in Bio.GB.Type

IsMarking ()

Defined in Bio.Sequence.Class

type WeightedSequence w a = Sequence () w a

Type alias for sequence that has no marking but is weighted.

class IsWeight w where

Class that represents objects that can be weights of IsSequences Elements.

Methods

toDouble :: w -> Double

Instances

IsWeight ()

Defined in Bio.Sequence.Class

Methods

toDouble :: () -> Double

IsWeight Double

Defined in Bio.Sequence.Class

Methods

toDouble :: Double -> Double

type IsWeightedSequence s = (IsSequence s, Unit (Marking s), NotUnit (Weight s))

Type alias for constraint that checks whether given instance of IsSequence has no markings, but is weighted.

type IsMarkedSequence s = (IsSequence s, NotUnit (Marking s), Unit (Weight s))

Type alias for constraint that checks whether given instance of IsSequence has markings, but is not weighted.

type IsBareSequence s = (IsSequence s, Unit (Marking s), Unit (Weight s))

Type alias for constraint that checks whether given instance of IsSequence has no markings and is not weighted.

type ContainsMarking s = (IsSequence s, NotUnit (Marking s))

Type alias for constraint that checks whether given instance s of IsSequence has markings, weights of s are not checked.

type ContainsNoMarking s = (IsSequence s, Unit (Marking s))

Type alias for constraint that checks whether given instance s of IsSequence has no markings, weights of s are not checked.

type ContainsWeight s = (IsSequence s, NotUnit (Weight s))

Type alias for constraint that checks whether given instance s of IsSequence has weights, markings of s are not checked.

type ContainsNoWeight s = (IsSequence s, Unit (Weight s))

Type alias for constraint that checks whether given instance s of IsSequence has no weights, markings of s are not checked.

weightedSequence :: (IsWeightedSequence s, MonadError Text m) => [Element s] -> [Weight s] -> m s

Create IsWeightedSequence s from list of Elements and Weights that correspond to each Element. If length of list of Weights is not equal to length of sequence or lis is null, an error will be thrown.

bareSequence :: IsBareSequence s => [Element s] -> s

Create IsBareSequence s, simple sequence without markings and weights.

sequ :: Getter (Sequence mk w a) (Vector a)

markedSequence :: (IsMarkedSequence s, MonadError Text m) => [Element s] -> [(Marking s, Range)] -> m s

Create IsMarkedSequence s from list of Elements and Markings that mark it. If at least one of ranges in given list of Markings is out of bounds, an error will be thrown.

markings :: Getter (Sequence mk w a) [(mk, Range)]

weights :: Getter (Sequence mk w a) (Vector w)

bareSequ :: Lens' (BareSequence a) (Vector a)

createSequence :: (ContainsMarking s, ContainsWeight s, MonadError Text m) => [Element s] -> [(Marking s, Range)] -> [Weight s] -> m s

Create IsSequence s that has both markings and weights. If any of the markings is invalid or length of weights list is not equal to length of sequence, an error will be thrown.

unsafeCreateSequence :: (ContainsMarking s, ContainsWeight s) => [Element s] -> [(Marking s, Range)] -> [Weight s] -> s

unsafeWeightedSequence :: IsWeightedSequence s => [Element s] -> [Weight s] -> s

unsafeMarkedSequence :: IsMarkedSequence s => [Element s] -> [(Marking s, Range)] -> s

module Bio.Sequence.Functions.Sequence

module Bio.Sequence.Functions.Weight

module Bio.Sequence.Functions.Marking

module Bio.Sequence.Range