Octane.Type.Property.ArrayProperty

Documentation

data ArrayProperty a

Constructors

ArrayProperty

Fields

• arrayPropertySize :: Word64
• arrayPropertyContent :: List (Dictionary a)

Instances

HasField "size" (ArrayProperty a0) Word64

Methods

getField :: Proxy# Symbol "size" -> ArrayProperty a0 -> Word64

HasField "content" (ArrayProperty a0) (List (Dictionary a0))

Methods

getField :: Proxy# Symbol "content" -> ArrayProperty a0 -> List (Dictionary a0)

ModifyField "size" (ArrayProperty a0) (ArrayProperty a0) Word64 Word64

Methods

modifyField :: Proxy# Symbol "size" -> (Word64 -> Word64) -> ArrayProperty a0 -> ArrayProperty a0

setField :: Proxy# Symbol "size" -> ArrayProperty a0 -> Word64 -> ArrayProperty a0

fieldLens :: Functor f => Proxy# Symbol "size" -> (Word64 -> f Word64) -> ArrayProperty a0 -> f (ArrayProperty a0)

ModifyField "content" (ArrayProperty a0) (ArrayProperty a0) (List (Dictionary a0)) (List (Dictionary a0))

Methods

modifyField :: Proxy# Symbol "content" -> (List (Dictionary a0) -> List (Dictionary a0)) -> ArrayProperty a0 -> ArrayProperty a0

setField :: Proxy# Symbol "content" -> ArrayProperty a0 -> List (Dictionary a0) -> ArrayProperty a0

fieldLens :: Functor f => Proxy# Symbol "content" -> (List (Dictionary a0) -> f (List (Dictionary a0))) -> ArrayProperty a0 -> f (ArrayProperty a0)

ModifyRec "size" Word64 cs0 => HasField "size" (Rec cs0 (ArrayProperty a0)) Word64

Methods

getField :: Proxy# Symbol "size" -> Rec cs0 (ArrayProperty a0) -> Word64

ModifyRec "content" (List (Dictionary a0)) cs0 => HasField "content" (Rec cs0 (ArrayProperty a0)) (List (Dictionary a0))

Methods

getField :: Proxy# Symbol "content" -> Rec cs0 (ArrayProperty a0) -> List (Dictionary a0)

ModifyRec "size" Word64 cs0 => ModifyField "size" (Rec cs0 (ArrayProperty a0)) (Rec cs0 (ArrayProperty a0)) Word64 Word64

Methods

modifyField :: Proxy# Symbol "size" -> (Word64 -> Word64) -> Rec cs0 (ArrayProperty a0) -> Rec cs0 (ArrayProperty a0)

setField :: Proxy# Symbol "size" -> Rec cs0 (ArrayProperty a0) -> Word64 -> Rec cs0 (ArrayProperty a0)

fieldLens :: Functor f => Proxy# Symbol "size" -> (Word64 -> f Word64) -> Rec cs0 (ArrayProperty a0) -> f (Rec cs0 (ArrayProperty a0))

ModifyRec "content" (List (Dictionary a0)) cs0 => ModifyField "content" (Rec cs0 (ArrayProperty a0)) (Rec cs0 (ArrayProperty a0)) (List (Dictionary a0)) (List (Dictionary a0))

Methods

modifyField :: Proxy# Symbol "content" -> (List (Dictionary a0) -> List (Dictionary a0)) -> Rec cs0 (ArrayProperty a0) -> Rec cs0 (ArrayProperty a0)

setField :: Proxy# Symbol "content" -> Rec cs0 (ArrayProperty a0) -> List (Dictionary a0) -> Rec cs0 (ArrayProperty a0)

fieldLens :: Functor f => Proxy# Symbol "content" -> (List (Dictionary a0) -> f (List (Dictionary a0))) -> Rec cs0 (ArrayProperty a0) -> f (Rec cs0 (ArrayProperty a0))

Eq a => Eq (ArrayProperty a)

Methods

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

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

Show a => Show (ArrayProperty a)

Methods

showsPrec :: Int -> ArrayProperty a -> ShowS

show :: ArrayProperty a -> String

showList :: [ArrayProperty a] -> ShowS

ToJSON a => ToJSON (ArrayProperty a)

Methods

toJSON :: ArrayProperty a -> Value

toEncoding :: ArrayProperty a -> Encoding

toJSONList :: [ArrayProperty a] -> Value

toEncodingList :: [ArrayProperty a] -> Encoding

type FieldType "content" (ArrayProperty a0)

type FieldType "content" (ArrayProperty a0) = List (Dictionary a0)

type FieldType "size" (ArrayProperty a0)

type FieldType "size" (ArrayProperty a0) = Word64

type UpdateType "size" (ArrayProperty a0) Word64

type UpdateType "size" (ArrayProperty a0) Word64 = ArrayProperty a0

type UpdateType "content" (ArrayProperty a0) (List (Dictionary a0))

type UpdateType "content" (ArrayProperty a0) (List (Dictionary a0)) = ArrayProperty a0