Arbitrary1 Maybe | |
Instance detailsDefined in Test.QuickCheck.Arbitrary |
FromJSON1 Maybe | |
Instance detailsDefined in Data.Aeson.Types.FromJSON |
ToJSON1 Maybe | |
Instance detailsDefined in Data.Aeson.Types.ToJSON |
MonadFail Maybe | Since: base-4.9.0.0 |
Instance detailsDefined in Control.Monad.Fail |
Foldable Maybe | Since: base-2.1 |
Instance detailsDefined in Data.Foldable |
Traversable Maybe | Since: base-2.1 |
Instance detailsDefined in Data.Traversable |
Alternative Maybe | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Applicative Maybe | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Functor Maybe | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Monad Maybe | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
MonadPlus Maybe | Since: base-2.1 |
Instance detailsDefined in GHC.Base |
MonadFailure Maybe | |
Instance detailsDefined in Basement.Monad |
NFData1 Maybe | Since: deepseq-1.4.3.0 |
Instance detailsDefined in Control.DeepSeq |
MonadThrow Maybe | |
Instance detailsDefined in Control.Monad.Catch |
Hashable1 Maybe | |
Instance detailsDefined in Data.Hashable.Class |
Generic1 Maybe | |
Instance detailsDefined in GHC.Generics |
MonadBaseControl Maybe Maybe | |
Instance detailsDefined in Control.Monad.Trans.Control |
(Selector s, GToJSON' enc arity (K1 i (Maybe a) :: TYPE LiftedRep -> Type), KeyValuePair enc pairs, Monoid pairs) => RecordToPairs enc pairs arity (S1 s (K1 i (Maybe a) :: TYPE LiftedRep -> Type)) | |
Instance detailsDefined in Data.Aeson.Types.ToJSON |
(PersistEntity rec, PersistField typ, SymbolToField sym rec typ) => HasField (sym :: Symbol) (SqlExpr (Maybe (Entity rec))) (SqlExpr (Value (Maybe typ))) | This instance allows you to use record.field notation with GC 9.2's
OverloadedRecordDot extension. Example: -- persistent model:
Person
name Text
BlogPost
title Text
authorId PersonId
-- query:
select $ do
(p :& bp) <- from $
table Person
leftJoin table BlogPost
on do
\(p :& bp) ->
just p.id ==. bp.authorId
pure (p.name, bp.title)
The following forms are all equivalent: blogPost :: SqlExpr (Maybe (Entity BlogPost))
blogPost ?. BlogPostTitle
blogPost ?. #title
blogPost.title
Since: esqueleto-3.5.4.0 |
Instance detailsDefined in Database.Esqueleto.Internal.Internal |
(Selector s, FromHttpApiData c) => GFromForm (t :: k) (M1 S s (K1 i (Maybe c) :: Type -> Type)) | |
Instance detailsDefined in Web.Internal.FormUrlEncoded |
(Selector s, ToHttpApiData c) => GToForm (t :: k) (M1 S s (K1 i (Maybe c) :: Type -> Type)) | |
Instance detailsDefined in Web.Internal.FormUrlEncoded |
HasAdditionalProperties Schema (Maybe AdditionalProperties) | |
Instance detailsDefined in Data.Swagger.Lens |
HasAllOf Schema (Maybe [Referenced Schema]) | |
Instance detailsDefined in Data.Swagger.Lens |
HasAllowEmptyValue ParamOtherSchema (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasAttribute Xml (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasBasePath Swagger (Maybe FilePath) | |
Instance detailsDefined in Data.Swagger.Lens |
HasConsumes Operation (Maybe MimeList) | |
Instance detailsDefined in Data.Swagger.Lens |
HasContact Info (Maybe Contact) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDefault Header (Maybe Value) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDefault ParamOtherSchema (Maybe Value) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDefault Responses (Maybe (Referenced Response)) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDefault Schema (Maybe Value) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDelete PathItem (Maybe Operation) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDeprecated Operation (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDescription ExternalDocs (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDescription Header (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDescription Info (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDescription Operation (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDescription Param (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDescription Schema (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDescription SecurityScheme (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDescription Tag (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasDiscriminator Schema (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasEmail Contact (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasEnum s (Maybe [Value]) | |
Instance detailsDefined in Data.Swagger.Lens |
HasExample Schema (Maybe Value) | |
Instance detailsDefined in Data.Swagger.Lens |
HasExamples Response (Maybe Example) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasExclusiveMaximum s (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasExclusiveMinimum s (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasExternalDocs Operation (Maybe ExternalDocs) | |
Instance detailsDefined in Data.Swagger.Lens |
HasExternalDocs Schema (Maybe ExternalDocs) | |
Instance detailsDefined in Data.Swagger.Lens |
HasExternalDocs Swagger (Maybe ExternalDocs) | |
Instance detailsDefined in Data.Swagger.Lens |
HasExternalDocs Tag (Maybe ExternalDocs) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasFormat s (Maybe Format) | |
Instance detailsDefined in Data.Swagger.Lens |
HasGet PathItem (Maybe Operation) | |
Instance detailsDefined in Data.Swagger.Lens |
HasHead PathItem (Maybe Operation) | |
Instance detailsDefined in Data.Swagger.Lens |
HasHost Swagger (Maybe Host) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasItems s (Maybe (SwaggerItems t)) | |
Instance detailsDefined in Data.Swagger.Lens |
HasLicense Info (Maybe License) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasMaxItems s (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasMaxLength s (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMaxProperties Schema (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasMaximum s (Maybe Scientific) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasMinItems s (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasMinLength s (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMinProperties Schema (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasMinimum s (Maybe Scientific) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasMultipleOf s (Maybe Scientific) | |
Instance detailsDefined in Data.Swagger.Lens |
HasName Contact (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasName NamedSchema (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasName Xml (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasNamespace Xml (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasOperationId Operation (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasOptions PathItem (Maybe Operation) | |
Instance detailsDefined in Data.Swagger.Lens |
HasPatch PathItem (Maybe Operation) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasPattern s (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasPort Host (Maybe PortNumber) | |
Instance detailsDefined in Data.Swagger.Lens |
HasPost PathItem (Maybe Operation) | |
Instance detailsDefined in Data.Swagger.Lens |
HasPrefix Xml (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasProduces Operation (Maybe MimeList) | |
Instance detailsDefined in Data.Swagger.Lens |
HasPut PathItem (Maybe Operation) | |
Instance detailsDefined in Data.Swagger.Lens |
HasReadOnly Schema (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasRequired Param (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasSchema Response (Maybe (Referenced Schema)) | |
Instance detailsDefined in Data.Swagger.Lens |
HasSchemes Operation (Maybe [Scheme]) | |
Instance detailsDefined in Data.Swagger.Lens |
HasSchemes Swagger (Maybe [Scheme]) | |
Instance detailsDefined in Data.Swagger.Lens |
HasSummary Operation (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasTermsOfService Info (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasTitle Schema (Maybe Text) | |
Instance detailsDefined in Data.Swagger.Lens |
HasType Header (Maybe (SwaggerType ('SwaggerKindNormal Header))) | |
Instance detailsDefined in Data.Swagger.Lens |
HasType NamedSchema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) | |
Instance detailsDefined in Data.Swagger.Lens |
HasType ParamOtherSchema (Maybe (SwaggerType ('SwaggerKindParamOtherSchema :: SwaggerKind Type))) | |
Instance detailsDefined in Data.Swagger.Lens |
HasType Schema (Maybe (SwaggerType ('SwaggerKindSchema :: SwaggerKind Type))) | |
Instance detailsDefined in Data.Swagger.Lens |
HasParamSchema s (ParamSchema t) => HasUniqueItems s (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasUrl Contact (Maybe URL) | |
Instance detailsDefined in Data.Swagger.Lens |
HasUrl License (Maybe URL) | |
Instance detailsDefined in Data.Swagger.Lens |
HasWrapped Xml (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasXml Schema (Maybe Xml) | |
Instance detailsDefined in Data.Swagger.Lens |
Lift a => Lift (Maybe a :: Type) | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
(Selector s, FromJSON a) => RecordFromJSON' arity (S1 s (K1 i (Maybe a) :: Type -> Type)) | |
Instance detailsDefined in Data.Aeson.Types.FromJSON |
Arbitrary a => Arbitrary (Maybe a) | |
Instance detailsDefined in Test.QuickCheck.Arbitrary |
CoArbitrary a => CoArbitrary (Maybe a) | |
Instance detailsDefined in Test.QuickCheck.Arbitrary |
FromJSON a => FromJSON (Maybe a) | |
Instance detailsDefined in Data.Aeson.Types.FromJSON |
ToJSON a => ToJSON (Maybe a) | |
Instance detailsDefined in Data.Aeson.Types.ToJSON |
Semigroup a => Monoid (Maybe a) | Lift a semigroup into Maybe forming a Monoid according to
http://en.wikipedia.org/wiki/Monoid: "Any semigroup S may be
turned into a monoid simply by adjoining an element e not in S
and defining e*e = e and e*s = s = s*e for all s ∈ S ." Since 4.11.0: constraint on inner a value generalised from
Monoid to Semigroup . Since: base-2.1 |
Instance detailsDefined in GHC.Base |
Semigroup a => Semigroup (Maybe a) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Base |
Generic (Maybe a) | |
Instance detailsDefined in GHC.Generics |
SingKind a => SingKind (Maybe a) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics Associated Types type DemoteRep (Maybe a) |
Read a => Read (Maybe a) | Since: base-2.1 |
Instance detailsDefined in GHC.Read |
Show a => Show (Maybe a) | Since: base-2.1 |
Instance detailsDefined in GHC.Show |
Val a => Val (Maybe a) | |
Instance detailsDefined in Data.Bson |
FromField a => FromField (Maybe a) | Nothing if the Field is empty , Just otherwise.
|
Instance detailsDefined in Data.Csv.Conversion |
ToField a => ToField (Maybe a) | Nothing is encoded as an empty field.
|
Instance detailsDefined in Data.Csv.Conversion |
NFData a => NFData (Maybe a) | |
Instance detailsDefined in Control.DeepSeq |
ToMaybe (SqlExpr (Maybe a)) | |
Instance detailsDefined in Database.Esqueleto.Experimental.ToMaybe |
FromPreprocess (SqlExpr (Maybe (Entity val))) => From (SqlExpr (Maybe (Entity val))) | |
Instance detailsDefined in Database.Esqueleto.Internal.Internal |
(PersistEntity val, BackendCompatible SqlBackend (PersistEntityBackend val)) => FromPreprocess (SqlExpr (Maybe (Entity val))) | |
Instance detailsDefined in Database.Esqueleto.Internal.Internal |
SqlString a => SqlString (Maybe a) | Since: esqueleto-2.4.0 |
Instance detailsDefined in Database.Esqueleto.Internal.Internal |
Eq a => Eq (Maybe a) | Since: base-2.1 |
Instance detailsDefined in GHC.Maybe |
Ord a => Ord (Maybe a) | Since: base-2.1 |
Instance detailsDefined in GHC.Maybe |
Hashable a => Hashable (Maybe a) | |
Instance detailsDefined in Data.Hashable.Class |
FromHttpApiData a => FromHttpApiData (Maybe a) | >>> parseUrlPiece "Just 123" :: Either Text (Maybe Int)
Right (Just 123)
|
Instance detailsDefined in Web.Internal.HttpApiData |
ToHttpApiData a => ToHttpApiData (Maybe a) | >>> toUrlPiece (Just "Hello")
"just Hello"
|
Instance detailsDefined in Web.Internal.HttpApiData |
At (Maybe a) | |
Instance detailsDefined in Control.Lens.At |
Ixed (Maybe a) | |
Instance detailsDefined in Control.Lens.At |
MonoFoldable (Maybe a) | |
Instance detailsDefined in Data.MonoTraversable |
MonoFunctor (Maybe a) | |
Instance detailsDefined in Data.MonoTraversable |
MonoPointed (Maybe a) | |
Instance detailsDefined in Data.MonoTraversable |
MonoTraversable (Maybe a) | |
Instance detailsDefined in Data.MonoTraversable |
At (Maybe a) | |
Instance detailsDefined in Optics.At.Core |
Ixed (Maybe a) | |
Instance detailsDefined in Optics.At.Core |
PersistField a => PersistField (Maybe a) | |
Instance detailsDefined in Database.Persist.Class.PersistField |
PersistFieldSql a => PersistFieldSql (Maybe a) | |
Instance detailsDefined in Database.Persist.Sql.Class |
RawSql a => RawSql (Maybe a) | Since: persistent-1.0.1 |
Instance detailsDefined in Database.Persist.Sql.Class |
MongoRegexSearchable rs => MongoRegexSearchable (Maybe rs) | |
Instance detailsDefined in Database.Persist.MongoDB |
ToSchema a => ToSchema (Maybe a) | |
Instance detailsDefined in Data.Swagger.Internal.Schema |
SingI ('Nothing :: Maybe a) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
PersistEntity a => SqlSelect (SqlExpr (Maybe (Entity a))) (Maybe (Entity a)) | You may return a possibly-NULL Entity from a select query. |
Instance detailsDefined in Database.Esqueleto.Internal.Internal |
HasDefault (ParamSchema t) (Maybe Value) | |
Instance detailsDefined in Data.Swagger.Lens |
HasEnum (ParamSchema t) (Maybe [Value]) | |
Instance detailsDefined in Data.Swagger.Lens |
HasExclusiveMaximum (ParamSchema t) (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasExclusiveMinimum (ParamSchema t) (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
HasFormat (ParamSchema t) (Maybe Format) | |
Instance detailsDefined in Data.Swagger.Lens |
HasItems (ParamSchema t) (Maybe (SwaggerItems t)) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMaxItems (ParamSchema t) (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMaxLength (ParamSchema t) (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMaximum (ParamSchema t) (Maybe Scientific) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMinItems (ParamSchema t) (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMinLength (ParamSchema t) (Maybe Integer) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMinimum (ParamSchema t) (Maybe Scientific) | |
Instance detailsDefined in Data.Swagger.Lens |
HasMultipleOf (ParamSchema t) (Maybe Scientific) | |
Instance detailsDefined in Data.Swagger.Lens |
HasPattern (ParamSchema t) (Maybe Pattern) | |
Instance detailsDefined in Data.Swagger.Lens |
HasType (ParamSchema t) (Maybe (SwaggerType t)) | |
Instance detailsDefined in Data.Swagger.Lens |
HasUniqueItems (ParamSchema t) (Maybe Bool) | |
Instance detailsDefined in Data.Swagger.Lens |
SingI a2 => SingI ('Just a2 :: Maybe a1) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
a ~ a' => FindGen ('Match 'INCOHERENT) ('S _fg _coh '(con, i, 'Just s)) (FieldGen s a) gs a' | Matching custom generator for field s . |
Instance detailsDefined in Generic.Random.Internal.Generic |
a ~ a' => FindGen ('Match 'INCOHERENT) ('S _fg _coh '('Just c, i, s)) (ConstrGen c i a) gs a' | Matching custom generator for i -th field of constructor c . |
Instance detailsDefined in Generic.Random.Internal.Generic |
ToSchema c => GToSchema (K1 i (Maybe c) :: Type -> Type) | |
Instance detailsDefined in Data.Swagger.Internal.Schema |
(Selector s, ToSchema c) => GToSchema (S1 s (K1 i (Maybe c) :: Type -> Type)) | Optional record fields. |
Instance detailsDefined in Data.Swagger.Internal.Schema |
type Failure Maybe | |
Instance detailsDefined in Basement.Monad |
type Rep1 Maybe | Since: base-4.6.0.0 |
Instance detailsDefined in GHC.Generics |
type StM Maybe a | |
Instance detailsDefined in Control.Monad.Trans.Control |
type DemoteRep (Maybe a) | |
Instance detailsDefined in GHC.Generics |
type Rep (Maybe a) | Since: base-4.6.0.0 |
Instance detailsDefined in GHC.Generics |
data Sing (b :: Maybe a) | |
Instance detailsDefined in GHC.Generics data Sing (b :: Maybe a) where |
type ToMaybeT (SqlExpr (Maybe a)) | |
Instance detailsDefined in Database.Esqueleto.Experimental.ToMaybe |
type Code (Maybe a) | |
Instance detailsDefined in Generics.SOP.Instances |
type DatatypeInfoOf (Maybe a) | |
Instance detailsDefined in Generics.SOP.Instances |
type Index (Maybe a) | |
Instance detailsDefined in Control.Lens.At |
type IxValue (Maybe a) | |
Instance detailsDefined in Control.Lens.At |
type Element (Maybe a) | |
Instance detailsDefined in Data.MonoTraversable |
type Index (Maybe a) | |
Instance detailsDefined in Optics.At.Core |
type IxKind (Maybe a) | |
Instance detailsDefined in Optics.At.Core |
type IxValue (Maybe a) | |
Instance detailsDefined in Optics.At.Core |