Modulelinear-base-0.8.1

Foreign.Marshal.Pure.Internal

4 types
3 classes
12 values

Packagelinear-base-0.8.1
Exports19
LicenceMIT

valuealloc :: Representable a => a %1 -> Pool %1 -> Box a

valuedeconstruct :: Representable a => Box a %1 -> a

valuedelete :: DLL a -> IO ()

valuefreeAll :: DLL (Ptr ()) -> DLL (Ptr ()) -> IO ()

valueinsertAfter :: Storable a => DLL a -> a -> IO (Ptr (DLL a))

valuereprNew :: Representable a => a %1 -> IO (Ptr a)

valuereprPeek :: Representable a => Ptr a -> IO a

valuereprPoke :: Representable a => Ptr a -> a %1 -> IO ()

valuestripMaybe :: Maybe a -> a

valuestripMaybePtr :: Ptr (Maybe a) -> Ptr a

valuestripPtr :: Ptr a -> a

valuewithPool :: Movable b => (Pool %1 -> b) %1 -> b

datadata Box a where

Constructors

Box :: Ptr (DLL (Ptr ())) -> Ptr a -> Box a

Instances4Storable, KnownRepresentable, Representable, AsKnown

Storable (Box a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
KnownRepresentable (Box a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Representable (Box a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
type AsKnown (Box a) = Box aDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal

datadata DLL a

Constructors

DLL
- prev :: Ptr (DLL a)
- elt :: Ptr a
- next :: Ptr (DLL a)

Instances2Eq, Storable

Eq (DLL a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Storable (DLL a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal

datadata Dict (a :: Constraint) where

Constructors

Dict :: a => Dict a

classclass KnownRepresentable a where

Methods

storable :: Dict (Storable a)

Instances9KnownRepresentable, …

KnownRepresentable IntDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
KnownRepresentable WordDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
KnownRepresentable ()Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
KnownRepresentable (Ptr a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
KnownRepresentable (Box a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
KnownRepresentable a => KnownRepresentable (Maybe a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
KnownRepresentable a => KnownRepresentable (Ur a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
(KnownRepresentable a, KnownRepresentable b) => KnownRepresentable (a, b)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
(KnownRepresentable a, KnownRepresentable b, KnownRepresentable c) => KnownRepresentable (a, b, c)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal

classclass Representable b => MkRepresentable a b | a -> b where

Methods

toRepr :: a %1 -> b
ofRepr :: b %1 -> a

datadata Pool where

Constructors

Pool :: DLL (Ptr ()) -> Pool

Instances2Consumable, Dupable

Consumable PoolDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Dupable PoolDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal

classclass KnownRepresentable (AsKnown a) => Representable a where

Associated types

type family AsKnown a

Methods

toKnown :: a %1 -> AsKnown a
ofKnown :: AsKnown a %1 -> a

Instances8Representable, …

Representable IntDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Representable WordDefined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Representable ()Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Representable (Ptr a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Representable (Box a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
Representable a => Representable (Maybe a)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
(Representable a, Representable b) => Representable (a, b)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal
(Representable a, Representable b, Representable c) => Representable (a, b, c)Defined in linear-base-0.8.1 · Foreign.Marshal.Pure.Internal

Orphan instances

2 instances

Storable a => Storable (Maybe a)
Storable a => Storable (Ur a)