Option
There are a few different data types that encapsulate ideas in programming.
Records capture the idea of a collection of key/value pairs where every key and value exist.
E.g. Record (foo :: Boolean, bar :: Int)
means that both foo
and bar
exist and with values all of the time.
Variants capture the idea of a collection of key/value pairs where exactly one of the key/value pairs exist.
E.g. Data.Variant.Variant (foo :: Boolean, bar :: Int)
means that either only foo
exists with a value or only bar
exists with a value, but not both at the same time.
Options capture the idea of a collection of key/value pairs where any key and value may or may not exist.
E.g. Option.Option (foo :: Boolean, bar :: Int)
means that either only foo
exists with a value, only bar
exists with a value, both foo
and bar
exist with values, or neither foo
nor bar
exist.
The distinction between these data types means that we can describe problems more accurately. Options are typically what you find in dynamic languages or in weakly-typed static languages. Their use cases range from making APIs more flexible to interfacing with serialization formats to providing better ergonomics around data types.
These data types are all specific to the PureScript language.
Different data types exist in other languages that combine some of these ideas.
In many languages records are a combination of both PureScript-style records and PureScript-style options.
E.g. Option.Record (foo :: Boolean) (bar :: Int)
means that foo
exists with a value all of the time, and either bar
exists with a value or bar
doesn't exist with a value.
Other languages might signify optional fields with a question mark.
E.g. In TypeScript, the previous example would be { foo: boolean; bar?: number }
This is different from a required field with an optional value.
In PureScript, we might signify that by using: Record (foo :: Boolean, bar :: Data.Maybe.Maybe Int)
.
In TypeScript, we might signify that by using: { foo: boolean; bar: number | null }
#Option
newtype Option (row :: Row Type)
A collection of key/value pairs where any key and value may or may not exist.
E.g. Option (foo :: Boolean, bar :: Int)
means that either only foo
exists with a value, only bar
exists with a value, both foo
and bar
exist with values, or neither foo
nor bar
exist.
Instances
(DecodeJsonOption list option, RowToList option list) => DecodeJson (Option option)
(EncodeJsonOption list option, RowToList option list) => EncodeJson (Option option)
This instance ignores keys that do not exist.
If a key does not exist in the given
Option _
, it is not added to the JSON object.If a key does exists in the given
Option _
, it encodes it like normal and adds it to the JSON object.(EqOption list option, RowToList option list) => Eq (Option option)
(OrdOption list option, RowToList option list) => Ord (Option option)
(RowToList option list, ReadForeignOption list option) => ReadForeign (Option option)
This instance ignores keys that do not exist in the given
Foreign
.If a key does not exist in the
Foreign
, it will not be added to theOption _
.If a key does exists in the
Foreign
but the value cannot be successfully read, it will fail with an error.If a key does exists in the
Foreign
and the value can be successfully read, it will be added to theOption _
.(RowToList option list, ShowOption list option) => Show (Option option)
(RowToList option list, WriteForeignOption list option) => WriteForeign (Option option)
This instance ignores keys that do not exist.
If a key does not exist in the given
Option _
, it is not added to theForeign
.If a key does exists in the given
Option _
, it writes it like normal and adds it to theForeign
.
#Record
newtype Record (required :: Row Type) (optional :: Row Type)
A combination of both language-level records and options.
E.g. Option.Record (foo :: Boolean) (bar :: Int)
means that foo
exists with a value all of the time, and either bar
exists with a value or bar
doesn't exist with a value.
Instances
(Eq (Option optional), Eq (Record required)) => Eq (Record required optional)
(Ord (Option optional), Ord (Record required)) => Ord (Record required optional)
(DecodeJson (Option optional), DecodeJson (Record required)) => DecodeJson (Record required optional)
For required fields:
If a key does not exist in the JSON object, it will fail with an error.
If a key does exists in the JSON object but the value cannot be successfully decoded, it will fail with an error.
If a key does exists in the JSON object and the value can be successfully decoded, it will be added to the
Option.Record _ _
.For optional fields:
This instance ignores keys that do not exist in the given JSON object.
If a key does not exist in the JSON object, it will not be added to the
Option.Record _ _
.If a key does exists in the JSON object but the value cannot be successfully decoded, it will fail with an error.
If a key does exists in the JSON object and the value can be successfully decoded, it will be added to the
Option.Record _ _
.(GEncodeJson required requiredList, EncodeJsonOption optionalList optional, RowToList optional optionalList, RowToList required requiredList) => EncodeJson (Record required optional)
For required fields:
Every key in the given
Option.Record _ _
is encoded like normal and added to the JSON object.For optional fields:
This instance ignores keys that do not exist.
If a key does not exist in the given
Option.Record _ _
, it is not added to the JSON object.If a key does exists in the given
Option.Record _ _
, it encodes it like normal and adds it to the JSON object.(ReadForeign (Option optional), ReadForeign (Record required)) => ReadForeign (Record required optional)
For required fields:
If a key does not exist in the
Foreign.Foreign
, it will fail with an error.If a key does exists in the
Foreign.Foreign
but the value cannot be successfully read, it will fail with an error.If a key does exists in the
Foreign.Foreign
and the value can be successfully read, it will be added to theOption.Record _ _
.For optional fields:
This instance ignores keys that do not exist in the given
Foreign.Foreign
.If a key does not exist in the
Foreign.Foreign
, it will not be added to theOption.Record _ _
.If a key does exists in the
Foreign.Foreign
but the value cannot be successfully read, it will fail with an error.If a key does exists in the
Foreign.Foreign
and the value can be successfully read, it will be added to theOption.Record _ _
.(ShowRecordFields requiredList required, RowToList optional optionalList, RowToList required requiredList, ShowOption optionalList optional) => Show (Record required optional)
(WriteForeign (Option optional), WriteForeign (Record required)) => WriteForeign (Record required optional)
For required fields:
Every key in the given
Option.Record _ _
is written like normal and added to theForeign.Foreign
.For optional fields:
This instance ignores keys that do not exist.
If a key does not exist in the given
Option.Record _ _
, it is not added to theForeign
.If a key does exists in the given
Option.Record _ _
, it writes it like normal and adds it to theForeign.Foreign
.
#alter
alter :: forall option option' record. Alter record option' option => Record record -> Option option' -> Option option
Manipulates the values of an option.
If the field exists in the option, the given function is applied to the value.
If the field does not exist in the option, there is no change to the option.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.alter { bar: \_ -> Data.Maybe.Just 41 } someOption
#fromRecord
fromRecord :: forall optional record. FromRecord record () optional => Record record -> Option optional
The given Record record
must have no more fields than the expected Option _
.
E.g. The following definitions are valid.
option1 :: Option.Option ( foo :: Boolean, bar :: Int )
option1 = Option.fromRecord { foo: true, bar: 31 }
option2 :: Option.Option ( foo :: Boolean, bar :: Int )
option2 = Option.fromRecord {}
However, the following definitions are not valid as the given records have more fields than the expected Option _
.
-- This will not work as it has the extra field `baz`
option3 :: Option.Option ( foo :: Boolean, bar :: Int )
option3 = Option.fromRecord { foo: true, bar: 31, baz: "hi" }
-- This will not work as it has the extra field `qux`
option4 :: Option.Option ( foo :: Boolean, bar :: Int )
option4 = Option.fromRecord { qux: [] }
#delete
delete :: forall label option option' proxy value. IsSymbol label => Cons label value option option' => Lacks label option => proxy label -> Option option' -> Option option
Removes a key from an option
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.fromRecord { foo: true, bar: 31 }
anotherOption :: Option.Option ( bar :: Int )
anotherOption = Option.delete (Data.Symbol.SProxy :: _ "foo") someOption
The proxy
can be anything so long as its type variable has kind Symbol
.
It will commonly be Data.Symbol.SProxy
, but doesn't have to be.
#delete'
delete' :: forall option option' record. Delete record option' option => Record record -> Option option' -> Option option
Removes the given key/values from an option
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.fromRecord { foo: true, bar: 31 }
anotherOption :: Option.Option ( bar :: Int )
anotherOption = Option.delete { foo: unit } someOption
#empty
empty :: forall option. Option option
Creates an option with no key/values that matches any type of option.
This can be useful as a starting point for an option that is later built up.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.set' { bar: 31 } Option.empty
#get
get :: forall label option option' proxy value. IsSymbol label => Cons label value option' option => proxy label -> Option option -> Maybe value
Attempts to fetch the value at the given key from an option.
If the key exists in the option, Just _
is returned.
If the key does not exist in the option, Nothing
is returned.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty
bar :: Data.Maybe.Maybe Int
bar = Option.get (Data.Symbol.SProxy :: _ "bar") someOption
The proxy
can be anything so long as its type variable has kind Symbol
.
It will commonly be Data.Symbol.SProxy
, but doesn't have to be.
#get'
get' :: forall option record record'. Get record' option record => Record record' -> Option option -> Record record
Attempts to fetch the values from the given option.
The behavior of what's returned depends on what the value is for each field in the record.
If the value in the record is of type Maybe a -> b
,
that function is run on the result of finding the field in the option.
If the value in the record is of type Maybe a
and the type of the field in the option is a
,
the result is Just _
if the value exists in the option and whatever the provided Maybe a
was otherwise.
If the value in the record is of type a
and the type of the field in the option is a
,
the result is whatever the value is in the option if it exists and whatever the provided a
was otherwise.
These behaviors allow handling different fields differently without jumping through hoops to get the values from an option.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int, qux :: String )
someOption = Option.empty
-- Since `someOption` is empty,
-- this will have a shape like:
-- { foo: false, bar: "not set", qux: Data.Maybe.Nothing }
someRecord :: Record ( foo :: Boolean, bar :: String, qux :: Data.Maybe.Maybe String )
someRecord =
Option.get'
{ foo: false
, bar: \x -> case x of
Data.Maybe.Just x -> if x > 0 then "positive" else "non-positive"
Data.Maybe.Nothing -> "not set"
, qux: Data.Maybe.Nothing
}
someOption
#getAll
getAll :: forall option record. GetAll option record => Option option -> Maybe (Record record)
Attempts to fetch all of the values from all of the keys of an option.
If every key exists in the option, the record of values is returned in Just _
.
If any key does not exist in the option, Nothing
is returned.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty
-- This will be `Nothing` because the key `foo` does not exist in the option.
bar :: Data.Maybe.Maybe (Record ( foo :: Boolean, bar :: Int))
bar = Option.getAll someOption
-- This will be `Just { foo: true, bar: 31 }` because all keys exist in the option.
bar :: Data.Maybe.Maybe (Record ( foo :: Boolean, bar :: Int))
bar = Option.getAll (Option.insert (Data.Symbol.SProxy :: _ "foo") true someOption)
#getWithDefault
getWithDefault :: forall label option option' proxy value. IsSymbol label => Cons label value option' option => value -> proxy label -> Option option -> value
Attempts to fetch the value at the given key from an option falling back to the default.
If the key exists in the option, Just _
is returned.
If the key does not exist in the option, Nothing
is returned.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty
bar :: Int
bar = Option.getWithDefault 13 (Data.Symbol.SProxy :: _ "bar") someOption
The proxy
can be anything so long as its type variable has kind Symbol
.
It will commonly be Data.Symbol.SProxy
, but doesn't have to be.
#insert
insert :: forall label option option' proxy value. IsSymbol label => Cons label value option' option => Lacks label option' => proxy label -> value -> Option option' -> Option option
Adds a new key with the given value to an option.
The key must not already exist in the option.
If the key might already exist in the option, set
should be used instead.
E.g.
someOption :: Option.Option ( foo :: Boolean )
someOption = Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 someOption
The proxy
can be anything so long as its type variable has kind Symbol
.
It will commonly be Data.Symbol.SProxy
, but doesn't have to be.
#insert'
#jsonCodec
jsonCodec :: forall optional record. JsonCodec record () optional => String -> Record record -> JsonCodec (Option optional)
Creates a Data.Codec.Argonaut.JsonCodec _
for an Option.Option _
given a Record _
of Data.Codec.Argonaut.JsonCodec _
s.
The String
is used in errors when decoding fails.
E.g.
type Example
= Option.Option
( foo :: Boolean
, bar :: Int
)
jsonCodec :: Data.Codec.Argonaut.JsonCodec Example
jsonCodec =
Option.jsonCodec
"Example"
{ foo: Data.Codec.Argonaut.boolean
, bar: Data.Codec.Argonaut.int
}
#jsonCodecRecord
jsonCodecRecord :: forall optional record required. JsonCodec record required optional => String -> Record record -> JsonCodec (Record required optional)
Creates a Data.Codec.Argonaut.JsonCodec _
for an Option.Record _ _
given a Record _
of Data.Codec.Argonaut.JsonCodec _
s.
The String
is used in errors when decoding fails.
E.g.
type Example
= Option.Record
( foo :: Boolean
)
( bar :: Int
)
jsonCodec :: Data.Codec.Argonaut.JsonCodec Example
jsonCodec =
Option.jsonCodecRecord
"Example"
{ foo: Data.Codec.Argonaut.boolean
, bar: Data.Codec.Argonaut.int
}
This is an alias for jsonCodec'
so the documentation is a bit clearer.
#modify
modify :: forall label option option' option'' proxy value value'. IsSymbol label => Cons label value' option'' option' => Cons label value option'' option => proxy label -> (value' -> value) -> Option option' -> Option option
Manipulates the value of a key in an option.
If the field exists in the option, the given function is applied to the value.
If the field does not exist in the option, there is no change to the option.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.modify (Data.Symbol.SProxy :: _ "bar") (_ + 1) someOption
The proxy
can be anything so long as its type variable has kind Symbol
.
It will commonly be Data.Symbol.SProxy
, but doesn't have to be.
#modify'
modify' :: forall option option' record. Modify record option' option => Record record -> Option option' -> Option option
Manipulates the values of an option.
If the field exists in the option, the given function is applied to the value.
If the field does not exist in the option, there is no change to the option.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.modify' { bar: \x -> x + 1 } someOption
#optional
optional :: forall required optional. Record required optional -> Option optional
Retrieves all the optional fields from the given Option.Record _ _
.
E.g.
someRecord :: Option.Record ( foo :: Boolean ) ( bar :: Int, qux :: String )
someRecord = Option.recordFromRecord { foo: false }
someOption :: Option.Option ( bar :: Int, qux :: String )
someOption = Option.optional someRecord
#recordFromRecord
recordFromRecord :: forall optional required record. FromRecord record required optional => Record record -> Record required optional
The given Record record
must have no more fields than expected.
E.g. The following definitions are valid.
option1 :: Option.Record () ( foo :: Boolean, bar :: Int )
option1 = Option.recordFromRecord { foo: true, bar: 31 }
option2 :: Option.Record () ( foo :: Boolean, bar :: Int )
option2 = Option.recordFromRecord {}
option3 :: Option.Record ( foo :: Boolean ) ( bar :: Int )
option3 = Option.recordFromRecord { foo: true }
However, the following definitions are not valid as the given records have more fields than the expected Option _
.
-- This will not work as it has the extra field `baz`
option3 :: Option.Record () ( foo :: Boolean, bar :: Int )
option3 = Option.recordFromRecord { foo: true, bar: 31, baz: "hi" }
-- This will not work as it has the extra field `qux`
option4 :: Option.Record () ( foo :: Boolean, bar :: Int )
option4 = Option.recordFromRecord { qux: [] }
And, this definition is not valid as the given record lacks the required fields.
option5 :: Option.Record ( baz :: String ) ( foo :: Boolean, bar :: Int )
option5 = Option.recordFromRecord { foo: true, bar: 31 }
This is an alias for fromRecord'
so the documentation is a bit clearer.
#recordRename
recordRename :: forall optional optional' record required required'. Rename record required' optional' required optional => Record record -> Record required' optional' -> Record required optional
Renames all of the fields from the given Option.Record _ _
E.g.
someRecord :: Option.Record ( foo :: Boolean ) ( bar :: Int, qux :: String )
someRecord = Option.recordFromRecord { foo: false }
anotherRecord :: Option.Record ( foo :: Boolean ) ( bar2 :: Int, qux :: String )
anotherRecord = Option.recordRename { bar: Data.Symbol.SProxy :: _ "bar2" } someRecord
#recordSet
recordSet :: forall optional optional' record required required'. Set record required' optional' required optional => Record record -> Record required' optional' -> Record required optional
Sets the given key/values in an Option.Record _ _
.
The key must already exist in the Option.Record _ _
.
If the key might not already exist in the Option.Record _ _
, recordInsert
should be used instead.
E.g.
someRecord :: Option.Record ( foo :: Boolean ) ( bar :: Int )
someRecord = Option.recordFromRecord { foo: true }
anotherRecord :: Option.Record ( foo :: Boolean ) ( bar :: Int )
anotherRecord = Option.recordSet { bar: 31 } someRecord
This is an alias for set''
so the documentation is a bit clearer.
#recordToRecord
recordToRecord :: forall optional record required. ToRecord required optional record => Record required optional -> Record record
The expected Record record
will have the same fields as the given Option.Record required optional
where each optional type is wrapped in a Maybe
.
E.g.
someOption :: Option.Record ( foo :: Boolean ) ( bar :: Int )
someOption = Option.recordFromRecord { foo: true, bar: 31 }
someRecord :: Record ( foo :: Boolean, bar :: Data.Maybe.Maybe Int )
someRecord = Option.toRecord someOption
This is an alias for toRecord'
so the documentation is a bit clearer.
#rename
rename :: forall optional optional' record. Rename record () optional' () optional => Record record -> Option optional' -> Option optional
Renames all of the fields from the given Option.Option _
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int, qux :: String )
someOption = Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar2 :: Int, qux :: String )
anotherOption = Option.rename { bar: Data.Symbol.SProxy :: _ "bar2" } someOption
#required
required :: forall required optional. Record required optional -> Record required
Retrieves all of the required fields from the given Option.Record _ _
.
E.g.
someRecord :: Option.Record ( foo :: Boolean, bar :: Int ) ( qux :: String )
someRecord = Option.recordFromRecord { foo: false, bar: 3 }
anotherRecord :: Record ( foo :: Boolean, bar :: Int )
anotherRecord = Option.required someRecord
#set
set :: forall label option option' option'' proxy value value'. IsSymbol label => Cons label value' option'' option' => Cons label value option'' option => proxy label -> value -> Option option' -> Option option
Changes a key with the given value to an option.
The key must already exist in the option.
If the key might not already exist in the option, insert
should be used instead.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.set (Data.Symbol.SProxy :: _ "bar") 31 someOption
The proxy
can be anything so long as its type variable has kind Symbol
.
It will commonly be Data.Symbol.SProxy
, but doesn't have to be.
#set'
set' :: forall optional optional' record. Set record () optional' () optional => Record record -> Option optional' -> Option optional
Sets the given key/values in an option.
The key must already exist in the option.
If the key might not already exist in the option, insert
should be used instead.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.set' { bar: 31 } someOption
#toRecord
toRecord :: forall optional record. ToRecord () optional record => Option optional -> Record record
The expected Record record
will have the same fields as the given Option _
where each type is wrapped in a Maybe
.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.fromRecord { foo: true, bar: 31 }
someRecord :: Record ( foo :: Data.Maybe.Maybe Boolean, bar :: Data.Maybe.Maybe Int )
someRecord = Option.toRecord someOption
#Alter
class Alter (record :: Row Type) (option' :: Row Type) (option :: Row Type) | record option -> option', record option' -> option where
A typeclass that manipulates the values in an Option _
.
If the field exists in the Option _
, the given function is applied to the value.
If the field does not exist in the Option _
, there is no change to the Option _
.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.alter'' { bar: \_ -> Data.Maybe.Just 41 } someOption
Members
Instances
(AlterOption list record option' option, RowToList record list) => Alter record option' option
This instance manipulates the values in an
Option _
.
#AlterOption
class AlterOption (list :: RowList Type) (record :: Row Type) (option' :: Row Type) (option :: Row Type) | list option -> option', list option' -> option where
A typeclass that iterates a Prim.RowList.RowList
manipulating values in an Option _
.
Members
alterOption :: forall proxy. proxy list -> Record record -> Option option' -> Option option
Instances
AlterOption Nil record option option
(AlterOption list record oldOption' option', IsSymbol label, Cons label (Maybe value' -> Maybe value) record' record, Cons label value option' option, Cons label value' oldOption' oldOption, Lacks label oldOption', Lacks label option') => AlterOption (Cons label (Maybe value' -> Maybe value) list) record oldOption option
#DecodeJsonOption
class DecodeJsonOption (list :: RowList Type) (option :: Row Type) | list -> option where
A typeclass that iterates a RowList
decoding an Object Json
to an Option _
.
Members
decodeJsonOption :: forall proxy. proxy list -> Object Json -> Either JsonDecodeError (Option option)
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
DecodeJsonOption Nil option
(DecodeJson value, IsSymbol label, DecodeJsonOption list option', Cons label value option' option, Lacks label option') => DecodeJsonOption (Cons label value list) option
#Delete
class Delete (record :: Row Type) (option' :: Row Type) (option :: Row Type) | record option' -> option, record option -> option', option' option -> record where
A typeclass that removes keys from an option
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.fromRecord { foo: true, bar: 31 }
anotherOption :: Option.Option ( bar :: Int )
anotherOption = Option.delete'' { foo: unit } someOption
Members
Instances
(DeleteOption list record option' option, RowToList record list) => Delete record option' option
This instance removes keys from an
Option _
.
#DeleteOption
class DeleteOption (list :: RowList Type) (record :: Row Type) (option' :: Row Type) (option :: Row Type) | list option' -> option, list option -> option' where
A typeclass that iterates a Prim.RowList.RowList
removing keys from Option _
.
Members
deleteOption :: forall proxy. proxy list -> Record record -> Option option' -> Option option
Instances
DeleteOption Nil record option option
(IsSymbol label, DeleteOption list record oldOption' option, Cons label value oldOption' oldOption, Lacks label oldOption') => DeleteOption (Cons label Unit list) record oldOption option
#EncodeJsonOption
class EncodeJsonOption (list :: RowList Type) (option :: Row Type) | list -> option where
A typeclass that iterates a RowList
encoding an Option _
as Json
.
Members
encodeJsonOption :: forall proxy. proxy list -> Option option -> Object Json
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
EncodeJsonOption Nil option
(EncodeJson value, IsSymbol label, EncodeJsonOption list option, Cons label value option' option) => EncodeJsonOption (Cons label value list) option
#EqOption
class EqOption (list :: RowList Type) (option :: Row Type) | list -> option where
A typeclass that iterates a RowList
converting an Option _
to a Boolean
.
Members
eqOption :: forall proxy. proxy list -> Option option -> Option option -> Boolean
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
#FromRecord
class FromRecord (record :: Row Type) (required :: Row Type) (optional :: Row Type) where
A typeclass for converting a Record _
into an Option _
.
An instance FromRecord record required optional
states that we can make a Record required
and an Option optional
from a Record record
where every required field is in the record and the rest of the present fields in the record is present in the option.
E.g. FromRecord () () ( name :: String )
says that the Record ()
has no fields and the Option ( name :: String )
will have no value;
FromRecord ( name :: String ) () ( name :: String )
says that the Record ()
has no fields and the Option ( name :: String )
will have the given name
value;
FromRecord ( name :: String ) ( name :: String ) ()
says that the Record ( name :: String )
has the given name
value and the Option ()
will have no value;
FromRecord () ( name :: String) ()
is a type error since the name
field is required but the given record lacks the field.
Since there is syntax for creating records, but no syntax for creating options, this typeclass can be useful for providing an easier to use interface to options.
E.g. Someone can say:
Option.fromRecord' { foo: true, bar: 31 }
Instead of having to say:
Option.insert
(Data.Symbol.SProxy :: _ "foo")
true
( Option.insert
(Data.Symbol.SProxy :: _ "bar")
31
Option.empty
)
Not only does it save a bunch of typing, it also mitigates the need for a direct dependency on SProxy _
.
Members
fromRecord' :: Record record -> Record required optional
The given
Record record
must have no more fields than expected.E.g. The following definitions are valid.
option1 :: Option.Record () ( foo :: Boolean, bar :: Int ) option1 = Option.fromRecord' { foo: true, bar: 31 } option2 :: Option.Record () ( foo :: Boolean, bar :: Int ) option2 = Option.fromRecord' {} option3 :: Option.Record ( foo :: Boolean ) ( bar :: Int ) option3 = Option.fromRecord' { foo: true }
However, the following definitions are not valid as the given records have more fields than the expected
Option _
.-- This will not work as it has the extra field `baz` option3 :: Option.Record () ( foo :: Boolean, bar :: Int ) option3 = Option.fromRecord' { foo: true, bar: 31, baz: "hi" } -- This will not work as it has the extra field `qux` option4 :: Option.Record () ( foo :: Boolean, bar :: Int ) option4 = Option.fromRecord' { qux: [] }
And, this definition is not valid as the given record lacks the required fields.
option5 :: Option.Record ( baz :: String ) ( foo :: Boolean, bar :: Int ) option5 = Option.fromRecord' { foo: true, bar: 31 }
Instances
(FromRecordOption optionalList record optional, FromRecordRequired requiredList record required, Union required optional' record, RowToList optional' optionalList, RowToList required requiredList) => FromRecord record required optional
This instance converts a record into an option.
Every field in the record is added to the option.
Any fields in the expected option that do not exist in the record are not added.
#FromRecordOption
class FromRecordOption (list :: RowList Type) (record :: Row Type) (option :: Row Type) | list -> option record where
A typeclass that iterates a RowList
converting a Record _
into an Option _
.
Members
fromRecordOption :: forall proxy. proxy list -> Record record -> Option option
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
FromRecordOption Nil record option
(IsSymbol label, FromRecordOption list record option', Cons label value option' option, Cons label (Maybe value) record' record, Lacks label option') => FromRecordOption (Cons label (Maybe value) list) record option
(IsSymbol label, FromRecordOption list record option', Cons label value option' option, Cons label value record' record, Lacks label option') => FromRecordOption (Cons label value list) record option
#FromRecordRequired
class FromRecordRequired (list :: RowList Type) (record :: Row Type) (required :: Row Type) | list -> required record where
A typeclass that iterates a RowList
selecting the fields from a Record _
.
Members
fromRecordRequired :: forall proxy. proxy list -> Record record -> Builder (Record ()) (Record required)
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
FromRecordRequired Nil record ()
(IsSymbol label, FromRecordRequired list record required', Cons label value record' record, Cons label value required' required, Lacks label required') => FromRecordRequired (Cons label value list) record required
#Get
class Get (record' :: Row Type) (option :: Row Type) (record :: Row Type) | option record' -> record, option record -> record', record record' -> option where
A typeclass that grabs the given fields of an Option _
.
Members
get'' :: Record record' -> Option option -> Record record
Attempts to fetch the values from the given option.
The behavior of what's returned depends on what the value is for each field in the record.
If the value in the record is of type
Maybe a -> b
, that function is run on the result of finding the field in the option.If the value in the record is of type
Maybe a
and the type of the field in the option isa
, the result isJust _
if the value exists in the option and whatever the providedMaybe a
was otherwise.If the value in the record is of type
a
and the type of the field in the option isa
, the result is whatever the value is in the option if it exists and whatever the provideda
was otherwise.These behaviors allow handling different fields differently without jumping through hoops to get the values from an option.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int, qux :: String ) someOption = Option.empty -- Since `someOption` is empty, -- this will have a shape like: -- { foo: false, bar: "not set", qux: Data.Maybe.Nothing } someRecord :: Record ( foo :: Boolean, bar :: String, qux :: Data.Maybe.Maybe String ) someRecord = Option.get'' { foo: false , bar: \x -> case x of Data.Maybe.Just x -> if x > 0 then "positive" else "non-positive" Data.Maybe.Nothing -> "not set" , qux: Data.Maybe.Nothing } someOption
Instances
#GetOption
class GetOption (list :: RowList Type) (record' :: Row Type) (option :: Row Type) (record :: Row Type) | list -> record where
A typeclass that iterates a RowList
grabbing the given fields of an Option _
.
Members
getOption :: forall proxy. proxy list -> Record record' -> Option option -> Record record
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
GetOption Nil record' option ()
(IsSymbol label, GetOption list givenRecord option record', Cons label (Maybe value -> result) givenRecord' givenRecord, Cons label result record' record, Cons label value option' option, Lacks label record') => GetOption (Cons label (Maybe value -> result) list) givenRecord option record
(IsSymbol label, GetOption list givenRecord option record', Cons label (Maybe value) givenRecord' givenRecord, Cons label (Maybe value) record' record, Cons label value option' option, Lacks label record') => GetOption (Cons label (Maybe value) list) givenRecord option record
(IsSymbol label, GetOption list givenRecord option record', Cons label value givenRecord' givenRecord, Cons label value option' option, Cons label value record' record, Lacks label record') => GetOption (Cons label value list) givenRecord option record
#GetAll
class GetAll (option :: Row Type) (record :: Row Type) | option -> record where
A typeclass that converts an Option _
to a Maybe (Record _)
.
If every key exists in the option, the record of values is returned in Just _
.
If any key does not exist, Nothing
is returned.
E.g. Someone can say:
someRecord :: Data.Maybe.Maybe (Record ( foo :: Boolean, bar :: Int ))
someRecord = Option.getAll' someOption
This can also be roughtly thought of as a monomorphic Data.Traversable.sequence
.
Members
getAll' :: Option option -> Maybe (Record record)
Attempts to fetch all of the values from all of the keys of an option.
If every key exists in the option, the record of values is returned in
Just _
.If any key does not exist in the option,
Nothing
is returned.E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int ) someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty -- This will be `Nothing` because the key `foo` does not exist in the option. bar :: Data.Maybe.Maybe (Record ( foo :: Boolean, bar :: Int)) bar = Option.getAll' someOption -- This will be `Just { foo: true, bar: 31 }` because all keys exist in the option. bar :: Data.Maybe.Maybe (Record ( foo :: Boolean, bar :: Int)) bar = Option.getAll' (Option.insert (Data.Symbol.SProxy :: _ "foo") true someOption)
Instances
(RowToList option list, GetAllOption list option record) => GetAll option record
This instancce converts an
Option _
to aMaybe (Record _)
.If every key exists in the option, the record of values is returned in
Just _
.If any key does not exist,
Nothing
is returned.
#GetAllOption
class GetAllOption (list :: RowList Type) (option :: Row Type) (record :: Row Type) | list -> option record where
A typeclass that iterates a RowList
converting an Option _
into a Maybe (Record _)
.
Members
getAllOption :: forall proxy. proxy list -> Option option -> Maybe (Record record)
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
GetAllOption Nil option ()
(IsSymbol label, Cons label value option' option, Cons label value record' record, Lacks label record', GetAllOption list option record') => GetAllOption (Cons label value list) option record
#Insert
class Insert (record :: Row Type) (option' :: Row Type) (option :: Row Type) where
A typeclass that inserts values in an Option _
.
The keys must not already exist in the option.
If any keys might already exist in the option,
set''
should be used instead.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.insert'' { bar: 31 } someOption
Members
Instances
(RowToList record list, InsertOption list record option' option) => Insert record option' option
This instance inserts all values in an
Option _
.
#InsertOption
class InsertOption (list :: RowList Type) (record :: Row Type) (option' :: Row Type) (option :: Row Type) | list option' -> option, option' record -> option where
A typeclass that iterates a Prim.RowList.RowList
inserting values in an Option _
.
Members
insertOption :: forall proxy. proxy list -> Record record -> Option option' -> Option option
Instances
InsertOption Nil record option option
(IsSymbol label, Cons label (Maybe value) record' record, Cons label value option' option, Lacks label option', InsertOption list record oldOption option') => InsertOption (Cons label (Maybe value) list) record oldOption option
(IsSymbol label, Cons label value record' record, Cons label value option' option, Lacks label option', InsertOption list record oldOption option') => InsertOption (Cons label value list) record oldOption option
#JsonCodec
class JsonCodec (record :: Row Type) (required :: Row Type) (optional :: Row Type) where
A typeclass that converts a record of Data.Codec.Argonaut.JsonCodec _
s into a Data.Codec.Argonaut.JsonCodec _
for an Option.Record _ _
.
This is useful to provide a straight-forward Data.Codec.Argonaut.JsonCodec _
for an Option.Record _ _
.
Members
jsonCodec' :: String -> Record record -> JsonCodec (Record required optional)
Creates a
JsonCodec
for anOption.Record _ _
given aRecord _
ofJsonCodec
s.E.g. The
String
is used in errors when decoding fails.type Example = Option.Record ( foo :: Boolean ) ( bar :: Int ) jsonCodec :: Data.Codec.Argonaut.JsonCodec Example jsonCodec = Option.jsonCodec' "Example" { foo: Data.Codec.Argonaut.boolean , bar: Data.Codec.Argonaut.int }
Instances
(JsonCodecOption optionalList record optional, JsonCodecRequired requiredList record required, RowToList optional optionalList, RowToList required requiredList) => JsonCodec record required optional
For required fields:
If a key does not exist in the JSON object, it will fail with an error.
If a key does exists in the JSON object but the value cannot be successfully decoded, it will fail with an error.
If a key does exists in the JSON object and the value can be successfully decoded, it will be added to the
Option.Record _ _
.Every key in the given
Option.Record _ _
is encoded like normal and added it to the JSON object.For optional fields:
This instance ignores keys that do not exist in the given JSON object and does not insert keys that do not exist in the given
Option.Record _ _
.If a key does not exist in the JSON object, it will not be added to the
Option.Record _ _
.If a key does exists in the JSON object but the value cannot be successfully decoded, it will fail with an error.
If a key does exists in the JSON object and the value can be successfully decoded, it will be added to the
Option.Record _ _
.If a key does not exist in the given
Option.Record _ _
, it is not added to the JSON object.If a key does exists in the given
Option.Record _ _
, it encodes it like normal and adds it to the JSON object.
#JsonCodecOption
class JsonCodecOption (list :: RowList Type) (record :: Row Type) (option :: Row Type) | list -> option record where
A typeclass that iterates a RowList
converting a record of JsonCodec
s into a JsonCodec
for an option.
Members
jsonCodecOption :: forall proxy. proxy list -> Record record -> JPropCodec (Option option)
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
JsonCodecOption Nil record option
(IsSymbol label, JsonCodecOption list record option', Cons label value option' option, Cons label (JsonCodec value) record' record, Lacks label option') => JsonCodecOption (Cons label value list) record option
#JsonCodecRequired
class JsonCodecRequired (list :: RowList Type) (record :: Row Type) (required :: Row Type) | list -> record required where
A typeclass that iterates a RowList
converting a record of JsonCodec
s into a JsonCodec
for an option.
Members
jsonCodecRequired :: forall proxy. proxy list -> Record record -> JPropCodec (Record required)
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
JsonCodecRequired Nil record ()
(IsSymbol label, JsonCodecRequired list record required', Cons label value required' required, Cons label (JsonCodec value) record' record, Lacks label required') => JsonCodecRequired (Cons label value list) record required
#Modify
class Modify (record :: Row Type) (option' :: Row Type) (option :: Row Type) | record option -> option', record option' -> option where
A typeclass that manipulates the values in an Option _
.
If the field exists in the Option _
, the given function is applied to the value.
If the field does not exist in the Option _
, there is no change to the Option _
.
E.g.
someOption :: Option.Option ( foo :: Boolean, bar :: Int )
someOption = Option.insert (Data.Symbol.SProxy :: _ "bar") 31 Option.empty
anotherOption :: Option.Option ( foo :: Boolean, bar :: Int )
anotherOption = Option.modify'' { bar: \x -> x + 1 } someOption
Members
Instances
(ModifyOption list record option' option, RowToList record list) => Modify record option' option
This instance manipulates the values in an
Option _
.
#ModifyOption
class ModifyOption (list :: RowList Type) (record :: Row Type) (option' :: Row Type) (option :: Row Type) | list option -> option', list option' -> option where
A typeclass that iterates a Prim.RowList.RowList
manipulating values in an Option _
.
Members
modifyOption :: forall proxy. proxy list -> Record record -> Option option' -> Option option
Instances
ModifyOption Nil record option option
(IsSymbol label, ModifyOption list record oldOption' option', Cons label (value' -> value) record' record, Cons label value option' option, Cons label value' oldOption' oldOption, Lacks label oldOption', Lacks label option') => ModifyOption (Cons label (value' -> value) list) record oldOption option
#OrdOption
class (EqOption list option) <= OrdOption (list :: RowList Type) (option :: Row Type) | list -> option where
A typeclass that iterates a RowList
converting an Option _
to a Boolean
.
Members
compareOption :: forall proxy. proxy list -> Option option -> Option option -> Ordering
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
#Partition
class Partition (list :: RowList Type) (requiredInput :: RowList Type) (optionalInput :: RowList Type) (requiredOutput :: RowList Type) (optionalOutput :: RowList Type) | list optionalInput requiredInput -> optionalOutput requiredOutput
A typeclass that iterates a RowList
partitioning required rows from the optional rows.
This is like the built in row-polymorphism,
except it only cares about the labels of the row.
The type can vary between the iterated RowList
and the required/optional rows.
If it differs,
the type from the iterated RowList
is used.
Instances
Partition Nil requiredInput optionalInput Nil Nil
(Partition list requiredInput optionalInput requiredOutput optionalOutput) => Partition (Cons label requiredValue list) (Cons label value requiredInput) optionalInput (Cons label requiredValue requiredOutput) optionalOutput
(Partition list requiredInput optionalInput requiredOutput optionalOutput) => Partition (Cons label optionalValue list) requiredInput (Cons label value optionalInput) requiredOutput (Cons label optionalValue optionalOutput)
(Partition (Cons label value list) requiredInput optionalInput requiredOutput optionalOutput) => Partition (Cons label value list) (Cons requiredLabel requiredValue requiredInput) optionalInput requiredOutput optionalOutput
(Partition (Cons label value list) requiredInput optionalInput requiredOutput optionalOutput) => Partition (Cons label value list) requiredInput (Cons optionalLabel optionalValue optionalInput) requiredOutput optionalOutput
#ReadForeignOption
class ReadForeignOption (list :: RowList Type) (option :: Row Type) | list -> option where
A typeclass that iterates a RowList
attempting to read a Foreign
to an Option _
.
Members
readImplOption :: forall proxy. proxy list -> Foreign -> F (Option option)
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
ReadForeignOption Nil option
(IsSymbol label, Cons label value option' option, Lacks label option', ReadForeignOption list option', ReadForeign value) => ReadForeignOption (Cons label value list) option
#Rename
class Rename (record :: Row Type) (requiredInput :: Row Type) (optionalInput :: Row Type) (requiredOutput :: Row Type) (optionalOutput :: Row Type) where
A typeclass that renames fields in an Option.Record _ _
.
E.g.
someRecord :: Option.Record ( foo :: Boolean ) ( bar :: Int )
someRecord = Option.recordFromRecord { foo: true }
anotherRecord :: Option.Record ( foo :: Boolean ) ( bar2 :: Int )
anotherRecord = Option.rename' { bar: Data.Symbol.SProxy :: _ "bar2" } someRecord
Members
rename' :: Record record -> Record requiredInput optionalInput -> Record requiredOutput optionalOutput
Instances
(Partition recordList requiredList' optionalList' requiredList optionalList, RowToList optional' optionalList', RowToList record recordList, RowToList required' requiredList', RenameOptional optionalList record optional' optional, RenameRequired requiredList record required' required) => Rename record required' optional' required optional
This instance renames all fields in an
Option.Record _ _
.
#RenameOptional
class RenameOptional (list :: RowList Type) (record :: Row Type) (optional' :: Row Type) (optional :: Row Type) | list optional' -> optional, optional' record -> optional where
A typeclass that iterates a Prim.RowList.RowList
renaming fields in an Option _
.
Members
renameOptional :: forall proxy. proxy list -> Record record -> Option optional' -> Option optional
Instances
RenameOptional Nil record optional optional
(IsSymbol oldLabel, IsSymbol newLabel, Cons oldLabel (proxyLabel newLabel) record' record, Cons newLabel value newOptional' newOptional, Cons oldLabel value oldOptional' oldOptional, Lacks oldLabel oldOptional', Lacks newLabel newOptional', RenameOptional list record oldOptional' newOptional') => RenameOptional (Cons oldLabel (proxyLabel newLabel) list) record oldOptional newOptional
#RenameRequired
class RenameRequired (list :: RowList Type) (record :: Row Type) (required' :: Row Type) (required :: Row Type) | list required' -> required, required' record -> required where
A typeclass that iterates a Prim.RowList.RowList
renaming fields in a Record _
.
Members
renameRequired :: forall proxy. proxy list -> Record record -> Record required' -> Record required
Instances
RenameRequired Nil record required required
(IsSymbol oldLabel, IsSymbol newLabel, Cons oldLabel (proxyLabel newLabel) record' record, Cons newLabel value newRequired' newRequired, Cons oldLabel value oldRequired' oldRequired, Lacks oldLabel oldRequired', Lacks newLabel newRequired', RenameRequired list record oldRequired' newRequired') => RenameRequired (Cons oldLabel (proxyLabel newLabel) list) record oldRequired newRequired
#Set
class Set (record :: Row Type) (requiredInput :: Row Type) (optionalInput :: Row Type) (requiredOutput :: Row Type) (optionalOutput :: Row Type) where
A typeclass that sets values in an Option.Record _ _
.
The keys must already exist in the Option.Record _ _
.
If any keys might not already exist in the Option.Record _ _
,
insert''
should be used instead.
E.g.
someRecord :: Option.Record ( foo :: Boolean ) ( bar :: Int )
someRecord = Option.fromRecord' { foo: true }
anotherRecord :: Option.Record ( foo :: Boolean ) ( bar :: Int )
anotherRecord = Option.set'' { bar: 31 } someRecord
Members
set'' :: Record record -> Record requiredInput optionalInput -> Record requiredOutput optionalOutput
Instances
(Partition recordList requiredList' optionalList' requiredList optionalList, RowToList optional' optionalList', RowToList record recordList, RowToList required' requiredList', SetOption optionalList record optional' optional, SetRequired requiredList record required' required) => Set record required' optional' required optional
This instance sets all values in an
Option.Record _ _
.
#SetOption
class SetOption (list :: RowList Type) (record :: Row Type) (option' :: Row Type) (option :: Row Type) | list option' -> option, option' record -> option where
A typeclass that iterates a Prim.RowList.RowList
setting values in an Option _
.
Members
Instances
SetOption Nil record option option
(IsSymbol label, Cons label (Maybe value) record' record, Cons label value option' option, Cons label value oldOption' oldOption, Lacks label oldOption', Lacks label option', SetOption list record oldOption' option') => SetOption (Cons label (Maybe value) list) record oldOption option
(IsSymbol label, Cons label value record' record, Cons label value option' option, Cons label value' oldOption' oldOption, Lacks label oldOption', Lacks label option', SetOption list record oldOption' option') => SetOption (Cons label value list) record oldOption option
#SetRequired
class SetRequired (list :: RowList Type) (record :: Row Type) (required' :: Row Type) (required :: Row Type) | list required' -> required, required' record -> required where
A typeclass that iterates a Prim.RowList.RowList
setting values in a Record _
.
Members
setRequired :: forall proxy. proxy list -> Record record -> Record required' -> Record required
Instances
SetRequired Nil record required required
(IsSymbol label, Cons label value record' record, Cons label value required' required, Cons label value' oldRequired' oldRequired, Lacks label oldRequired', Lacks label required', SetRequired list record oldRequired' required') => SetRequired (Cons label value list) record oldRequired required
#ShowOption
class ShowOption (list :: RowList Type) (option :: Row Type) | list -> option where
A typeclass that iterates a RowList
converting an Option _
to a List String
.
The List String
should be processed into a single String
.
Members
showOption :: forall proxy. proxy list -> Option option -> List String
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
ShowOption Nil option
(IsSymbol label, Show value, ShowOption list option, Cons label value option' option) => ShowOption (Cons label value list) option
#ToRecord
class ToRecord (required :: Row Type) (optional :: Row Type) (record :: Row Type) | optional required -> record where
A typeclass for converting an Option.Record _ _
into a Record _
.
Since there is syntax for operating on records, but no syntax for operating on Option.Record _ _
.
This typeclass can be useful for providing an easier to use interface to Option.Record _ _
.
E.g. Someone can say:
(Option.toRecord' someOption).foo
Instead of having to say:
Option.get (Data.Symbol.SProxy :: _ "foo") someOption
Not only does it save a bunch of typing, it also mitigates the need for a direct dependency on SProxy _
.
Members
toRecord' :: Record required optional -> Record record
The expected
Record record
will have the same fields as the givenOption.Record required optional
where each optional type is wrapped in aMaybe
.E.g.
someOption :: Option.Record ( foo :: Boolean ) ( bar :: Int ) someOption = Option.fromRecord' { foo: true, bar: 31 } someRecord :: Record ( foo :: Boolean, bar :: Data.Maybe.Maybe Int ) someRecord = Option.toRecord' someOption
Instances
(Nub record record, Union required optionalRecord record, RowToList optional optionalList, ToRecordOption optionalList optional optionalRecord) => ToRecord required optional record
This instance converts an
Option.Record _ _
into aRecord _
.Every required field in the
Option.Record _ _
is added to theRecord _
with a_
type. Every optional field in theOption.Record _ _
is added to theRecord _
with aMaybe _
type.All optional fields in the
Option.Record _ _
that exist will have the valueJust _
. All optional fields in theOption.Record _ _
that do not exist will have the valueNothing
.
#ToRecordOption
class ToRecordOption (list :: RowList Type) (option :: Row Type) (record :: Row Type) | list -> option record where
A typeclass that iterates a RowList
converting an Option _
into a Record _
.
Members
toRecordOption :: forall proxy. proxy list -> Option option -> Builder (Record ()) (Record record)
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
ToRecordOption Nil option ()
(IsSymbol label, Cons label value option' option, Cons label (Maybe value) record' record, Lacks label record', ToRecordOption list option record') => ToRecordOption (Cons label value list) option record
#WriteForeignOption
class WriteForeignOption (list :: RowList Type) (option :: Row Type) | list -> option where
A typeclass that iterates a RowList
writing an Option _
to a Foreign
.
Members
writeForeignOption :: forall proxy. proxy list -> Option option -> Foreign
The
proxy
can be anything so long as its type variable has kindPrim.RowList.RowList
.It will commonly be
Type.Data.RowList.RLProxy
, but doesn't have to be.
Instances
WriteForeignOption Nil option
(IsSymbol label, Cons label value option' option, WriteForeign value, WriteForeignOption list option) => WriteForeignOption (Cons label value list) option
#staticChecks
staticChecks :: Array Unit
Static checks These are in this module so things are always checked. If a failure occurs in development, we can catch it early. If a failure occurs in usage, it should be reported and addressed.
You shouldn't need to depend on these values.
Modules
- AWS.CloudWatch
- AWS.CloudWatchLogs
- AWS.Core.Client
- AWS.Core.Credentials
- AWS.Core.Types
- AWS.Core.Util
- AWS.CostExplorer
- AWS.CostExplorer.Types
- AWS.Crypto.Crypto
- AWS.DynamoDb
- AWS.EC2
- AWS.KMS
- AWS.Lambda
- AWS.S3
- AWS.SecretsManager
- AWS.SecurityTokenService
- Ace
- Ace.Anchor
- Ace.BackgroundTokenizer
- Ace.Command
- Ace.Config
- Ace.Document
- Ace.EditSession
- Ace.Editor
- Ace.Ext.LanguageTools
- Ace.Ext.LanguageTools.Completer
- Ace.KeyBinding
- Ace.Marker
- Ace.Range
- Ace.ScrollBar
- Ace.Search
- Ace.Selection
- Ace.TokenIterator
- Ace.Tokenizer
- Ace.Types
- Ace.UndoManager
- Ace.VirtualRenderer
- Affjax
- Affjax.RequestBody
- Affjax.RequestHeader
- Affjax.ResponseFormat
- Affjax.ResponseHeader
- Affjax.StatusCode
- Ansi.Codes
- Ansi.Output
- Audio.SoundFont
- Audio.SoundFont.Decoder
- Audio.SoundFont.Gleitz
- Audio.SoundFont.Melody
- Audio.SoundFont.Melody.Class
- Audio.SoundFont.Melody.Maker
- Biscotti.Cookie
- Biscotti.Cookie.Formatter
- Biscotti.Cookie.Generator
- Biscotti.Cookie.Parser
- Biscotti.Cookie.Types
- Biscotti.Session
- Biscotti.Session.Store
- Biscotti.Session.Store.Cookie
- Biscotti.Session.Store.Memory
- Bucketchain
- Bucketchain.BasicAuth
- Bucketchain.CORS
- Bucketchain.CSRF
- Bucketchain.Conditional
- Bucketchain.Header.Cookie
- Bucketchain.Header.Vary
- Bucketchain.Health
- Bucketchain.HistoryAPIFallback
- Bucketchain.Http
- Bucketchain.Logger.Error
- Bucketchain.Logger.HTTP.LTSV
- Bucketchain.Logger.HTTP.Token
- Bucketchain.Logger.HTTP.Tokenizer
- Bucketchain.Middleware
- Bucketchain.ResponseBody
- Bucketchain.SSLify
- Bucketchain.Secure
- Bucketchain.Secure.ContentTypeOptions
- Bucketchain.Secure.DownloadOptions
- Bucketchain.Secure.FrameOptions
- Bucketchain.Secure.HSTS
- Bucketchain.Secure.XSSProtection
- Bucketchain.SimpleAPI
- Bucketchain.SimpleAPI.Auth
- Bucketchain.SimpleAPI.Auth.Class
- Bucketchain.SimpleAPI.Batch
- Bucketchain.SimpleAPI.Body
- Bucketchain.SimpleAPI.Class
- Bucketchain.SimpleAPI.FreeT.Class
- Bucketchain.SimpleAPI.JSON
- Bucketchain.SimpleAPI.Proc
- Bucketchain.SimpleAPI.RawData
- Bucketchain.SimpleAPI.Response
- Bucketchain.SimpleAPI.Response.Class
- Bucketchain.Static
- Bucketchain.Static.ContentType
- Bucketchain.Stream
- Bucketchain.Test
- CSS
- CSS.Animation
- CSS.Background
- CSS.Border
- CSS.Box
- CSS.Color
- CSS.Common
- CSS.Cursor
- CSS.Display
- CSS.Elements
- CSS.Flexbox
- CSS.Font
- CSS.FontFace
- CSS.FontStyle
- CSS.Geometry
- CSS.Gradient
- CSS.ListStyle
- CSS.ListStyle.Image
- CSS.ListStyle.Position
- CSS.ListStyle.Type
- CSS.Media
- CSS.Overflow
- CSS.Property
- CSS.Pseudo
- CSS.Render
- CSS.Selector
- CSS.Size
- CSS.String
- CSS.Stylesheet
- CSS.Text
- CSS.Text.Overflow
- CSS.Text.Shadow
- CSS.Text.Transform
- CSS.Text.Whitespace
- CSS.TextAlign
- CSS.Time
- CSS.Transform
- CSS.Transition
- CSS.VerticalAlign
- CSSOM.Main
- CallByName.Alt
- CallByName.Applicative
- CallByName.Class
- CallByName.Monoid
- CallByName.Syntax
- Cheerio
- Cheerio.Static
- Cirru.Node
- Cirru.Parser
- Cirru.Writer
- Clipboardy
- Codensity
- Color
- Color.Blending
- Color.Scale
- Color.Scale.Perceptual
- Color.Scheme.Clrs
- Color.Scheme.HTML
- Color.Scheme.Harmonic
- Color.Scheme.MaterialDesign
- Color.Scheme.X11
- Concur.Core
- Concur.Core.DOM
- Concur.Core.DevTools
- Concur.Core.Discharge
- Concur.Core.ElementBuilder
- Concur.Core.FRP
- Concur.Core.Gen
- Concur.Core.IsWidget
- Concur.Core.LiftWidget
- Concur.Core.Patterns
- Concur.Core.Props
- Concur.Core.Types
- Concur.React
- Concur.React.DOM
- Concur.React.Props
- Concur.React.Run
- Concur.React.SVG
- Concur.React.Widgets
- Concurrent.BoundedQueue
- Concurrent.BoundedQueue.Internal
- Concurrent.BoundedQueue.Sync
- Concurrent.Channel
- Concurrent.Channel.Stream
- Concurrent.Queue
- Control.Alt
- Control.Alternative
- Control.Applicative
- Control.Applicative.Free
- Control.Applicative.Free.Gen
- Control.Applicative.Indexed
- Control.Apply
- Control.Apply.Indexed
- Control.Biapplicative
- Control.Biapply
- Control.Bind
- Control.Bind.Indexed
- Control.Category
- Control.Category.Tensor
- Control.Cofree
- Control.Comonad
- Control.Comonad.Cofree
- Control.Comonad.Cofree.Class
- Control.Comonad.Cofree.Trans
- Control.Comonad.Env
- Control.Comonad.Env.Class
- Control.Comonad.Env.Trans
- Control.Comonad.Store
- Control.Comonad.Store.Class
- Control.Comonad.Store.Trans
- Control.Comonad.Traced
- Control.Comonad.Traced.Class
- Control.Comonad.Traced.Trans
- Control.Comonad.Trans.Class
- Control.Coroutine
- Control.Coroutine.Aff
- Control.Error.Util
- Control.Execution.Immediate
- Control.Extend
- Control.Fold
- Control.Lazy
- Control.Logger
- Control.Logger.Console
- Control.Logger.Writer
- Control.Monad
- Control.Monad.Base
- Control.Monad.Cont
- Control.Monad.Cont.Class
- Control.Monad.Cont.Trans
- Control.Monad.Error.Class
- Control.Monad.Except
- Control.Monad.Except.Checked
- Control.Monad.Except.Trans
- Control.Monad.Fork.Class
- Control.Monad.Free
- Control.Monad.Free.Class
- Control.Monad.Free.Trans
- Control.Monad.Gen
- Control.Monad.Gen.Class
- Control.Monad.Gen.Common
- Control.Monad.Identity.Trans
- Control.Monad.Indexed
- Control.Monad.Indexed.Qualified
- Control.Monad.List.Trans
- Control.Monad.Logger.Class
- Control.Monad.Logger.Trans
- Control.Monad.Loops
- Control.Monad.Maybe.Trans
- Control.Monad.Morph
- Control.Monad.RWS
- Control.Monad.RWS.Trans
- Control.Monad.Reader
- Control.Monad.Reader.Class
- Control.Monad.Reader.Trans
- Control.Monad.Rec.Class
- Control.Monad.Rec.Loops
- Control.Monad.Resource
- Control.Monad.Resource.Aff.Pool
- Control.Monad.Resource.Class
- Control.Monad.Resource.Internal.Registry
- Control.Monad.Resource.Trans
- Control.Monad.ST
- Control.Monad.ST.Class
- Control.Monad.ST.Global
- Control.Monad.ST.Internal
- Control.Monad.ST.Ref
- Control.Monad.State
- Control.Monad.State.Class
- Control.Monad.State.Trans
- Control.Monad.Trampoline
- Control.Monad.Trans.Class
- Control.Monad.Trans.Control
- Control.Monad.Trans.Unlift
- Control.Monad.VexceptT
- Control.Monad.Writer
- Control.Monad.Writer.Class
- Control.Monad.Writer.Trans
- Control.MonadFix
- Control.MonadPlus
- Control.MonadZero
- Control.MultiAlternative
- Control.Parallel
- Control.Parallel.Class
- Control.Plus
- Control.Promise
- Control.Safely
- Control.Semigroupoid
- Control.ShiftMap
- Control.Subcategory.Adjoint
- Control.Subcategory.Category
- Control.Subcategory.Closed
- Control.Subcategory.ClosedMonoidal
- Control.Subcategory.ClosedSemimonoidal
- Control.Subcategory.Constituency
- Control.Subcategory.Endofunctor
- Control.Subcategory.Endofunctor.Applicative
- Control.Subcategory.Endofunctor.Apply
- Control.Subcategory.Endofunctor.Bind
- Control.Subcategory.Endofunctor.Discard
- Control.Subcategory.Endofunctor.HasApply
- Control.Subcategory.Endofunctor.HasBind
- Control.Subcategory.Endofunctor.HasCompose
- Control.Subcategory.Endofunctor.HasConst
- Control.Subcategory.Endofunctor.HasMap
- Control.Subcategory.Endofunctor.HasPoint
- Control.Subcategory.Endofunctor.HasPure
- Control.Subcategory.Endofunctor.HasUnpoint
- Control.Subcategory.Endofunctor.Monad
- Control.Subcategory.Endofunctor.Parameterized.HasConst
- Control.Subcategory.Functor
- Control.Subcategory.Functor.Discard
- Control.Subcategory.Functor.HasApply
- Control.Subcategory.Functor.HasBind
- Control.Subcategory.Functor.HasConst
- Control.Subcategory.Functor.HasMap
- Control.Subcategory.Functor.HasPure
- Control.Subcategory.Functor.Parameterized.HasConst
- Control.Subcategory.HasCompose
- Control.Subcategory.HasCurriedEval
- Control.Subcategory.HasCurry
- Control.Subcategory.HasIdentity
- Control.Subcategory.HasIntroduce
- Control.Subcategory.HasStart
- Control.Subcategory.HasTJoin
- Control.Subcategory.HasTUnit
- Control.Subcategory.HasTerminate
- Control.Subcategory.HasUncurriedEval
- Control.Subcategory.HasUncurry
- Control.Subcategory.HasUnit
- Control.Subcategory.Monoidal
- Control.Subcategory.Profunctor
- Control.Subcategory.Profunctor.HasDimap
- Control.Subcategory.Relation.Reflexive
- Control.Subcategory.Relation.Symmetric
- Control.Subcategory.Restrictable
- Control.Subcategory.Semigroupoid
- Control.Subcategory.Semimonoidal
- Control.Subcategory.Slackable
- Control.Subcategory.Strength
- Crypto.Scrypt
- Crypto.Subtle.Constants.AES
- Crypto.Subtle.Constants.EC
- Crypto.Subtle.Constants.RSA
- Crypto.Subtle.Encrypt
- Crypto.Subtle.Hash
- Crypto.Subtle.Key.Derive
- Crypto.Subtle.Key.Generate
- Crypto.Subtle.Key.Import
- Crypto.Subtle.Key.Types
- Crypto.Subtle.Key.Wrap
- Crypto.Subtle.Sign
- DOM.HTML.Indexed
- DOM.HTML.Indexed.ButtonType
- DOM.HTML.Indexed.CrossOriginValue
- DOM.HTML.Indexed.DirValue
- DOM.HTML.Indexed.FormMethod
- DOM.HTML.Indexed.InputAcceptType
- DOM.HTML.Indexed.InputType
- DOM.HTML.Indexed.KindValue
- DOM.HTML.Indexed.MenuType
- DOM.HTML.Indexed.MenuitemType
- DOM.HTML.Indexed.OnOff
- DOM.HTML.Indexed.OrderedListType
- DOM.HTML.Indexed.PreloadValue
- DOM.HTML.Indexed.ScopeValue
- DOM.HTML.Indexed.StepValue
- DOM.HTML.Indexed.WrapValue
- Data.Align
- Data.Argonaut
- Data.Argonaut.Core
- Data.Argonaut.Decode
- Data.Argonaut.Decode.Class
- Data.Argonaut.Decode.Combinators
- Data.Argonaut.Decode.Decoders
- Data.Argonaut.Decode.Error
- Data.Argonaut.Decode.Generic
- Data.Argonaut.Decode.Parser
- Data.Argonaut.Encode
- Data.Argonaut.Encode.Class
- Data.Argonaut.Encode.Combinators
- Data.Argonaut.Encode.Encoders
- Data.Argonaut.Encode.Generic
- Data.Argonaut.Gen
- Data.Argonaut.JCursor
- Data.Argonaut.JCursor.Gen
- Data.Argonaut.Parser
- Data.Argonaut.Prisms
- Data.Argonaut.Traversals
- Data.Argonaut.Types.Generic
- Data.Array
- Data.Array.NonEmpty
- Data.Array.NonEmpty.Internal
- Data.Array.Partial
- Data.Array.ST
- Data.Array.ST.Iterator
- Data.Array.ST.Partial
- Data.ArrayBuffer.BIP39
- Data.ArrayBuffer.Types
- Data.Bifoldable
- Data.Bifunctor
- Data.Bifunctor.ApplicativeDo
- Data.Bifunctor.Join
- Data.Bifunctor.Module
- Data.Bifunctor.Monoidal
- Data.Bifunctor.Monoidal.Specialized
- Data.BigInt
- Data.Binary.Base64
- Data.Bitraversable
- Data.Boolean
- Data.BooleanAlgebra
- Data.Bounded
- Data.Bounded.Generic
- Data.ByteString
- Data.ByteString.Encode
- Data.CatList
- Data.CatQueue
- Data.Char
- Data.Char.Gen
- Data.Char.Utils
- Data.CodePoint.Unicode
- Data.CodePoint.Unicode.Internal
- Data.CodePoint.Unicode.Internal.Casing
- Data.Codec
- Data.Codec.Argonaut
- Data.Codec.Argonaut.Common
- Data.Codec.Argonaut.Compat
- Data.Codec.Argonaut.Generic
- Data.Codec.Argonaut.Migration
- Data.Codec.Argonaut.Record
- Data.Codec.Argonaut.Sum
- Data.Codec.Argonaut.Variant
- Data.CommutativeRing
- Data.Compactable
- Data.Comparison
- Data.Complex
- Data.Const
- Data.Coyoneda
- Data.Date
- Data.Date.Component
- Data.Date.Component.Gen
- Data.Date.Gen
- Data.DateTime
- Data.DateTime.Gen
- Data.DateTime.Instant
- Data.Decidable
- Data.Decide
- Data.Decimal
- Data.Digit
- Data.Distributive
- Data.Divide
- Data.Divisible
- Data.DivisionRing
- Data.Either
- Data.Either.Inject
- Data.Either.Nested
- Data.EitherR
- Data.Enum
- Data.Enum.Gen
- Data.Enum.Generic
- Data.Eq
- Data.Eq.Generic
- Data.Equivalence
- Data.EuclideanRing
- Data.Exists
- Data.Field
- Data.Filterable
- Data.Fixed
- Data.Foldable
- Data.FoldableWithIndex
- Data.Foreign.EasyFFI
- Data.FormURLEncoded
- Data.Formatter.DateTime
- Data.Formatter.Internal
- Data.Formatter.Interval
- Data.Formatter.Number
- Data.Formatter.Parser.Interval
- Data.Formatter.Parser.Number
- Data.Formatter.Parser.Utils
- Data.Function
- Data.Function.Memoize
- Data.Function.Uncurried
- Data.Functor
- Data.Functor.App
- Data.Functor.ApplicativeDo
- Data.Functor.Clown
- Data.Functor.Compose
- Data.Functor.Contravariant
- Data.Functor.Coproduct
- Data.Functor.Coproduct.Inject
- Data.Functor.Coproduct.Nested
- Data.Functor.Costar
- Data.Functor.Flip
- Data.Functor.Indexed
- Data.Functor.Invariant
- Data.Functor.Joker
- Data.Functor.Module
- Data.Functor.Monoidal
- Data.Functor.Mu
- Data.Functor.Nested
- Data.Functor.Nu
- Data.Functor.Pairing
- Data.Functor.Pairing.Co
- Data.Functor.Product
- Data.Functor.Product.Nested
- Data.Functor.Product2
- Data.Functor.Singleton
- Data.Functor.Variant
- Data.FunctorWithIndex
- Data.Fuzzy
- Data.Generic.Rep
- Data.Geometry.Plane
- Data.Graph
- Data.GraphQL.AST
- Data.GraphQL.Parser
- Data.Group
- Data.Group.Action
- Data.Group.Free
- Data.HTTP.Method
- Data.HashMap
- Data.HashSet
- Data.Hashable
- Data.HeytingAlgebra
- Data.HeytingAlgebra.Generic
- Data.Homogeneous
- Data.Homogeneous.Record
- Data.Homogeneous.Variant
- Data.HugeInt
- Data.HugeInt.Gen
- Data.HugeNum
- Data.HugeNum.Gen
- Data.Identity
- Data.Indexed
- Data.Int
- Data.Int.Bits
- Data.Interpolate
- Data.Interval
- Data.Interval.Duration
- Data.Interval.Duration.Iso
- Data.JSDate
- Data.Lazy
- Data.Leibniz
- Data.Lens
- Data.Lens.AffineTraversal
- Data.Lens.At
- Data.Lens.Barlow
- Data.Lens.Barlow.Construction
- Data.Lens.Barlow.Generic
- Data.Lens.Barlow.Helpers
- Data.Lens.Barlow.Parser
- Data.Lens.Barlow.Types
- Data.Lens.Common
- Data.Lens.Fold
- Data.Lens.Fold.Partial
- Data.Lens.Getter
- Data.Lens.Grate
- Data.Lens.Index
- Data.Lens.Indexed
- Data.Lens.Internal.Bazaar
- Data.Lens.Internal.Exchange
- Data.Lens.Internal.Focusing
- Data.Lens.Internal.Forget
- Data.Lens.Internal.Grating
- Data.Lens.Internal.Indexed
- Data.Lens.Internal.Market
- Data.Lens.Internal.Re
- Data.Lens.Internal.Shop
- Data.Lens.Internal.Stall
- Data.Lens.Internal.Tagged
- Data.Lens.Internal.Wander
- Data.Lens.Internal.Zipping
- Data.Lens.Iso
- Data.Lens.Iso.Newtype
- Data.Lens.Lens
- Data.Lens.Lens.Product
- Data.Lens.Lens.Tuple
- Data.Lens.Lens.Unit
- Data.Lens.Lens.Void
- Data.Lens.Prism
- Data.Lens.Prism.Coproduct
- Data.Lens.Prism.Either
- Data.Lens.Prism.Maybe
- Data.Lens.Record
- Data.Lens.Setter
- Data.Lens.Traversal
- Data.Lens.Types
- Data.Lens.Zoom
- Data.List
- Data.List.Internal
- Data.List.Lazy
- Data.List.Lazy.NonEmpty
- Data.List.Lazy.Types
- Data.List.NonEmpty
- Data.List.Partial
- Data.List.Types
- Data.List.ZipList
- Data.Log.Filter
- Data.Log.Formatter.JSON
- Data.Log.Formatter.Pretty
- Data.Log.Level
- Data.Log.Message
- Data.Log.Tag
- Data.Long
- Data.Long.Bits
- Data.Long.FFI
- Data.Long.Internal
- Data.Long.Unsigned
- Data.Machine.Mealy
- Data.Map
- Data.Map.Gen
- Data.Map.Internal
- Data.Matrix
- Data.Matrix.Algorithms
- Data.Matrix.Operations
- Data.Matrix.RegularMatrices
- Data.Matrix.Reps
- Data.Matrix.Transformations
- Data.Maybe
- Data.Maybe.First
- Data.Maybe.Last
- Data.MediaType
- Data.MediaType.Common
- Data.Midi
- Data.Midi.Generate
- Data.Midi.Instrument
- Data.Midi.Parser
- Data.Midi.WebMidi
- Data.Monoid
- Data.Monoid.Additive
- Data.Monoid.Alternate
- Data.Monoid.Conj
- Data.Monoid.Disj
- Data.Monoid.Dual
- Data.Monoid.Endo
- Data.Monoid.Generic
- Data.Monoid.Multiplicative
- Data.Natural
- Data.NaturalTransformation
- Data.Newtype
- Data.NonEmpty
- Data.Nullable
- Data.Number
- Data.Number.Approximate
- Data.Number.Format
- Data.Op
- Data.Options
- Data.Options.Nested
- Data.Options.UntaggedUnion
- Data.Ord
- Data.Ord.Down
- Data.Ord.Generic
- Data.Ord.Max
- Data.Ord.Min
- Data.Ordering
- Data.Pair
- Data.Posix
- Data.Posix.Signal
- Data.PreciseDate.Component
- Data.PreciseDateTime
- Data.PreciseDateTime.Internal
- Data.Predicate
- Data.Profunctor
- Data.Profunctor.Choice
- Data.Profunctor.Closed
- Data.Profunctor.Cochoice
- Data.Profunctor.Costrong
- Data.Profunctor.Join
- Data.Profunctor.Split
- Data.Profunctor.Star
- Data.Profunctor.Strong
- Data.RFC3339String
- Data.RFC3339String.Format
- Data.Ratio
- Data.Rational
- Data.Refined
- Data.Refined.Error
- Data.Refined.Internal
- Data.Refined.Predicate
- Data.Result
- Data.Ring
- Data.Ring.Generic
- Data.Ring.Module
- Data.SelectionFoldable
- Data.SelectionFoldableWithData
- Data.Semigroup
- Data.Semigroup.Commutative
- Data.Semigroup.First
- Data.Semigroup.Foldable
- Data.Semigroup.Generic
- Data.Semigroup.Last
- Data.Semigroup.Traversable
- Data.Semiring
- Data.Semiring.Free
- Data.Semiring.Generic
- Data.Set
- Data.Set.NonEmpty
- Data.Set.Ordered
- Data.Show
- Data.Show.Generic
- Data.Sparse.Matrix
- Data.Sparse.Polynomial
- Data.String
- Data.String.Base64
- Data.String.Base64.Internal
- Data.String.CaseInsensitive
- Data.String.CodePoints
- Data.String.CodeUnits
- Data.String.Common
- Data.String.Extra
- Data.String.Gen
- Data.String.HtmlElements
- Data.String.Inflection
- Data.String.NonEmpty
- Data.String.NonEmpty.CaseInsensitive
- Data.String.NonEmpty.CodePoints
- Data.String.NonEmpty.CodeUnits
- Data.String.NonEmpty.Internal
- Data.String.Normalize
- Data.String.Pattern
- Data.String.Read
- Data.String.Regex
- Data.String.Regex.Flags
- Data.String.Regex.Unsafe
- Data.String.Unicode
- Data.String.Unsafe
- Data.String.Utils
- Data.Symbol
- Data.TacitString
- Data.TextDecoder
- Data.TextDecoding
- Data.TextEncoder
- Data.TextEncoding
- Data.These
- Data.These.Gen
- Data.Time
- Data.Time.Component
- Data.Time.Component.Gen
- Data.Time.Duration
- Data.Time.Duration.Gen
- Data.Time.Gen
- Data.Time.PreciseDuration
- Data.Time.PreciseDuration.Format
- Data.Traversable
- Data.Traversable.Accum
- Data.Traversable.Accum.Internal
- Data.TraversableWithIndex
- Data.Tree
- Data.Tree.Zipper
- Data.Trifunctor.ApplicativeDo
- Data.Trifunctor.Module
- Data.Trifunctor.Monoidal
- Data.Tuple
- Data.Tuple.Nested
- Data.TwoOrMore
- Data.Typelevel.Bool
- Data.Typelevel.Num
- Data.Typelevel.Num.Aliases
- Data.Typelevel.Num.Ops
- Data.Typelevel.Num.Reps
- Data.Typelevel.Num.Sets
- Data.Typelevel.Undefined
- Data.UInt
- Data.UInt.Gen
- Data.UUID
- Data.Undefinable
- Data.Undefined.NoProblem
- Data.Undefined.NoProblem.Closed
- Data.Undefined.NoProblem.Open
- Data.UndefinedOr
- Data.Unfoldable
- Data.Unfoldable1
- Data.Unit
- Data.Validation.Semigroup
- Data.Validation.Semiring
- Data.Variant
- Data.Variant.Internal
- Data.Vec
- Data.Vector.Polymorphic
- Data.Vector.Polymorphic.Class
- Data.Vector.Polymorphic.Types
- Data.VectorField
- Data.Veither
- Data.Version
- Data.Version.Haskell
- Data.Version.Internal
- Data.Void
- Data.Witherable
- Data.YAML.Foreign.Decode
- Data.YAML.Foreign.Encode
- Data.Yoneda
- Data.Zipper.ArrayZipper
- Database.ElasticSearch
- Database.ElasticSearch.Bulk
- Database.ElasticSearch.Client
- Database.ElasticSearch.Common
- Database.ElasticSearch.Create
- Database.ElasticSearch.Delete
- Database.ElasticSearch.Get
- Database.ElasticSearch.Index
- Database.ElasticSearch.Indices.Create
- Database.ElasticSearch.Indices.Delete
- Database.ElasticSearch.Internal
- Database.ElasticSearch.Query
- Database.ElasticSearch.Search
- Database.ElasticSearch.Update
- Database.Postgres
- Database.Postgres.SqlValue
- Database.Postgres.Transaction
- Debug
- Dodo
- Dodo.Ansi
- Dodo.Common
- Dodo.Internal
- Dodo.Internal.Buffer
- Dotenv
- Dotenv.Internal.Apply
- Dotenv.Internal.ChildProcess
- Dotenv.Internal.Environment
- Dotenv.Internal.Parse
- Dotenv.Internal.Resolve
- Dotenv.Internal.Types
- DynamicBuffer
- Effect
- Effect.AVar
- Effect.Aff
- Effect.Aff.AVar
- Effect.Aff.Bus
- Effect.Aff.Class
- Effect.Aff.Compat
- Effect.Aff.Retry
- Effect.Class
- Effect.Class.Console
- Effect.Console
- Effect.Exception
- Effect.Exception.Unsafe
- Effect.Now
- Effect.Promise
- Effect.Promise.Console
- Effect.Promise.Nonstandard
- Effect.Promise.Unsafe
- Effect.Random
- Effect.Ref
- Effect.Timer
- Effect.Uncurried
- Effect.Unsafe
- Elmish
- Elmish.Boot
- Elmish.Component
- Elmish.Dispatch
- Elmish.Foreign
- Elmish.HTML
- Elmish.HTML.Generated
- Elmish.HTML.Internal
- Elmish.HTML.Styled
- Elmish.HTML.Styled.Generated
- Elmish.JsCallback
- Elmish.React
- Elmish.React.DOM
- Elmish.React.Import
- Elmish.Ref
- Elmish.State
- Elmish.Trace
- Enzyme
- Enzyme.Full
- Enzyme.Shallow
- Enzyme.Wrapper
- ExitCodes
- ExpectInferred
- FFI.Foreign.JSON
- FFI.Foreign.Object
- FFI.Foreign.Operators
- FFI.Unsafe.Foreign
- Foreign
- Foreign.Class
- Foreign.Generic
- Foreign.Generic.Class
- Foreign.Generic.EnumEncoding
- Foreign.Generic.Internal
- Foreign.Index
- Foreign.Internal.Stringify
- Foreign.JSON
- Foreign.Keys
- Foreign.NullOrUndefined
- Foreign.Object
- Foreign.Object.Gen
- Foreign.Object.ST
- Foreign.Object.ST.Unsafe
- Foreign.Object.Unsafe
- Formless
- Formless.Action
- Formless.Class.Initial
- Formless.Component
- Formless.Data.FormFieldResult
- Formless.Internal.Component
- Formless.Internal.Debounce
- Formless.Internal.Transform
- Formless.Query
- Formless.Retrieve
- Formless.Transform.Record
- Formless.Transform.Row
- Formless.Types.Component
- Formless.Types.Form
- Formless.Validation
- Framer.Motion
- Framer.Motion.Hook
- Framer.Motion.MotionComponent
- Framer.Motion.Types
- GLMatrix
- GLMatrix.Mat2
- GLMatrix.Mat2.Mix
- GLMatrix.Mat2d
- GLMatrix.Mat2d.Mix
- GLMatrix.Mat3
- GLMatrix.Mat3.Mix
- GLMatrix.Mat4
- GLMatrix.Mat4.Mix
- GLMatrix.Quat
- GLMatrix.Quat.Mix
- GLMatrix.Vec2
- GLMatrix.Vec2.Mix
- GLMatrix.Vec3
- GLMatrix.Vec3.Mix
- GLMatrix.Vec4
- GLMatrix.Vec4.Mix
- GitHub.Actions.Cache
- GitHub.Actions.Core
- GitHub.Actions.Exec
- GitHub.Actions.IO
- GitHub.Actions.ToolCache
- Gomtang.Basic
- Grain
- Grain.Class
- Grain.Class.GProxy
- Grain.Class.KGProxy
- Grain.Class.LProxy
- Grain.Internal.Diff
- Grain.Internal.Element
- Grain.Internal.Emitter
- Grain.Internal.Handler
- Grain.Internal.MArray
- Grain.Internal.MMap
- Grain.Internal.MObject
- Grain.Internal.Prop
- Grain.Internal.PropDiff
- Grain.Internal.Ref
- Grain.Internal.SpecialProp
- Grain.Internal.Store
- Grain.Internal.Styler
- Grain.Internal.Util
- Grain.Markup
- Grain.Markup.Element
- Grain.Markup.Handler
- Grain.Markup.Prop
- Grain.Router
- Grain.Router.Parser
- Grain.TypeRef
- Grain.UI
- Grain.Virtualized
- GraphQL.Client.Alias
- GraphQL.Client.Args
- GraphQL.Client.BaseClients.Affjax
- GraphQL.Client.BaseClients.Apollo
- GraphQL.Client.BaseClients.Apollo.ErrorPolicy
- GraphQL.Client.BaseClients.Apollo.FetchPolicy
- GraphQL.Client.BaseClients.Urql
- GraphQL.Client.CodeGen.GetSymbols
- GraphQL.Client.CodeGen.Js
- GraphQL.Client.CodeGen.Lines
- GraphQL.Client.CodeGen.Query
- GraphQL.Client.CodeGen.Schema
- GraphQL.Client.CodeGen.Template.Enum
- GraphQL.Client.CodeGen.Template.Schema
- GraphQL.Client.CodeGen.Types
- GraphQL.Client.ID
- GraphQL.Client.Query
- GraphQL.Client.QueryReturns
- GraphQL.Client.SafeQueryName
- GraphQL.Client.Subscription
- GraphQL.Client.ToGqlString
- GraphQL.Client.Types
- GraphQL.Client.WatchQuery
- GraphQL.Hasura.ComparisonExp
- GraphQL.Hasura.Decode
- GraphQL.Hasura.Encode
- GraphQLClient
- GraphQLClient.Argument
- GraphQLClient.Cyrb53
- GraphQLClient.GraphQLEnum
- GraphQLClient.HTTP
- GraphQLClient.Implementation
- GraphQLClient.Utils
- GraphQLClient.WriteGraphQL
- GraphQLClient.WriteGraphQLHash
- Graphics.Canvas
- Graphics.Drawing
- Graphics.Drawing.Font
- HTTPure
- HTTPure.Body
- HTTPure.Contrib.Biscotti
- HTTPure.Contrib.Biscotti.Middleware
- HTTPure.Contrib.Biscotti.SessionManager
- HTTPure.Headers
- HTTPure.Lookup
- HTTPure.Method
- HTTPure.Middleware
- HTTPure.Path
- HTTPure.Query
- HTTPure.Request
- HTTPure.Response
- HTTPure.Server
- HTTPure.Status
- HTTPure.Utils
- HTTPure.Version
- Halogen
- Halogen.Aff
- Halogen.Aff.Driver
- Halogen.Aff.Driver.Eval
- Halogen.Aff.Driver.State
- Halogen.Aff.Util
- Halogen.Component
- Halogen.Component.Profunctor
- Halogen.Data.OrdBox
- Halogen.Data.Slot
- Halogen.HTML
- Halogen.HTML.CSS
- Halogen.HTML.Core
- Halogen.HTML.Elements
- Halogen.HTML.Elements.Keyed
- Halogen.HTML.Events
- Halogen.HTML.Properties
- Halogen.HTML.Properties.ARIA
- Halogen.Hooks
- Halogen.Hooks.Component
- Halogen.Hooks.Extra.Actions.Events
- Halogen.Hooks.Extra.Hooks
- Halogen.Hooks.Extra.Hooks.UseDebouncer
- Halogen.Hooks.Extra.Hooks.UseEvent
- Halogen.Hooks.Extra.Hooks.UseGet
- Halogen.Hooks.Extra.Hooks.UseStateFn
- Halogen.Hooks.Extra.Hooks.UseThrottle
- Halogen.Hooks.Hook
- Halogen.Hooks.HookM
- Halogen.Hooks.Internal.Eval
- Halogen.Hooks.Internal.Eval.Types
- Halogen.Hooks.Internal.Types
- Halogen.Hooks.Internal.UseHookF
- Halogen.Hooks.Types
- Halogen.Query
- Halogen.Query.ChildQuery
- Halogen.Query.Event
- Halogen.Query.HalogenM
- Halogen.Query.HalogenQ
- Halogen.Query.Input
- Halogen.Store.Connect
- Halogen.Store.Monad
- Halogen.Store.Select
- Halogen.Storybook
- Halogen.Storybook.Proxy
- Halogen.Subscription
- Halogen.Svg.Attributes
- Halogen.Svg.Core
- Halogen.Svg.Elements
- Halogen.Svg.Indexed
- Halogen.Svg.Util
- Halogen.Themes.Bootstrap4
- Halogen.VDom
- Halogen.VDom.DOM
- Halogen.VDom.DOM.Prop
- Halogen.VDom.Driver
- Halogen.VDom.Machine
- Halogen.VDom.Thunk
- Halogen.VDom.Types
- Halogen.VDom.Util
- Heterogeneous.Extrablatt.Rec
- Heterogeneous.Folding
- Heterogeneous.Mapping
- IOQueues
- Identy.Normalizer
- Identy.ObjectMap
- Identy.Populater
- Identy.Selector
- IxQueue
- IxQueue.IOQueues
- IxZeta
- JS.FileIO
- JSURI
- Justifill
- Justifill.Fillable
- Justifill.Justifiable
- Jwt
- Kafka.Consumer
- Kafka.Kafka
- Kafka.Producer
- Kafka.Transaction
- Kafka.Types
- Language.PS.CST
- Language.PS.CST.Printers
- Language.PS.CST.Printers.PrintImports
- Language.PS.CST.Printers.PrintModuleModuleNameAndExports
- Language.PS.CST.Printers.TypeLevel
- Language.PS.CST.Printers.Utils
- Language.PS.CST.ReservedNames
- Language.PS.CST.Sugar.Declaration
- Language.PS.CST.Sugar.Leafs
- Language.PS.CST.Sugar.QualifiedName
- Language.PS.CST.Types.Declaration
- Language.PS.CST.Types.Leafs
- Language.PS.CST.Types.Module
- Language.PS.CST.Types.QualifiedName
- Language.PS.SmartCST
- Language.PS.SmartCST.ProcessModule
- Language.PS.SmartCST.ProcessSmartDeclaration
- Language.PS.SmartCST.ProcessSmartDeclaration.Utils
- Language.PS.SmartCST.Sugar.Declaration
- Language.PS.SmartCST.Types.Declaration
- Language.PS.SmartCST.Types.SmartQualifiedName
- Language.PS.SmartCST.Types.SmartQualifiedNameConstructor
- Literals
- Literals.Boolean
- Literals.Int
- Literals.Literal
- Literals.Null
- Literals.Number
- Literals.String
- Literals.Undefined
- Logs.Pretty
- Makkori
- Math
- Matrix
- Matryoshka
- Matryoshka.Algebra
- Matryoshka.Class.Corecursive
- Matryoshka.Class.Recursive
- Matryoshka.Coalgebra
- Matryoshka.DistributiveLaw
- Matryoshka.Fold
- Matryoshka.Pattern.CoEnvT
- Matryoshka.Refold
- Matryoshka.Transform
- Matryoshka.Unfold
- Matryoshka.Util
- Milkis
- Milkis.Impl
- Milkis.Impl.Node
- Milkis.Impl.Window
- Morello.Morello
- Morello.Morello.Core
- Morello.Morello.Record
- Morello.Morello.Simple
- Morello.Morello.Validated
- MotionValue
- Motsunabe
- MySQL.Connection
- MySQL.Internal
- MySQL.Pool
- MySQL.QueryValue
- MySQL.Transaction
- Network.EventSource
- Network.RemoteData
- Node.BasicAuth
- Node.Buffer
- Node.Buffer.Class
- Node.Buffer.Immutable
- Node.Buffer.Internal
- Node.Buffer.ST
- Node.Buffer.Types
- Node.ChildProcess
- Node.Crypto
- Node.Crypto.Cipher
- Node.Crypto.Decipher
- Node.Crypto.Hash
- Node.Crypto.Hmac
- Node.Encoding
- Node.Express.App
- Node.Express.Handler
- Node.Express.Middleware.CookieParser
- Node.Express.Middleware.Static
- Node.Express.Request
- Node.Express.Response
- Node.Express.Test.Mock
- Node.Express.Types
- Node.FS
- Node.FS.Aff
- Node.FS.Aff.Mkdirp
- Node.FS.Async
- Node.FS.Internal
- Node.FS.Perms
- Node.FS.Stats
- Node.FS.Stream
- Node.FS.Sync
- Node.Globals
- Node.HTTP
- Node.HTTP.Client
- Node.HTTP.Secure
- Node.Net
- Node.Net.Server
- Node.Net.Socket
- Node.Path
- Node.Platform
- Node.Process
- Node.ReadLine
- Node.Simple.Jwt
- Node.Stream
- Node.Systemd.Journald
- Node.URL
- Node.Which
- Node.Yargs
- Node.Yargs.Applicative
- Node.Yargs.Setup
- NodeMailer
- NodeMailer.Attachment
- NodeMailer.AttachmentStream
- Option
- Options.Applicative
- Options.Applicative.BashCompletion
- Options.Applicative.Builder
- Options.Applicative.Builder.Completer
- Options.Applicative.Builder.Internal
- Options.Applicative.Common
- Options.Applicative.Extra
- Options.Applicative.Help
- Options.Applicative.Help.Chunk
- Options.Applicative.Help.Core
- Options.Applicative.Help.Levenshtein
- Options.Applicative.Help.Pretty
- Options.Applicative.Help.Types
- Options.Applicative.Internal
- Options.Applicative.Internal.Utils
- Options.Applicative.Types
- PSCI.Support
- Partial
- Partial.Unsafe
- Pathy
- Pathy.Gen
- Pathy.Name
- Pathy.Parser
- Pathy.Path
- Pathy.Phantom
- Pathy.Printer
- Pathy.Sandboxed
- Performance.Minibench
- Phoenix
- Pipes
- Pipes.Core
- Pipes.Internal
- Pipes.ListT
- Pipes.Prelude
- PointFree
- Prelude
- Prettier.Printer
- Prim
- Prim.Boolean
- Prim.Coerce
- Prim.Ordering
- Prim.Row
- Prim.RowList
- Prim.Symbol
- Prim.TypeError
- Psa
- Psa.Output
- Psa.Printer
- Psa.Printer.Default
- Psa.Printer.Json
- Psa.Types
- Psa.Util
- PscIde
- PscIde.Command
- PscIde.Project
- PscIde.Server
- PureScript.Metadata
- Queue
- Queue.One
- Queue.Types
- Ran
- Random.LCG
- Rave
- React
- React.Basic
- React.Basic.Classic
- React.Basic.Classic.Components.Async
- React.Basic.DOM
- React.Basic.DOM.Components.GlobalEvents
- React.Basic.DOM.Components.Ref
- React.Basic.DOM.Concurrent
- React.Basic.DOM.Events
- React.Basic.DOM.Generated
- React.Basic.DOM.Internal
- React.Basic.DOM.SVG
- React.Basic.DOM.Server
- React.Basic.Emotion
- React.Basic.Events
- React.Basic.Hooks
- React.Basic.Hooks.Aff
- React.Basic.Hooks.ErrorBoundary
- React.Basic.Hooks.Internal
- React.Basic.Hooks.ResetToken
- React.Basic.Hooks.Suspense
- React.Basic.Hooks.Suspense.Store
- React.Basic.ReactDND
- React.Basic.ReactDND.Backends.HTML5Backend
- React.Basic.ReactDND.Backends.TestBackend
- React.Basic.ReactDND.Backends.TouchBackend
- React.Basic.StrictMode
- React.DOM
- React.DOM.Dynamic
- React.DOM.Props
- React.DOM.SVG
- React.DOM.SVG.Dynamic
- React.Halo
- React.Halo.Component
- React.Halo.Internal.Control
- React.Halo.Internal.Eval
- React.Halo.Internal.State
- React.Halo.Internal.Types
- React.Queue
- React.Queue.LifeCycle
- React.Queue.WhileMounted
- React.Ref
- React.Signal
- React.Signal.LifeCycle
- React.Signal.WhileMounted
- React.SyntheticEvent
- React.TestingLibrary
- ReactDOM
- Record
- Record.Builder
- Record.Extra
- Record.ExtraSrghma
- Record.ExtraSrghma.CompareRecord
- Record.ExtraSrghma.FoldlValues
- Record.ExtraSrghma.FoldlValuesWithIndex
- Record.ExtraSrghma.FoldrValues
- Record.ExtraSrghma.FoldrValuesLazy
- Record.ExtraSrghma.FoldrValuesWithIndex
- Record.ExtraSrghma.Keys
- Record.ExtraSrghma.MapIndex
- Record.ExtraSrghma.MapRecord
- Record.ExtraSrghma.MapValuesWithIndex
- Record.ExtraSrghma.ParSequenceRecord
- Record.ExtraSrghma.SequenceRecord
- Record.ExtraSrghma.ValuesToUnfoldableLazy
- Record.ExtraSrghma.ZipRecord
- Record.Unsafe
- Record.Unsafe.Union
- ReduxDevTools
- Resource
- Resource.Unsafe
- Return
- Return.Folds
- Routing
- Routing.Duplex
- Routing.Duplex.Generic
- Routing.Duplex.Generic.Syntax
- Routing.Duplex.Parser
- Routing.Duplex.Printer
- Routing.Duplex.Types
- Routing.Hash
- Routing.Match
- Routing.Match.Error
- Routing.Parser
- Routing.PushState
- Routing.Types
- Row.Class
- Run
- Run.Choose
- Run.Except
- Run.Internal
- Run.Reader
- Run.State
- Run.Writer
- SQLite3
- SQLite3.Internal
- Safe.Coerce
- Select
- Select.Setters
- Signal
- Signal.Aff
- Signal.Channel
- Signal.DOM
- Signal.Effect
- Signal.Time
- Simple.Ajax
- Simple.Ajax.Errors
- Simple.I18n.Translation
- Simple.I18n.Translator
- Simple.JSON
- Simple.ULID
- SimpleEmitter
- Slug
- Snabbdom
- SodiumFRP.Cell
- SodiumFRP.Class
- SodiumFRP.Lambda
- SodiumFRP.Operational
- SodiumFRP.Stream
- SodiumFRP.Transaction
- Spork.App
- Spork.Batch
- Spork.EventQueue
- Spork.Html
- Spork.Html.Core
- Spork.Html.Elements
- Spork.Html.Elements.Keyed
- Spork.Html.Events
- Spork.Html.Properties
- Spork.Interpreter
- Spork.PureApp
- Spork.Scheduler
- Spork.Transition
- Substitute
- Suggest
- Sunde
- Supply
- Test.Abides.Control.Alt
- Test.Abides.Control.Alternative
- Test.Abides.Control.Applicative
- Test.Abides.Control.Apply
- Test.Abides.Control.Bind
- Test.Abides.Control.Category
- Test.Abides.Control.Comonad
- Test.Abides.Control.Extend
- Test.Abides.Control.Monad
- Test.Abides.Control.MonadPlus
- Test.Abides.Control.MonadZero
- Test.Abides.Control.Plus
- Test.Abides.Control.Semigroupoid
- Test.Abides.Data.BooleaneanAlgebra
- Test.Abides.Data.Bounded
- Test.Abides.Data.BoundedEnum
- Test.Abides.Data.CommutativeRing
- Test.Abides.Data.DivisionRing
- Test.Abides.Data.Eq
- Test.Abides.Data.EuclideanRing
- Test.Abides.Data.Foldable
- Test.Abides.Data.Functor
- Test.Abides.Data.HeytingAlgebra
- Test.Abides.Data.Monoid
- Test.Abides.Data.Ord
- Test.Abides.Data.Ring
- Test.Abides.Data.Semigroup
- Test.Abides.Data.Semiring
- Test.Abides.Properties
- Test.Assert
- Test.QuickCheck
- Test.QuickCheck.Arbitrary
- Test.QuickCheck.Combinators
- Test.QuickCheck.Gen
- Test.QuickCheck.Laws
- Test.QuickCheck.Laws.Control
- Test.QuickCheck.Laws.Control.Align
- Test.QuickCheck.Laws.Control.Alignable
- Test.QuickCheck.Laws.Control.Alt
- Test.QuickCheck.Laws.Control.Alternative
- Test.QuickCheck.Laws.Control.Applicative
- Test.QuickCheck.Laws.Control.Apply
- Test.QuickCheck.Laws.Control.Bind
- Test.QuickCheck.Laws.Control.Category
- Test.QuickCheck.Laws.Control.Comonad
- Test.QuickCheck.Laws.Control.Crosswalk
- Test.QuickCheck.Laws.Control.Extend
- Test.QuickCheck.Laws.Control.Monad
- Test.QuickCheck.Laws.Control.MonadPlus
- Test.QuickCheck.Laws.Control.MonadZero
- Test.QuickCheck.Laws.Control.Plus
- Test.QuickCheck.Laws.Control.Semigroupoid
- Test.QuickCheck.Laws.Data
- Test.QuickCheck.Laws.Data.BooleanAlgebra
- Test.QuickCheck.Laws.Data.Bounded
- Test.QuickCheck.Laws.Data.BoundedEnum
- Test.QuickCheck.Laws.Data.CommutativeRing
- Test.QuickCheck.Laws.Data.DivisionRing
- Test.QuickCheck.Laws.Data.Eq
- Test.QuickCheck.Laws.Data.EuclideanRing
- Test.QuickCheck.Laws.Data.Field
- Test.QuickCheck.Laws.Data.Foldable
- Test.QuickCheck.Laws.Data.Functor
- Test.QuickCheck.Laws.Data.FunctorWithIndex
- Test.QuickCheck.Laws.Data.HeytingAlgebra
- Test.QuickCheck.Laws.Data.Monoid
- Test.QuickCheck.Laws.Data.Ord
- Test.QuickCheck.Laws.Data.Ring
- Test.QuickCheck.Laws.Data.Semigroup
- Test.QuickCheck.Laws.Data.Semiring
- Test.QuickCheck.UTF8String
- Test.Spec
- Test.Spec.Assertions
- Test.Spec.Assertions.DOM
- Test.Spec.Assertions.String
- Test.Spec.Console
- Test.Spec.Discovery
- Test.Spec.Mocha
- Test.Spec.QuickCheck
- Test.Spec.Reporter
- Test.Spec.Reporter.Base
- Test.Spec.Reporter.Console
- Test.Spec.Reporter.Dot
- Test.Spec.Reporter.Spec
- Test.Spec.Reporter.Tap
- Test.Spec.Result
- Test.Spec.Runner
- Test.Spec.Runner.Event
- Test.Spec.Speed
- Test.Spec.Style
- Test.Spec.Summary
- Test.Spec.Tree
- Test.Unit
- Test.Unit.Assert
- Test.Unit.Console
- Test.Unit.Main
- Test.Unit.Output.Fancy
- Test.Unit.Output.Simple
- Test.Unit.Output.TAP
- Test.Unit.QuickCheck
- Text.Email.Parser
- Text.Email.Validate
- Text.Format
- Text.Parsing.Applicative.Repetition
- Text.Parsing.Array.Repetition
- Text.Parsing.Char.Hexadecimal
- Text.Parsing.Combinators.Validation
- Text.Parsing.Expect
- Text.Parsing.Indent
- Text.Parsing.Monoid.Repetition
- Text.Parsing.Parser
- Text.Parsing.Parser.Combinators
- Text.Parsing.Parser.Expect
- Text.Parsing.Parser.Expr
- Text.Parsing.Parser.Language
- Text.Parsing.Parser.Pos
- Text.Parsing.Parser.String
- Text.Parsing.Parser.Token
- Text.Parsing.Replace.String
- Text.Parsing.Replace.String.Combinator
- Text.Parsing.String.Hexadecimal
- Text.Parsing.String.Repetition
- Text.Parsing.String.UUID
- Text.Parsing.StringParser
- Text.Parsing.StringParser.CodePoints
- Text.Parsing.StringParser.CodeUnits
- Text.Parsing.StringParser.Combinators
- Text.Parsing.StringParser.Expr
- Text.Prettier
- Text.PrettyPrint.Leijen
- Thermite
- Thermite.DOM
- Toppokki
- Turf.Helpers
- Type.Data.Boolean
- Type.Data.List
- Type.Data.Ordering
- Type.Data.Peano
- Type.Data.Peano.Int
- Type.Data.Peano.Int.Definition
- Type.Data.Peano.Int.Parse
- Type.Data.Peano.Int.TypeAliases
- Type.Data.Peano.Nat
- Type.Data.Peano.Nat.Definition
- Type.Data.Peano.Nat.Parse
- Type.Data.Peano.Nat.TypeAliases
- Type.Data.Row
- Type.Data.RowList
- Type.Data.Symbol
- Type.Equality
- Type.Function
- Type.Prelude
- Type.Proxy
- Type.Quotient
- Type.Row
- Type.Row.Homogeneous
- Type.RowList
- TypedEnv
- URI
- URI.AbsoluteURI
- URI.Authority
- URI.Common
- URI.Extra.MultiHostPortPair
- URI.Extra.QueryPairs
- URI.Extra.UserPassInfo
- URI.Fragment
- URI.HierarchicalPart
- URI.Host
- URI.Host.Gen
- URI.Host.IPv4Address
- URI.Host.IPv6Address
- URI.Host.RegName
- URI.HostPortPair
- URI.HostPortPair.Gen
- URI.Path
- URI.Path.Absolute
- URI.Path.NoScheme
- URI.Path.Rootless
- URI.Path.Segment
- URI.Port
- URI.Port.Gen
- URI.Query
- URI.RelativePart
- URI.RelativeRef
- URI.Scheme
- URI.Scheme.Common
- URI.URI
- URI.URIRef
- URI.UserInfo
- Undefined
- Unsafe.Coerce
- Unsafe.Reference
- Untagged.Castable
- Untagged.TypeCheck
- Untagged.Union
- UrlRegexSafe
- Web.Bower.PackageMeta
- Web.CSSOM
- Web.CSSOM.CSSStyleDeclaration
- Web.CSSOM.ElementCSSInlineStyle
- Web.CSSOM.Internal.Types
- Web.CSSOM.MouseEvent
- Web.Clipboard.ClipboardEvent
- Web.Clipboard.ClipboardEvent.EventTypes
- Web.DOM
- Web.DOM.CSSStyleSheet
- Web.DOM.CharacterData
- Web.DOM.ChildNode
- Web.DOM.Comment
- Web.DOM.DOMParser
- Web.DOM.DOMTokenList
- Web.DOM.Document
- Web.DOM.Document.XPath
- Web.DOM.Document.XPath.ResultType
- Web.DOM.DocumentFragment
- Web.DOM.DocumentType
- Web.DOM.Element
- Web.DOM.HTMLCollection
- Web.DOM.Internal.Types
- Web.DOM.MutationObserver
- Web.DOM.MutationRecord
- Web.DOM.Node
- Web.DOM.NodeList
- Web.DOM.NodeType
- Web.DOM.NonDocumentTypeChildNode
- Web.DOM.NonElementParentNode
- Web.DOM.ParentNode
- Web.DOM.ProcessingInstruction
- Web.DOM.ShadowRoot
- Web.DOM.StyleSheetList
- Web.DOM.Text
- Web.DOM.XMLSerializer
- Web.DownloadJs
- Web.Encoding.TextDecoder
- Web.Encoding.TextEncoder
- Web.Encoding.UtfLabel
- Web.Event.CustomEvent
- Web.Event.Event
- Web.Event.EventPhase
- Web.Event.EventTarget
- Web.Event.Internal.Types
- Web.Fetch
- Web.Fetch.AbortController
- Web.Fetch.Headers
- Web.Fetch.Integrity
- Web.Fetch.Referrer
- Web.Fetch.ReferrerPolicy
- Web.Fetch.Request
- Web.Fetch.RequestBody
- Web.Fetch.RequestCache
- Web.Fetch.RequestCredentials
- Web.Fetch.RequestMode
- Web.Fetch.RequestRedirect
- Web.Fetch.Response
- Web.File.Blob
- Web.File.File
- Web.File.FileList
- Web.File.FileReader
- Web.File.FileReader.Aff
- Web.File.FileReader.ReadyState
- Web.File.Url
- Web.HTML
- Web.HTML.Common
- Web.HTML.Event.BeforeUnloadEvent
- Web.HTML.Event.BeforeUnloadEvent.EventTypes
- Web.HTML.Event.DataTransfer
- Web.HTML.Event.DragEvent
- Web.HTML.Event.DragEvent.EventTypes
- Web.HTML.Event.ErrorEvent
- Web.HTML.Event.EventTypes
- Web.HTML.Event.HashChangeEvent
- Web.HTML.Event.HashChangeEvent.EventTypes
- Web.HTML.Event.PageTransitionEvent
- Web.HTML.Event.PageTransitionEvent.EventTypes
- Web.HTML.Event.PopStateEvent
- Web.HTML.Event.PopStateEvent.EventTypes
- Web.HTML.Event.TrackEvent
- Web.HTML.Event.TrackEvent.EventTypes
- Web.HTML.HTMLAnchorElement
- Web.HTML.HTMLAreaElement
- Web.HTML.HTMLAudioElement
- Web.HTML.HTMLBRElement
- Web.HTML.HTMLBaseElement
- Web.HTML.HTMLBodyElement
- Web.HTML.HTMLButtonElement
- Web.HTML.HTMLCanvasElement
- Web.HTML.HTMLDListElement
- Web.HTML.HTMLDataElement
- Web.HTML.HTMLDataListElement
- Web.HTML.HTMLDivElement
- Web.HTML.HTMLDocument
- Web.HTML.HTMLDocument.ReadyState
- Web.HTML.HTMLElement
- Web.HTML.HTMLEmbedElement
- Web.HTML.HTMLFieldSetElement
- Web.HTML.HTMLFormElement
- Web.HTML.HTMLHRElement
- Web.HTML.HTMLHeadElement
- Web.HTML.HTMLHeadingElement
- Web.HTML.HTMLHyperlinkElementUtils
- Web.HTML.HTMLIFrameElement
- Web.HTML.HTMLImageElement
- Web.HTML.HTMLImageElement.CORSMode
- Web.HTML.HTMLImageElement.DecodingHint
- Web.HTML.HTMLImageElement.Laziness
- Web.HTML.HTMLInputElement
- Web.HTML.HTMLKeygenElement
- Web.HTML.HTMLLIElement
- Web.HTML.HTMLLabelElement
- Web.HTML.HTMLLegendElement
- Web.HTML.HTMLLinkElement
- Web.HTML.HTMLMapElement
- Web.HTML.HTMLMediaElement
- Web.HTML.HTMLMediaElement.CanPlayType
- Web.HTML.HTMLMediaElement.NetworkState
- Web.HTML.HTMLMediaElement.ReadyState
- Web.HTML.HTMLMetaElement
- Web.HTML.HTMLMeterElement
- Web.HTML.HTMLModElement
- Web.HTML.HTMLOListElement
- Web.HTML.HTMLObjectElement
- Web.HTML.HTMLOptGroupElement
- Web.HTML.HTMLOptionElement
- Web.HTML.HTMLOutputElement
- Web.HTML.HTMLParagraphElement
- Web.HTML.HTMLParamElement
- Web.HTML.HTMLPreElement
- Web.HTML.HTMLProgressElement
- Web.HTML.HTMLQuoteElement
- Web.HTML.HTMLScriptElement
- Web.HTML.HTMLSelectElement
- Web.HTML.HTMLSourceElement
- Web.HTML.HTMLSpanElement
- Web.HTML.HTMLStyleElement
- Web.HTML.HTMLTableCaptionElement
- Web.HTML.HTMLTableCellElement
- Web.HTML.HTMLTableColElement
- Web.HTML.HTMLTableDataCellElement
- Web.HTML.HTMLTableElement
- Web.HTML.HTMLTableHeaderCellElement
- Web.HTML.HTMLTableRowElement
- Web.HTML.HTMLTableSectionElement
- Web.HTML.HTMLTemplateElement
- Web.HTML.HTMLTextAreaElement
- Web.HTML.HTMLTimeElement
- Web.HTML.HTMLTitleElement
- Web.HTML.HTMLTrackElement
- Web.HTML.HTMLTrackElement.ReadyState
- Web.HTML.HTMLUListElement
- Web.HTML.HTMLVideoElement
- Web.HTML.History
- Web.HTML.Location
- Web.HTML.Navigator
- Web.HTML.SelectionMode
- Web.HTML.ValidityState
- Web.HTML.Window
- Web.Internal.FFI
- Web.Promise
- Web.Promise.Internal
- Web.Promise.Lazy
- Web.Promise.Rejection
- Web.ResizeObserver
- Web.Socket.BinaryType
- Web.Socket.Event.CloseEvent
- Web.Socket.Event.EventTypes
- Web.Socket.Event.MessageEvent
- Web.Socket.ReadyState
- Web.Socket.WebSocket
- Web.Storage.Event.StorageEvent
- Web.Storage.Storage
- Web.Streams.QueuingStrategy
- Web.Streams.ReadableStream
- Web.Streams.ReadableStreamController
- Web.Streams.Reader
- Web.Streams.Source
- Web.TouchEvent
- Web.TouchEvent.EventTypes
- Web.TouchEvent.Touch
- Web.TouchEvent.TouchEvent
- Web.TouchEvent.TouchList
- Web.UIEvent.CompositionEvent
- Web.UIEvent.CompositionEvent.EventTypes
- Web.UIEvent.EventTypes
- Web.UIEvent.FocusEvent
- Web.UIEvent.FocusEvent.EventTypes
- Web.UIEvent.InputEvent
- Web.UIEvent.InputEvent.EventTypes
- Web.UIEvent.KeyboardEvent
- Web.UIEvent.KeyboardEvent.EventTypes
- Web.UIEvent.MouseEvent
- Web.UIEvent.MouseEvent.EventTypes
- Web.UIEvent.UIEvent
- Web.UIEvent.WheelEvent
- Web.UIEvent.WheelEvent.EventTypes
- Web.XHR.EventTypes
- Web.XHR.FormData
- Web.XHR.ProgressEvent
- Web.XHR.ReadyState
- Web.XHR.ResponseType
- Web.XHR.XMLHttpRequest
- Web.XHR.XMLHttpRequestUpload
- Which
- Zeta
- Zeta.Compat
- Zeta.DOM
- Zeta.Extra
- Zeta.Time
- Zeta.Types
This instance ignores keys that do not exist in the given JSON object.
If a key does not exist in the JSON object, it will not be added to the
Option _
.If a key does exists in the JSON object but the value cannot be successfully decoded, it will fail with an error.
If a key does exists in the JSON object and the value can be successfully decoded, it will be added to the
Option _
.