Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.TypeLevel.Maybe

Documentation

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

newtype Id a Source #

Constructors

Instances details

Storable a => Storable (Id a) Source #
Instance details 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) Source #
Instance details Defined in Data.TypeLevel.Maybe Methods showsPrec :: Int -> Id a -> ShowS # show :: Id a -> String # showList :: [Id a] -> ShowS #
Eq a => Eq (Id a) Source #
Instance details Defined in Data.TypeLevel.Maybe Methods (==) :: Id a -> Id a -> Bool # (/=) :: Id a -> Id a -> Bool #
Ord a => Ord (Id a) Source #
Instance details 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 #