Rattletrap.Type.Property

Documentation

data Property

Constructors

Property

Fields

• kind :: Str
• size :: U64

  Not used.

• value :: PropertyValue Property

Instances

Eq Property

Defined in Rattletrap.Type.Property

Methods

(==) :: Property -> Property -> Bool

(/=) :: Property -> Property -> Bool

Show Property

Defined in Rattletrap.Type.Property

Methods

showsPrec :: Int -> Property -> ShowS

show :: Property -> String

showList :: [Property] -> ShowS

ToJSON Property

Defined in Rattletrap.Type.Property

Methods

toJSON :: Property -> Value

toEncoding :: Property -> Encoding

toJSONList :: [Property] -> Value

toEncodingList :: [Property] -> Encoding

FromJSON Property

Defined in Rattletrap.Type.Property

Methods

parseJSON :: Value -> Parser Property

parseJSONList :: Value -> Parser [Property]

schema :: Schema

bytePut :: Property -> BytePut

byteGet :: ByteGet Property