subhask-0.1.1.0: Type safe interface for programming in subcategories of Hask

Safe HaskellNone
LanguageHaskell2010

SubHask.Compatibility.ByteString

Description

FIXME: Add compatibility for Text

Synopsis

Documentation

readFileByteString :: FilePath -> IO (ByteString Char) Source

FIXME: Make generic method "readFile" probably using cereal/binary

newtype PartitionOnNewline a Source

FIXME: Make this generic by moving some of the BS functions into the Foldable/Unfoldable type classes. Then move this into Algebra.Containers

Constructors

PartitionOnNewline a 

Instances

Read a0 => Read (PartitionOnNewline a) Source 
Show a0 => Show (PartitionOnNewline a) Source 
Arbitrary a0 => Arbitrary (PartitionOnNewline a) Source 
NFData a0 => NFData (PartitionOnNewline a) Source 
IsMutable a0 => IsMutable (PartitionOnNewline a) Source 
(Foldable a0, Constructible a0, Monoid a0, Normed a0, (~) * (Scalar a0) Int) => Foldable (PartitionOnNewline a) Source 
(Constructible a0, Semigroup a0) => Constructible (PartitionOnNewline a) Source 
(Normed a0, Ord_ (Scalar a0), (~) * (Scalar (Scalar a0)) (Scalar a0), Ring (Scalar a0)) => Normed (PartitionOnNewline a) Source 
(Monoid a0, Semigroup a0) => Monoid (PartitionOnNewline a) Source 
(Semigroup a0, IsMutable a0) => Semigroup (PartitionOnNewline a) Source 
(Boolean a0, Complemented a0, Heyting a0) => Boolean (PartitionOnNewline a) Source 
(Heyting a0, Bounded a0) => Heyting (PartitionOnNewline a) Source 
(Complemented a0, Bounded a0) => Complemented (PartitionOnNewline a) Source 
(Bounded a0, Lattice_ a0, MinBound_ a0) => Bounded (PartitionOnNewline a) Source 
(Lattice_ a0, POrd_ a0) => Lattice_ (PartitionOnNewline a) Source 
(MinBound_ a0, POrd_ a0) => MinBound_ (PartitionOnNewline a) Source 
(POrd_ a0, Eq_ a0) => POrd_ (PartitionOnNewline a) Source 
Eq_ a0 => Eq_ (PartitionOnNewline a) Source 
((~) * a (ByteString Char), Partitionable a) => Partitionable (PartitionOnNewline a) Source 
data Mutable m (PartitionOnNewline a0) = Mutable_PartitionOnNewline (Mutable m a) Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Elem (PartitionOnNewline a0) = Elem a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Scalar (PartitionOnNewline a0) = Scalar a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Actor (PartitionOnNewline a0) = Actor a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source 
type Logic (PartitionOnNewline a0) = Logic a0 Source