Safe Haskell	None
Language	Haskell2010

Octane.Type.Value.UniqueIdValue

Documentation

data UniqueIdValue Source #

Constructors

UniqueIdValue
Fields uniqueIdValueSystemId :: Word8 uniqueIdValueRemoteId :: RemoteId uniqueIdValueLocalId :: Maybe Word8

Instances

Eq UniqueIdValue Source #
Methods (==) :: UniqueIdValue -> UniqueIdValue -> Bool # (/=) :: UniqueIdValue -> UniqueIdValue -> Bool #
Show UniqueIdValue Source #
Methods showsPrec :: Int -> UniqueIdValue -> ShowS # show :: UniqueIdValue -> String # showList :: [UniqueIdValue] -> ShowS #
ToJSON UniqueIdValue Source #
Methods toJSON :: UniqueIdValue -> Value # toEncoding :: UniqueIdValue -> Encoding # toJSONList :: [UniqueIdValue] -> Value # toEncodingList :: [UniqueIdValue] -> Encoding #
HasField "remoteId" UniqueIdValue RemoteId Source #
Methods getField :: Proxy# Symbol "remoteId" -> UniqueIdValue -> RemoteId #
HasField "systemId" UniqueIdValue Word8 Source #
Methods getField :: Proxy# Symbol "systemId" -> UniqueIdValue -> Word8 #
ModifyField "remoteId" UniqueIdValue UniqueIdValue RemoteId RemoteId Source #
Methods modifyField :: Proxy# Symbol "remoteId" -> (RemoteId -> RemoteId) -> UniqueIdValue -> UniqueIdValue # setField :: Proxy# Symbol "remoteId" -> UniqueIdValue -> RemoteId -> UniqueIdValue # fieldLens :: Functor f => Proxy# Symbol "remoteId" -> (RemoteId -> f RemoteId) -> UniqueIdValue -> f UniqueIdValue #
ModifyField "systemId" UniqueIdValue UniqueIdValue Word8 Word8 Source #
Methods modifyField :: Proxy# Symbol "systemId" -> (Word8 -> Word8) -> UniqueIdValue -> UniqueIdValue # setField :: Proxy# Symbol "systemId" -> UniqueIdValue -> Word8 -> UniqueIdValue # fieldLens :: Functor f => Proxy# Symbol "systemId" -> (Word8 -> f Word8) -> UniqueIdValue -> f UniqueIdValue #
ModifyField "localId" UniqueIdValue UniqueIdValue (Maybe Word8) (Maybe Word8) Source #
Methods modifyField :: Proxy# Symbol "localId" -> (Maybe Word8 -> Maybe Word8) -> UniqueIdValue -> UniqueIdValue # setField :: Proxy# Symbol "localId" -> UniqueIdValue -> Maybe Word8 -> UniqueIdValue # fieldLens :: Functor f => Proxy# Symbol "localId" -> (Maybe Word8 -> f (Maybe Word8)) -> UniqueIdValue -> f UniqueIdValue #
HasField "localId" UniqueIdValue (Maybe Word8) Source #
Methods getField :: Proxy# Symbol "localId" -> UniqueIdValue -> Maybe Word8 #
ModifyRec "remoteId" RemoteId cs0 => HasField "remoteId" (Rec cs0 UniqueIdValue) RemoteId Source #
Methods getField :: Proxy# Symbol "remoteId" -> Rec cs0 UniqueIdValue -> RemoteId #
ModifyRec "systemId" Word8 cs0 => HasField "systemId" (Rec cs0 UniqueIdValue) Word8 Source #
Methods getField :: Proxy# Symbol "systemId" -> Rec cs0 UniqueIdValue -> Word8 #
ModifyRec "localId" (Maybe Word8) cs0 => HasField "localId" (Rec cs0 UniqueIdValue) (Maybe Word8) Source #
Methods getField :: Proxy# Symbol "localId" -> Rec cs0 UniqueIdValue -> Maybe Word8 #
ModifyRec "remoteId" RemoteId cs0 => ModifyField "remoteId" (Rec cs0 UniqueIdValue) (Rec cs0 UniqueIdValue) RemoteId RemoteId Source #
Methods modifyField :: Proxy# Symbol "remoteId" -> (RemoteId -> RemoteId) -> Rec cs0 UniqueIdValue -> Rec cs0 UniqueIdValue # setField :: Proxy# Symbol "remoteId" -> Rec cs0 UniqueIdValue -> RemoteId -> Rec cs0 UniqueIdValue # fieldLens :: Functor f => Proxy# Symbol "remoteId" -> (RemoteId -> f RemoteId) -> Rec cs0 UniqueIdValue -> f (Rec cs0 UniqueIdValue) #
ModifyRec "systemId" Word8 cs0 => ModifyField "systemId" (Rec cs0 UniqueIdValue) (Rec cs0 UniqueIdValue) Word8 Word8 Source #
Methods modifyField :: Proxy# Symbol "systemId" -> (Word8 -> Word8) -> Rec cs0 UniqueIdValue -> Rec cs0 UniqueIdValue # setField :: Proxy# Symbol "systemId" -> Rec cs0 UniqueIdValue -> Word8 -> Rec cs0 UniqueIdValue # fieldLens :: Functor f => Proxy# Symbol "systemId" -> (Word8 -> f Word8) -> Rec cs0 UniqueIdValue -> f (Rec cs0 UniqueIdValue) #
ModifyRec "localId" (Maybe Word8) cs0 => ModifyField "localId" (Rec cs0 UniqueIdValue) (Rec cs0 UniqueIdValue) (Maybe Word8) (Maybe Word8) Source #
Methods modifyField :: Proxy# Symbol "localId" -> (Maybe Word8 -> Maybe Word8) -> Rec cs0 UniqueIdValue -> Rec cs0 UniqueIdValue # setField :: Proxy# Symbol "localId" -> Rec cs0 UniqueIdValue -> Maybe Word8 -> Rec cs0 UniqueIdValue # fieldLens :: Functor f => Proxy# Symbol "localId" -> (Maybe Word8 -> f (Maybe Word8)) -> Rec cs0 UniqueIdValue -> f (Rec cs0 UniqueIdValue) #
type FieldType "localId" UniqueIdValue Source #
type FieldType "localId" UniqueIdValue = Maybe Word8
type FieldType "remoteId" UniqueIdValue Source #
type FieldType "remoteId" UniqueIdValue = RemoteId
type FieldType "systemId" UniqueIdValue Source #
type FieldType "systemId" UniqueIdValue = Word8
type UpdateType "remoteId" UniqueIdValue RemoteId Source #
type UpdateType "remoteId" UniqueIdValue RemoteId = UniqueIdValue
type UpdateType "systemId" UniqueIdValue Word8 Source #
type UpdateType "systemId" UniqueIdValue Word8 = UniqueIdValue
type UpdateType "localId" UniqueIdValue (Maybe Word8) Source #
type UpdateType "localId" UniqueIdValue (Maybe Word8) = UniqueIdValue