{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE StrictData #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
{-# OPTIONS_GHC -fno-warn-unused-matches #-}
module Amazonka.CognitoIdentityProvider.Types.SchemaAttributeType where
import Amazonka.CognitoIdentityProvider.Types.AttributeDataType
import Amazonka.CognitoIdentityProvider.Types.NumberAttributeConstraintsType
import Amazonka.CognitoIdentityProvider.Types.StringAttributeConstraintsType
import qualified Amazonka.Core as Core
import qualified Amazonka.Lens as Lens
import qualified Amazonka.Prelude as Prelude
data SchemaAttributeType = SchemaAttributeType'
{
SchemaAttributeType -> Maybe NumberAttributeConstraintsType
numberAttributeConstraints :: Prelude.Maybe NumberAttributeConstraintsType,
SchemaAttributeType -> Maybe Bool
required :: Prelude.Maybe Prelude.Bool,
SchemaAttributeType -> Maybe AttributeDataType
attributeDataType :: Prelude.Maybe AttributeDataType,
SchemaAttributeType -> Maybe StringAttributeConstraintsType
stringAttributeConstraints :: Prelude.Maybe StringAttributeConstraintsType,
SchemaAttributeType -> Maybe Text
name :: Prelude.Maybe Prelude.Text,
SchemaAttributeType -> Maybe Bool
developerOnlyAttribute :: Prelude.Maybe Prelude.Bool,
SchemaAttributeType -> Maybe Bool
mutable :: Prelude.Maybe Prelude.Bool
}
deriving (SchemaAttributeType -> SchemaAttributeType -> Bool
(SchemaAttributeType -> SchemaAttributeType -> Bool)
-> (SchemaAttributeType -> SchemaAttributeType -> Bool)
-> Eq SchemaAttributeType
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: SchemaAttributeType -> SchemaAttributeType -> Bool
$c/= :: SchemaAttributeType -> SchemaAttributeType -> Bool
== :: SchemaAttributeType -> SchemaAttributeType -> Bool
$c== :: SchemaAttributeType -> SchemaAttributeType -> Bool
Prelude.Eq, ReadPrec [SchemaAttributeType]
ReadPrec SchemaAttributeType
Int -> ReadS SchemaAttributeType
ReadS [SchemaAttributeType]
(Int -> ReadS SchemaAttributeType)
-> ReadS [SchemaAttributeType]
-> ReadPrec SchemaAttributeType
-> ReadPrec [SchemaAttributeType]
-> Read SchemaAttributeType
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [SchemaAttributeType]
$creadListPrec :: ReadPrec [SchemaAttributeType]
readPrec :: ReadPrec SchemaAttributeType
$creadPrec :: ReadPrec SchemaAttributeType
readList :: ReadS [SchemaAttributeType]
$creadList :: ReadS [SchemaAttributeType]
readsPrec :: Int -> ReadS SchemaAttributeType
$creadsPrec :: Int -> ReadS SchemaAttributeType
Prelude.Read, Int -> SchemaAttributeType -> ShowS
[SchemaAttributeType] -> ShowS
SchemaAttributeType -> String
(Int -> SchemaAttributeType -> ShowS)
-> (SchemaAttributeType -> String)
-> ([SchemaAttributeType] -> ShowS)
-> Show SchemaAttributeType
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [SchemaAttributeType] -> ShowS
$cshowList :: [SchemaAttributeType] -> ShowS
show :: SchemaAttributeType -> String
$cshow :: SchemaAttributeType -> String
showsPrec :: Int -> SchemaAttributeType -> ShowS
$cshowsPrec :: Int -> SchemaAttributeType -> ShowS
Prelude.Show, (forall x. SchemaAttributeType -> Rep SchemaAttributeType x)
-> (forall x. Rep SchemaAttributeType x -> SchemaAttributeType)
-> Generic SchemaAttributeType
forall x. Rep SchemaAttributeType x -> SchemaAttributeType
forall x. SchemaAttributeType -> Rep SchemaAttributeType x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep SchemaAttributeType x -> SchemaAttributeType
$cfrom :: forall x. SchemaAttributeType -> Rep SchemaAttributeType x
Prelude.Generic)
newSchemaAttributeType ::
SchemaAttributeType
newSchemaAttributeType :: SchemaAttributeType
newSchemaAttributeType =
SchemaAttributeType' :: Maybe NumberAttributeConstraintsType
-> Maybe Bool
-> Maybe AttributeDataType
-> Maybe StringAttributeConstraintsType
-> Maybe Text
-> Maybe Bool
-> Maybe Bool
-> SchemaAttributeType
SchemaAttributeType'
{ $sel:numberAttributeConstraints:SchemaAttributeType' :: Maybe NumberAttributeConstraintsType
numberAttributeConstraints =
Maybe NumberAttributeConstraintsType
forall a. Maybe a
Prelude.Nothing,
$sel:required:SchemaAttributeType' :: Maybe Bool
required = Maybe Bool
forall a. Maybe a
Prelude.Nothing,
$sel:attributeDataType:SchemaAttributeType' :: Maybe AttributeDataType
attributeDataType = Maybe AttributeDataType
forall a. Maybe a
Prelude.Nothing,
$sel:stringAttributeConstraints:SchemaAttributeType' :: Maybe StringAttributeConstraintsType
stringAttributeConstraints = Maybe StringAttributeConstraintsType
forall a. Maybe a
Prelude.Nothing,
$sel:name:SchemaAttributeType' :: Maybe Text
name = Maybe Text
forall a. Maybe a
Prelude.Nothing,
$sel:developerOnlyAttribute:SchemaAttributeType' :: Maybe Bool
developerOnlyAttribute = Maybe Bool
forall a. Maybe a
Prelude.Nothing,
$sel:mutable:SchemaAttributeType' :: Maybe Bool
mutable = Maybe Bool
forall a. Maybe a
Prelude.Nothing
}
schemaAttributeType_numberAttributeConstraints :: Lens.Lens' SchemaAttributeType (Prelude.Maybe NumberAttributeConstraintsType)
schemaAttributeType_numberAttributeConstraints :: (Maybe NumberAttributeConstraintsType
-> f (Maybe NumberAttributeConstraintsType))
-> SchemaAttributeType -> f SchemaAttributeType
schemaAttributeType_numberAttributeConstraints = (SchemaAttributeType -> Maybe NumberAttributeConstraintsType)
-> (SchemaAttributeType
-> Maybe NumberAttributeConstraintsType -> SchemaAttributeType)
-> Lens
SchemaAttributeType
SchemaAttributeType
(Maybe NumberAttributeConstraintsType)
(Maybe NumberAttributeConstraintsType)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.lens (\SchemaAttributeType' {Maybe NumberAttributeConstraintsType
numberAttributeConstraints :: Maybe NumberAttributeConstraintsType
$sel:numberAttributeConstraints:SchemaAttributeType' :: SchemaAttributeType -> Maybe NumberAttributeConstraintsType
numberAttributeConstraints} -> Maybe NumberAttributeConstraintsType
numberAttributeConstraints) (\s :: SchemaAttributeType
s@SchemaAttributeType' {} Maybe NumberAttributeConstraintsType
a -> SchemaAttributeType
s {$sel:numberAttributeConstraints:SchemaAttributeType' :: Maybe NumberAttributeConstraintsType
numberAttributeConstraints = Maybe NumberAttributeConstraintsType
a} :: SchemaAttributeType)
schemaAttributeType_required :: Lens.Lens' SchemaAttributeType (Prelude.Maybe Prelude.Bool)
schemaAttributeType_required :: (Maybe Bool -> f (Maybe Bool))
-> SchemaAttributeType -> f SchemaAttributeType
schemaAttributeType_required = (SchemaAttributeType -> Maybe Bool)
-> (SchemaAttributeType -> Maybe Bool -> SchemaAttributeType)
-> Lens
SchemaAttributeType SchemaAttributeType (Maybe Bool) (Maybe Bool)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.lens (\SchemaAttributeType' {Maybe Bool
required :: Maybe Bool
$sel:required:SchemaAttributeType' :: SchemaAttributeType -> Maybe Bool
required} -> Maybe Bool
required) (\s :: SchemaAttributeType
s@SchemaAttributeType' {} Maybe Bool
a -> SchemaAttributeType
s {$sel:required:SchemaAttributeType' :: Maybe Bool
required = Maybe Bool
a} :: SchemaAttributeType)
schemaAttributeType_attributeDataType :: Lens.Lens' SchemaAttributeType (Prelude.Maybe AttributeDataType)
schemaAttributeType_attributeDataType :: (Maybe AttributeDataType -> f (Maybe AttributeDataType))
-> SchemaAttributeType -> f SchemaAttributeType
schemaAttributeType_attributeDataType = (SchemaAttributeType -> Maybe AttributeDataType)
-> (SchemaAttributeType
-> Maybe AttributeDataType -> SchemaAttributeType)
-> Lens
SchemaAttributeType
SchemaAttributeType
(Maybe AttributeDataType)
(Maybe AttributeDataType)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.lens (\SchemaAttributeType' {Maybe AttributeDataType
attributeDataType :: Maybe AttributeDataType
$sel:attributeDataType:SchemaAttributeType' :: SchemaAttributeType -> Maybe AttributeDataType
attributeDataType} -> Maybe AttributeDataType
attributeDataType) (\s :: SchemaAttributeType
s@SchemaAttributeType' {} Maybe AttributeDataType
a -> SchemaAttributeType
s {$sel:attributeDataType:SchemaAttributeType' :: Maybe AttributeDataType
attributeDataType = Maybe AttributeDataType
a} :: SchemaAttributeType)
schemaAttributeType_stringAttributeConstraints :: Lens.Lens' SchemaAttributeType (Prelude.Maybe StringAttributeConstraintsType)
schemaAttributeType_stringAttributeConstraints :: (Maybe StringAttributeConstraintsType
-> f (Maybe StringAttributeConstraintsType))
-> SchemaAttributeType -> f SchemaAttributeType
schemaAttributeType_stringAttributeConstraints = (SchemaAttributeType -> Maybe StringAttributeConstraintsType)
-> (SchemaAttributeType
-> Maybe StringAttributeConstraintsType -> SchemaAttributeType)
-> Lens
SchemaAttributeType
SchemaAttributeType
(Maybe StringAttributeConstraintsType)
(Maybe StringAttributeConstraintsType)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.lens (\SchemaAttributeType' {Maybe StringAttributeConstraintsType
stringAttributeConstraints :: Maybe StringAttributeConstraintsType
$sel:stringAttributeConstraints:SchemaAttributeType' :: SchemaAttributeType -> Maybe StringAttributeConstraintsType
stringAttributeConstraints} -> Maybe StringAttributeConstraintsType
stringAttributeConstraints) (\s :: SchemaAttributeType
s@SchemaAttributeType' {} Maybe StringAttributeConstraintsType
a -> SchemaAttributeType
s {$sel:stringAttributeConstraints:SchemaAttributeType' :: Maybe StringAttributeConstraintsType
stringAttributeConstraints = Maybe StringAttributeConstraintsType
a} :: SchemaAttributeType)
schemaAttributeType_name :: Lens.Lens' SchemaAttributeType (Prelude.Maybe Prelude.Text)
schemaAttributeType_name :: (Maybe Text -> f (Maybe Text))
-> SchemaAttributeType -> f SchemaAttributeType
schemaAttributeType_name = (SchemaAttributeType -> Maybe Text)
-> (SchemaAttributeType -> Maybe Text -> SchemaAttributeType)
-> Lens
SchemaAttributeType SchemaAttributeType (Maybe Text) (Maybe Text)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.lens (\SchemaAttributeType' {Maybe Text
name :: Maybe Text
$sel:name:SchemaAttributeType' :: SchemaAttributeType -> Maybe Text
name} -> Maybe Text
name) (\s :: SchemaAttributeType
s@SchemaAttributeType' {} Maybe Text
a -> SchemaAttributeType
s {$sel:name:SchemaAttributeType' :: Maybe Text
name = Maybe Text
a} :: SchemaAttributeType)
schemaAttributeType_developerOnlyAttribute :: Lens.Lens' SchemaAttributeType (Prelude.Maybe Prelude.Bool)
schemaAttributeType_developerOnlyAttribute :: (Maybe Bool -> f (Maybe Bool))
-> SchemaAttributeType -> f SchemaAttributeType
schemaAttributeType_developerOnlyAttribute = (SchemaAttributeType -> Maybe Bool)
-> (SchemaAttributeType -> Maybe Bool -> SchemaAttributeType)
-> Lens
SchemaAttributeType SchemaAttributeType (Maybe Bool) (Maybe Bool)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.lens (\SchemaAttributeType' {Maybe Bool
developerOnlyAttribute :: Maybe Bool
$sel:developerOnlyAttribute:SchemaAttributeType' :: SchemaAttributeType -> Maybe Bool
developerOnlyAttribute} -> Maybe Bool
developerOnlyAttribute) (\s :: SchemaAttributeType
s@SchemaAttributeType' {} Maybe Bool
a -> SchemaAttributeType
s {$sel:developerOnlyAttribute:SchemaAttributeType' :: Maybe Bool
developerOnlyAttribute = Maybe Bool
a} :: SchemaAttributeType)
schemaAttributeType_mutable :: Lens.Lens' SchemaAttributeType (Prelude.Maybe Prelude.Bool)
schemaAttributeType_mutable :: (Maybe Bool -> f (Maybe Bool))
-> SchemaAttributeType -> f SchemaAttributeType
schemaAttributeType_mutable = (SchemaAttributeType -> Maybe Bool)
-> (SchemaAttributeType -> Maybe Bool -> SchemaAttributeType)
-> Lens
SchemaAttributeType SchemaAttributeType (Maybe Bool) (Maybe Bool)
forall s a b t. (s -> a) -> (s -> b -> t) -> Lens s t a b
Lens.lens (\SchemaAttributeType' {Maybe Bool
mutable :: Maybe Bool
$sel:mutable:SchemaAttributeType' :: SchemaAttributeType -> Maybe Bool
mutable} -> Maybe Bool
mutable) (\s :: SchemaAttributeType
s@SchemaAttributeType' {} Maybe Bool
a -> SchemaAttributeType
s {$sel:mutable:SchemaAttributeType' :: Maybe Bool
mutable = Maybe Bool
a} :: SchemaAttributeType)
instance Core.FromJSON SchemaAttributeType where
parseJSON :: Value -> Parser SchemaAttributeType
parseJSON =
String
-> (Object -> Parser SchemaAttributeType)
-> Value
-> Parser SchemaAttributeType
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Core.withObject
String
"SchemaAttributeType"
( \Object
x ->
Maybe NumberAttributeConstraintsType
-> Maybe Bool
-> Maybe AttributeDataType
-> Maybe StringAttributeConstraintsType
-> Maybe Text
-> Maybe Bool
-> Maybe Bool
-> SchemaAttributeType
SchemaAttributeType'
(Maybe NumberAttributeConstraintsType
-> Maybe Bool
-> Maybe AttributeDataType
-> Maybe StringAttributeConstraintsType
-> Maybe Text
-> Maybe Bool
-> Maybe Bool
-> SchemaAttributeType)
-> Parser (Maybe NumberAttributeConstraintsType)
-> Parser
(Maybe Bool
-> Maybe AttributeDataType
-> Maybe StringAttributeConstraintsType
-> Maybe Text
-> Maybe Bool
-> Maybe Bool
-> SchemaAttributeType)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> (Object
x Object -> Text -> Parser (Maybe NumberAttributeConstraintsType)
forall a. FromJSON a => Object -> Text -> Parser (Maybe a)
Core..:? Text
"NumberAttributeConstraints")
Parser
(Maybe Bool
-> Maybe AttributeDataType
-> Maybe StringAttributeConstraintsType
-> Maybe Text
-> Maybe Bool
-> Maybe Bool
-> SchemaAttributeType)
-> Parser (Maybe Bool)
-> Parser
(Maybe AttributeDataType
-> Maybe StringAttributeConstraintsType
-> Maybe Text
-> Maybe Bool
-> Maybe Bool
-> SchemaAttributeType)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
Prelude.<*> (Object
x Object -> Text -> Parser (Maybe Bool)
forall a. FromJSON a => Object -> Text -> Parser (Maybe a)
Core..:? Text
"Required")
Parser
(Maybe AttributeDataType
-> Maybe StringAttributeConstraintsType
-> Maybe Text
-> Maybe Bool
-> Maybe Bool
-> SchemaAttributeType)
-> Parser (Maybe AttributeDataType)
-> Parser
(Maybe StringAttributeConstraintsType
-> Maybe Text -> Maybe Bool -> Maybe Bool -> SchemaAttributeType)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
Prelude.<*> (Object
x Object -> Text -> Parser (Maybe AttributeDataType)
forall a. FromJSON a => Object -> Text -> Parser (Maybe a)
Core..:? Text
"AttributeDataType")
Parser
(Maybe StringAttributeConstraintsType
-> Maybe Text -> Maybe Bool -> Maybe Bool -> SchemaAttributeType)
-> Parser (Maybe StringAttributeConstraintsType)
-> Parser
(Maybe Text -> Maybe Bool -> Maybe Bool -> SchemaAttributeType)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
Prelude.<*> (Object
x Object -> Text -> Parser (Maybe StringAttributeConstraintsType)
forall a. FromJSON a => Object -> Text -> Parser (Maybe a)
Core..:? Text
"StringAttributeConstraints")
Parser
(Maybe Text -> Maybe Bool -> Maybe Bool -> SchemaAttributeType)
-> Parser (Maybe Text)
-> Parser (Maybe Bool -> Maybe Bool -> SchemaAttributeType)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
Prelude.<*> (Object
x Object -> Text -> Parser (Maybe Text)
forall a. FromJSON a => Object -> Text -> Parser (Maybe a)
Core..:? Text
"Name")
Parser (Maybe Bool -> Maybe Bool -> SchemaAttributeType)
-> Parser (Maybe Bool)
-> Parser (Maybe Bool -> SchemaAttributeType)
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
Prelude.<*> (Object
x Object -> Text -> Parser (Maybe Bool)
forall a. FromJSON a => Object -> Text -> Parser (Maybe a)
Core..:? Text
"DeveloperOnlyAttribute")
Parser (Maybe Bool -> SchemaAttributeType)
-> Parser (Maybe Bool) -> Parser SchemaAttributeType
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
Prelude.<*> (Object
x Object -> Text -> Parser (Maybe Bool)
forall a. FromJSON a => Object -> Text -> Parser (Maybe a)
Core..:? Text
"Mutable")
)
instance Prelude.Hashable SchemaAttributeType
instance Prelude.NFData SchemaAttributeType
instance Core.ToJSON SchemaAttributeType where
toJSON :: SchemaAttributeType -> Value
toJSON SchemaAttributeType' {Maybe Bool
Maybe Text
Maybe AttributeDataType
Maybe NumberAttributeConstraintsType
Maybe StringAttributeConstraintsType
mutable :: Maybe Bool
developerOnlyAttribute :: Maybe Bool
name :: Maybe Text
stringAttributeConstraints :: Maybe StringAttributeConstraintsType
attributeDataType :: Maybe AttributeDataType
required :: Maybe Bool
numberAttributeConstraints :: Maybe NumberAttributeConstraintsType
$sel:mutable:SchemaAttributeType' :: SchemaAttributeType -> Maybe Bool
$sel:developerOnlyAttribute:SchemaAttributeType' :: SchemaAttributeType -> Maybe Bool
$sel:name:SchemaAttributeType' :: SchemaAttributeType -> Maybe Text
$sel:stringAttributeConstraints:SchemaAttributeType' :: SchemaAttributeType -> Maybe StringAttributeConstraintsType
$sel:attributeDataType:SchemaAttributeType' :: SchemaAttributeType -> Maybe AttributeDataType
$sel:required:SchemaAttributeType' :: SchemaAttributeType -> Maybe Bool
$sel:numberAttributeConstraints:SchemaAttributeType' :: SchemaAttributeType -> Maybe NumberAttributeConstraintsType
..} =
[Pair] -> Value
Core.object
( [Maybe Pair] -> [Pair]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
[ (Text
"NumberAttributeConstraints" Text -> NumberAttributeConstraintsType -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Core..=)
(NumberAttributeConstraintsType -> Pair)
-> Maybe NumberAttributeConstraintsType -> Maybe Pair
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe NumberAttributeConstraintsType
numberAttributeConstraints,
(Text
"Required" Text -> Bool -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Core..=) (Bool -> Pair) -> Maybe Bool -> Maybe Pair
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe Bool
required,
(Text
"AttributeDataType" Text -> AttributeDataType -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Core..=)
(AttributeDataType -> Pair)
-> Maybe AttributeDataType -> Maybe Pair
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe AttributeDataType
attributeDataType,
(Text
"StringAttributeConstraints" Text -> StringAttributeConstraintsType -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Core..=)
(StringAttributeConstraintsType -> Pair)
-> Maybe StringAttributeConstraintsType -> Maybe Pair
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe StringAttributeConstraintsType
stringAttributeConstraints,
(Text
"Name" Text -> Text -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Core..=) (Text -> Pair) -> Maybe Text -> Maybe Pair
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe Text
name,
(Text
"DeveloperOnlyAttribute" Text -> Bool -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Core..=)
(Bool -> Pair) -> Maybe Bool -> Maybe Pair
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe Bool
developerOnlyAttribute,
(Text
"Mutable" Text -> Bool -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Core..=) (Bool -> Pair) -> Maybe Bool -> Maybe Pair
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe Bool
mutable
]
)