properties

Get a list containing references to all the properties present on a given object

List of MathML properties

Filter a list of spec items to keep only the properties.

These properties determine how a replay will look in the list of replays in-game. One element is required for the replay to show up:

• MapName: This is a NameProperty with a case-insensitive map identifier, like Stadium_P.

There are many other properties that affect how the replay looks in the list of replays.

• Date: A StrProperty with the format YYYY-mm-dd:HH-MM. Dates are not validated, but the month must be between 1 and 12 to show up. The hour is shown modulo 12 with AM or PM.
• MatchType: A NameProperty. If this is not one of the expected values, nothing will be shown next to the replay's map. The expected values are: Online, Offline, Private, and Season.
• NumFrames: This IntProperty is used to calculate the length of the match. There are 30 frames per second, a typical 5-minute match has about 9,000 frames.
• PrimaryPlayerTeam: This is an IntProperty. It is either 0 (blue) or 1 (orange). Any other value is ignored. If this would be 0, you don't have to set it at all.
• ReplayName: An optional StrProperty with a user-supplied name for the replay.
• Team0Score: The blue team's score as an IntProperty. Can be omitted if the score is 0.
• Team1Score: The orange team's score as an IntProperty. Can also be omitted if the score is 0.
• TeamSize: An IntProperty with the number of players per team. This value is not validated, so you can put absurd values like 99. To get an "unfair" team size like 1v4, you must set the bUnfairBots BoolProperty to True.

Not on Stackage, so not searched. check quickCheck properties in real time.

Functions for getting and setting GObject properties

This module contains a set of generally useful properties, which instance authors are encouraged to use in order to test their instances of the Serialise class. For example, if you have a data type which you might derive or write instances for:

data Foo = Foo { fooInt :: Int, fooBool :: Bool }
deriving (Eq, Show, Generic)
-- or, alternatively
instance Serialise Foo where
encode = ...
decode = ...

Then you can use this module to easily derive some quick properties:

import qualified Codec.Serialise.Properties as Props

fooSerialiseId :: Foo -> Bool
fooSerialiseId = Props.serialiseIdentity

fooFlatTermId :: Foo -> Bool
fooFlatTermId = Props.flatTermIdentity

fooHasValidFlatTerm :: Foo -> Bool
fooHasValidFlatTerm = Props.hasValidFlatTerm

You can then conveniently use these three functions with QuickCheck, for example.

Low level JavaScript object property access. In most cases you should use Language.Javascript.JSaddle.Object instead. This module is mostly here to implement functions needed to use JSPropRef.

A collection of properties that can be tested with QuickCheck, to guarantee that you are working with valid Lenses, Setters, Traversals, Isos and Prisms.

Properties file source

Source that uses a config file in config/{env}.properties and parses it as a properties file with some.key=a value lines