| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Process.UserID
Synopsis
- type UserID = CUid
- class GetUserID a where
- class GetUserID a => HasUserID a where
- class ReviewUserID a where
- reviewUserID :: Review a UserID
- reviewUserIDWord32 :: Review a Word32
- class ReviewUserID a => AsUserID a where
Documentation
class GetUserID a where Source #
Type class for values that can be viewed as a UserID.
>>>view getUserID (CUid 1000)1000
Minimal complete definition
class GetUserID a => HasUserID a where Source #
Type class for values with a lens into a UserID.
>>>view userID (CUid 1000)1000
Minimal complete definition
class ReviewUserID a where Source #
Type class for values that can be constructed from a UserID.
>>>review reviewUserID (CUid 1000) :: UserID1000
Minimal complete definition
Instances
| ReviewUserID UserID Source # |
|
Defined in Control.Process.UserID | |
class ReviewUserID a => AsUserID a where Source #
Type class for values with a prism into a UserID.
>>>preview _UserID (CUid 1000)Just 1000
Minimal complete definition