Data.TypeLevel.Maybe

Documentation

type M = M Id

pattern N :: M 'Nothing

pattern J :: a -> M ('Just a)

newtype Id a

Constructors

Id a

Instances

Storable a => Storable (Id a)

Defined in Data.TypeLevel.Maybe

Methods

sizeOf :: Id a -> Int

alignment :: Id a -> Int

peekElemOff :: Ptr (Id a) -> Int -> IO (Id a)

pokeElemOff :: Ptr (Id a) -> Int -> Id a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Id a)

pokeByteOff :: Ptr b -> Int -> Id a -> IO ()

peek :: Ptr (Id a) -> IO (Id a)

poke :: Ptr (Id a) -> Id a -> IO ()

Show a => Show (Id a)

Defined in Data.TypeLevel.Maybe

Methods

showsPrec :: Int -> Id a -> ShowS

show :: Id a -> String

showList :: [Id a] -> ShowS

Eq a => Eq (Id a)

Defined in Data.TypeLevel.Maybe

Methods

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

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

Ord a => Ord (Id a)

Defined in Data.TypeLevel.Maybe

Methods

compare :: Id a -> Id a -> Ordering

(<) :: Id a -> Id a -> Bool

(<=) :: Id a -> Id a -> Bool

(>) :: Id a -> Id a -> Bool

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

max :: Id a -> Id a -> Id a

min :: Id a -> Id a -> Id a