Biobase.Primary.Unknown

A Letter with unknown annotation. We sometimes want to encode that we are dealing with Letters in an alphabet, but we do not want to commit to a certain alphabet (just yet).

This module allows us to make explicit that we do not know the specific alphabet type yet.

One should NEVER blindly coerce, since the order and limits of Letter's might well be different.

Documentation

data Unknown

Unknown phantom type.

Instances

MkPrimary (Vector Int) Unknown (n :: k)

Defined in Biobase.Primary.Unknown

Methods

primary :: Vector Int -> Primary Unknown n

Enum (Letter Unknown n)

Defined in Biobase.Primary.Unknown

Methods

succ :: Letter Unknown n -> Letter Unknown n

pred :: Letter Unknown n -> Letter Unknown n

toEnum :: Int -> Letter Unknown n

fromEnum :: Letter Unknown n -> Int

enumFrom :: Letter Unknown n -> [Letter Unknown n]

enumFromThen :: Letter Unknown n -> Letter Unknown n -> [Letter Unknown n]

enumFromTo :: Letter Unknown n -> Letter Unknown n -> [Letter Unknown n]

enumFromThenTo :: Letter Unknown n -> Letter Unknown n -> Letter Unknown n -> [Letter Unknown n]

Read (Letter Unknown n)

Defined in Biobase.Primary.Unknown

Methods

readsPrec :: Int -> ReadS (Letter Unknown n)

readList :: ReadS [Letter Unknown n]

readPrec :: ReadPrec (Letter Unknown n)

readListPrec :: ReadPrec [Letter Unknown n]

Show (Letter Unknown n)

Defined in Biobase.Primary.Unknown

Methods

showsPrec :: Int -> Letter Unknown n -> ShowS

show :: Letter Unknown n -> String

showList :: [Letter Unknown n] -> ShowS

ToJSON (Letter Unknown n)

Defined in Biobase.Primary.Unknown

Methods

toJSON :: Letter Unknown n -> Value

toEncoding :: Letter Unknown n -> Encoding

toJSONList :: [Letter Unknown n] -> Value

toEncodingList :: [Letter Unknown n] -> Encoding

FromJSON (Letter Unknown n)

Defined in Biobase.Primary.Unknown

Methods

parseJSON :: Value -> Parser (Letter Unknown n)

parseJSONList :: Value -> Parser [Letter Unknown n]

unk :: Int -> Letter Unknown n

Creating an unknown letter.

instances