Safe Haskell	Safe-Inferred
Language	Haskell2010

Hpack.Yaml

Synopsis

decodeYaml :: FilePath -> IO (Either String ([String], Value))
decodeYamlWithParseError :: FilePath -> IO (Either ParseException ([String], Value))
data ParseException
formatYamlParseError :: FilePath -> ParseException -> String
formatWarning :: FilePath -> Warning -> String
class FromValue a where
- fromValue :: Value -> Parser a
data Parser a
type Result a = Either String (a, [String], [(String, String)])
decodeValue :: FromValue a => Value -> Result a
class Generic a
class GenericDecode f
genericFromValue :: forall a d m. (Generic a, Rep a ~ D1 d m, Datatype d, GenericDecode (Rep a)) => Value -> Parser a
data Options = Options {
- optionsRecordSelectorModifier :: String -> String
}
genericFromValueWith :: (Generic a, GenericDecode (Rep a)) => Options -> Value -> Parser a
typeMismatch :: String -> Value -> Parser a
withObject :: (Object -> Parser a) -> Value -> Parser a
withText :: (Text -> Parser a) -> Value -> Parser a
withString :: (String -> Parser a) -> Value -> Parser a
withArray :: (Array -> Parser a) -> Value -> Parser a
withNumber :: (Scientific -> Parser a) -> Value -> Parser a
withBool :: (Bool -> Parser a) -> Value -> Parser a
parseArray :: (Value -> Parser a) -> Array -> Parser [a]
traverseObject :: (Value -> Parser a) -> Object -> Parser [(Key, a)]
(.:) :: FromValue a => Object -> Key -> Parser a
(.:?) :: FromValue a => Object -> Key -> Parser (Maybe a)
data Key
data Value
- = Object !Object
- | Array !Array
- | String !Text
- | Number !Scientific
- | Bool !Bool
- | Null
type Object = KeyMap Value
type Array = Vector Value
newtype Alias (deprecated :: Bool) (alias :: Symbol) a = Alias a
unAlias :: Alias deprecated alias a -> a

Documentation

NOTE: This module is exposed to allow integration of Hpack into other tools. It is not meant for general use by end users. The following caveats apply:

The API is undocumented, consult the source instead.
The exposed types and functions primarily serve Hpack's own needs, not that of a public API. Breaking changes can happen as Hpack evolves.

As an Hpack user you either want to use the hpack executable or a build tool that supports Hpack (e.g. stack or cabal2nix).

decodeYaml :: FilePath -> IO (Either String ([String], Value)) Source #

decodeYamlWithParseError :: FilePath -> IO (Either ParseException ([String], Value)) Source #

data ParseException #

Instances

Instances details

Exception ParseException
Instance details Defined in Data.Yaml.Internal Methods toException :: ParseException -> SomeException fromException :: SomeException -> Maybe ParseException displayException :: ParseException -> String
Show ParseException
Instance details Defined in Data.Yaml.Internal Methods showsPrec :: Int -> ParseException -> ShowS show :: ParseException -> String showList :: [ParseException] -> ShowS

formatYamlParseError :: FilePath -> ParseException -> String Source #

formatWarning :: FilePath -> Warning -> String Source #

class FromValue a where Source #

Minimal complete definition

Nothing

Methods

fromValue :: Value -> Parser a Source #

default fromValue :: forall d m. (Generic a, Rep a ~ D1 d m, Datatype d, GenericDecode (Rep a)) => Value -> Parser a Source #

Instances

Instances details

FromValue BuildType Source #
Instance details Defined in Hpack.Config Methods fromValue :: Value -> Parser BuildType Source #
FromValue Cond Source #
Instance details Defined in Hpack.Config Methods fromValue :: Value -> Parser Cond Source #
FromValue Language Source #
Instance details Defined in Hpack.Config Methods fromValue :: Value -> Parser Language Source #
FromValue Verbatim Source #
Instance details Defined in Hpack.Config Methods fromValue :: Value -> Parser Verbatim Source #
FromValue VerbatimValue Source #
Instance details Defined in Hpack.Config Methods fromValue :: Value -> Parser VerbatimValue Source #
FromValue Module Source #
Instance details Defined in Hpack.Module Methods fromValue :: Value -> Parser Module Source #
FromValue SystemBuildTools Source #
Instance details Defined in Hpack.Syntax.BuildTools Methods fromValue :: Value -> Parser SystemBuildTools Source #
FromValue Dependencies Source #
Instance details Defined in Hpack.Syntax.Dependencies Methods fromValue :: Value -> Parser Dependencies Source #
FromValue VersionConstraint Source #
Instance details Defined in Hpack.Syntax.DependencyVersion Methods fromValue :: Value -> Parser VersionConstraint Source #
FromValue Text Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser Text Source #
FromValue String Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser String Source #
FromValue Bool Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser Bool Source #
FromValue Int Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser Int Source #
FromValue a => FromValue (Maybe a) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser (Maybe a) Source #
FromValue a => FromValue [a] Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser [a] Source #
(FromValue a, FromValue b) => FromValue (Either a b) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser (Either a b) Source #
FromValue a => FromValue (Map String a) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser (Map String a) Source #
(FromValue a, FromValue b) => FromValue (a, b) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fromValue :: Value -> Parser (a, b) Source #

data Parser a Source #

Instances

Instances details

MonadFail Parser Source #
Instance details Defined in Data.Aeson.Config.Parser Methods fail :: String -> Parser a
Alternative Parser Source #
Instance details Defined in Data.Aeson.Config.Parser Methods empty :: Parser a (<\|>) :: Parser a -> Parser a -> Parser a some :: Parser a -> Parser [a] many :: Parser a -> Parser [a]
Applicative Parser Source #
Instance details Defined in Data.Aeson.Config.Parser Methods pure :: a -> Parser a (<>) :: Parser (a -> b) -> Parser a -> Parser b liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c (>) :: Parser a -> Parser b -> Parser b (<*) :: Parser a -> Parser b -> Parser a
Functor Parser Source #
Instance details Defined in Data.Aeson.Config.Parser Methods fmap :: (a -> b) -> Parser a -> Parser b (<$) :: a -> Parser b -> Parser a
Monad Parser Source #
Instance details Defined in Data.Aeson.Config.Parser Methods (>>=) :: Parser a -> (a -> Parser b) -> Parser b (>>) :: Parser a -> Parser b -> Parser b return :: a -> Parser a

type Result a = Either String (a, [String], [(String, String)]) Source #

decodeValue :: FromValue a => Value -> Result a Source #

class Generic a #

Minimal complete definition

from, to

Instances

Instances details

Generic CabalSpecVersion
Instance details Defined in Distribution.CabalSpecVersion Associated Types type Rep CabalSpecVersion :: Type -> Type Methods from :: CabalSpecVersion -> Rep CabalSpecVersion x to :: Rep CabalSpecVersion x -> CabalSpecVersion
Generic License
Instance details Defined in Distribution.License Associated Types type Rep License :: Type -> Type Methods from :: License -> Rep License x to :: Rep License x -> License
Generic ModuleName
Instance details Defined in Distribution.ModuleName Associated Types type Rep ModuleName :: Type -> Type Methods from :: ModuleName -> Rep ModuleName x to :: Rep ModuleName x -> ModuleName
Generic PError
Instance details Defined in Distribution.Parsec.Error Associated Types type Rep PError :: Type -> Type Methods from :: PError -> Rep PError x to :: Rep PError x -> PError
Generic Position
Instance details Defined in Distribution.Parsec.Position Associated Types type Rep Position :: Type -> Type Methods from :: Position -> Rep Position x to :: Rep Position x -> Position
Generic PWarnType
Instance details Defined in Distribution.Parsec.Warning Associated Types type Rep PWarnType :: Type -> Type Methods from :: PWarnType -> Rep PWarnType x to :: Rep PWarnType x -> PWarnType
Generic PWarning
Instance details Defined in Distribution.Parsec.Warning Associated Types type Rep PWarning :: Type -> Type Methods from :: PWarning -> Rep PWarning x to :: Rep PWarning x -> PWarning
Generic License
Instance details Defined in Distribution.SPDX.License Associated Types type Rep License :: Type -> Type Methods from :: License -> Rep License x to :: Rep License x -> License
Generic LicenseExceptionId
Instance details Defined in Distribution.SPDX.LicenseExceptionId Associated Types type Rep LicenseExceptionId :: Type -> Type Methods from :: LicenseExceptionId -> Rep LicenseExceptionId x to :: Rep LicenseExceptionId x -> LicenseExceptionId
Generic LicenseExpression
Instance details Defined in Distribution.SPDX.LicenseExpression Associated Types type Rep LicenseExpression :: Type -> Type Methods from :: LicenseExpression -> Rep LicenseExpression x to :: Rep LicenseExpression x -> LicenseExpression
Generic SimpleLicenseExpression
Instance details Defined in Distribution.SPDX.LicenseExpression Associated Types type Rep SimpleLicenseExpression :: Type -> Type Methods from :: SimpleLicenseExpression -> Rep SimpleLicenseExpression x to :: Rep SimpleLicenseExpression x -> SimpleLicenseExpression
Generic LicenseRef
Instance details Defined in Distribution.SPDX.LicenseReference Associated Types type Rep LicenseRef :: Type -> Type Methods from :: LicenseRef -> Rep LicenseRef x to :: Rep LicenseRef x -> LicenseRef
Generic AbiHash
Instance details Defined in Distribution.Types.AbiHash Associated Types type Rep AbiHash :: Type -> Type Methods from :: AbiHash -> Rep AbiHash x to :: Rep AbiHash x -> AbiHash
Generic ComponentId
Instance details Defined in Distribution.Types.ComponentId Associated Types type Rep ComponentId :: Type -> Type Methods from :: ComponentId -> Rep ComponentId x to :: Rep ComponentId x -> ComponentId
Generic ComponentName
Instance details Defined in Distribution.Types.ComponentName Associated Types type Rep ComponentName :: Type -> Type Methods from :: ComponentName -> Rep ComponentName x to :: Rep ComponentName x -> ComponentName
Generic NotLibComponentName
Instance details Defined in Distribution.Types.ComponentName Associated Types type Rep NotLibComponentName :: Type -> Type Methods from :: NotLibComponentName -> Rep NotLibComponentName x to :: Rep NotLibComponentName x -> NotLibComponentName
Generic Dependency
Instance details Defined in Distribution.Types.Dependency Associated Types type Rep Dependency :: Type -> Type Methods from :: Dependency -> Rep Dependency x to :: Rep Dependency x -> Dependency
Generic ExeDependency
Instance details Defined in Distribution.Types.ExeDependency Associated Types type Rep ExeDependency :: Type -> Type Methods from :: ExeDependency -> Rep ExeDependency x to :: Rep ExeDependency x -> ExeDependency
Generic LegacyExeDependency
Instance details Defined in Distribution.Types.LegacyExeDependency Associated Types type Rep LegacyExeDependency :: Type -> Type Methods from :: LegacyExeDependency -> Rep LegacyExeDependency x to :: Rep LegacyExeDependency x -> LegacyExeDependency
Generic LibraryName
Instance details Defined in Distribution.Types.LibraryName Associated Types type Rep LibraryName :: Type -> Type Methods from :: LibraryName -> Rep LibraryName x to :: Rep LibraryName x -> LibraryName
Generic Module
Instance details Defined in Distribution.Types.Module Associated Types type Rep Module :: Type -> Type Methods from :: Module -> Rep Module x to :: Rep Module x -> Module
Generic MungedPackageId
Instance details Defined in Distribution.Types.MungedPackageId Associated Types type Rep MungedPackageId :: Type -> Type Methods from :: MungedPackageId -> Rep MungedPackageId x to :: Rep MungedPackageId x -> MungedPackageId
Generic MungedPackageName
Instance details Defined in Distribution.Types.MungedPackageName Associated Types type Rep MungedPackageName :: Type -> Type Methods from :: MungedPackageName -> Rep MungedPackageName x to :: Rep MungedPackageName x -> MungedPackageName
Generic PackageIdentifier
Instance details Defined in Distribution.Types.PackageId Associated Types type Rep PackageIdentifier :: Type -> Type Methods from :: PackageIdentifier -> Rep PackageIdentifier x to :: Rep PackageIdentifier x -> PackageIdentifier
Generic PackageName
Instance details Defined in Distribution.Types.PackageName Associated Types type Rep PackageName :: Type -> Type Methods from :: PackageName -> Rep PackageName x to :: Rep PackageName x -> PackageName
Generic PkgconfigName
Instance details Defined in Distribution.Types.PkgconfigName Associated Types type Rep PkgconfigName :: Type -> Type Methods from :: PkgconfigName -> Rep PkgconfigName x to :: Rep PkgconfigName x -> PkgconfigName
Generic DefUnitId
Instance details Defined in Distribution.Types.UnitId Associated Types type Rep DefUnitId :: Type -> Type Methods from :: DefUnitId -> Rep DefUnitId x to :: Rep DefUnitId x -> DefUnitId
Generic UnitId
Instance details Defined in Distribution.Types.UnitId Associated Types type Rep UnitId :: Type -> Type Methods from :: UnitId -> Rep UnitId x to :: Rep UnitId x -> UnitId
Generic UnqualComponentName
Instance details Defined in Distribution.Types.UnqualComponentName Associated Types type Rep UnqualComponentName :: Type -> Type Methods from :: UnqualComponentName -> Rep UnqualComponentName x to :: Rep UnqualComponentName x -> UnqualComponentName
Generic Version
Instance details Defined in Distribution.Types.Version Associated Types type Rep Version :: Type -> Type Methods from :: Version -> Rep Version x to :: Rep Version x -> Version
Generic VersionRange
Instance details Defined in Distribution.Types.VersionRange.Internal Associated Types type Rep VersionRange :: Type -> Type Methods from :: VersionRange -> Rep VersionRange x to :: Rep VersionRange x -> VersionRange
Generic ShortText
Instance details Defined in Distribution.Utils.ShortText Associated Types type Rep ShortText :: Type -> Type Methods from :: ShortText -> Rep ShortText x to :: Rep ShortText x -> ShortText
Generic Structure
Instance details Defined in Distribution.Utils.Structured Associated Types type Rep Structure :: Type -> Type Methods from :: Structure -> Rep Structure x to :: Rep Structure x -> Structure
Generic Value
Instance details Defined in Data.Aeson.Types.Internal Associated Types type Rep Value :: Type -> Type Methods from :: Value -> Rep Value x to :: Rep Value x -> Value
Generic All
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep All :: Type -> Type Methods from :: All -> Rep All x to :: Rep All x -> All
Generic Any
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep Any :: Type -> Type Methods from :: Any -> Rep Any x to :: Rep Any x -> Any
Generic Version
Instance details Defined in Data.Version Associated Types type Rep Version :: Type -> Type Methods from :: Version -> Rep Version x to :: Rep Version x -> Version
Generic Void
Instance details Defined in GHC.Generics Associated Types type Rep Void :: Type -> Type Methods from :: Void -> Rep Void x to :: Rep Void x -> Void
Generic Fingerprint
Instance details Defined in GHC.Generics Associated Types type Rep Fingerprint :: Type -> Type Methods from :: Fingerprint -> Rep Fingerprint x to :: Rep Fingerprint x -> Fingerprint
Generic Associativity
Instance details Defined in GHC.Generics Associated Types type Rep Associativity :: Type -> Type Methods from :: Associativity -> Rep Associativity x to :: Rep Associativity x -> Associativity
Generic DecidedStrictness
Instance details Defined in GHC.Generics Associated Types type Rep DecidedStrictness :: Type -> Type Methods from :: DecidedStrictness -> Rep DecidedStrictness x to :: Rep DecidedStrictness x -> DecidedStrictness
Generic Fixity
Instance details Defined in GHC.Generics Associated Types type Rep Fixity :: Type -> Type Methods from :: Fixity -> Rep Fixity x to :: Rep Fixity x -> Fixity
Generic SourceStrictness
Instance details Defined in GHC.Generics Associated Types type Rep SourceStrictness :: Type -> Type Methods from :: SourceStrictness -> Rep SourceStrictness x to :: Rep SourceStrictness x -> SourceStrictness
Generic SourceUnpackedness
Instance details Defined in GHC.Generics Associated Types type Rep SourceUnpackedness :: Type -> Type Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x to :: Rep SourceUnpackedness x -> SourceUnpackedness
Generic ExitCode
Instance details Defined in GHC.IO.Exception Associated Types type Rep ExitCode :: Type -> Type Methods from :: ExitCode -> Rep ExitCode x to :: Rep ExitCode x -> ExitCode
Generic CCFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep CCFlags :: Type -> Type Methods from :: CCFlags -> Rep CCFlags x to :: Rep CCFlags x -> CCFlags
Generic ConcFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ConcFlags :: Type -> Type Methods from :: ConcFlags -> Rep ConcFlags x to :: Rep ConcFlags x -> ConcFlags
Generic DebugFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DebugFlags :: Type -> Type Methods from :: DebugFlags -> Rep DebugFlags x to :: Rep DebugFlags x -> DebugFlags
Generic DoCostCentres
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoCostCentres :: Type -> Type Methods from :: DoCostCentres -> Rep DoCostCentres x to :: Rep DoCostCentres x -> DoCostCentres
Generic DoHeapProfile
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoHeapProfile :: Type -> Type Methods from :: DoHeapProfile -> Rep DoHeapProfile x to :: Rep DoHeapProfile x -> DoHeapProfile
Generic DoTrace
Instance details Defined in GHC.RTS.Flags Associated Types type Rep DoTrace :: Type -> Type Methods from :: DoTrace -> Rep DoTrace x to :: Rep DoTrace x -> DoTrace
Generic GCFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep GCFlags :: Type -> Type Methods from :: GCFlags -> Rep GCFlags x to :: Rep GCFlags x -> GCFlags
Generic GiveGCStats
Instance details Defined in GHC.RTS.Flags Associated Types type Rep GiveGCStats :: Type -> Type Methods from :: GiveGCStats -> Rep GiveGCStats x to :: Rep GiveGCStats x -> GiveGCStats
Generic MiscFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep MiscFlags :: Type -> Type Methods from :: MiscFlags -> Rep MiscFlags x to :: Rep MiscFlags x -> MiscFlags
Generic ParFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ParFlags :: Type -> Type Methods from :: ParFlags -> Rep ParFlags x to :: Rep ParFlags x -> ParFlags
Generic ProfFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep ProfFlags :: Type -> Type Methods from :: ProfFlags -> Rep ProfFlags x to :: Rep ProfFlags x -> ProfFlags
Generic RTSFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep RTSFlags :: Type -> Type Methods from :: RTSFlags -> Rep RTSFlags x to :: Rep RTSFlags x -> RTSFlags
Generic TickyFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep TickyFlags :: Type -> Type Methods from :: TickyFlags -> Rep TickyFlags x to :: Rep TickyFlags x -> TickyFlags
Generic TraceFlags
Instance details Defined in GHC.RTS.Flags Associated Types type Rep TraceFlags :: Type -> Type Methods from :: TraceFlags -> Rep TraceFlags x to :: Rep TraceFlags x -> TraceFlags
Generic SrcLoc
Instance details Defined in GHC.Generics Associated Types type Rep SrcLoc :: Type -> Type Methods from :: SrcLoc -> Rep SrcLoc x to :: Rep SrcLoc x -> SrcLoc
Generic GCDetails
Instance details Defined in GHC.Stats Associated Types type Rep GCDetails :: Type -> Type Methods from :: GCDetails -> Rep GCDetails x to :: Rep GCDetails x -> GCDetails
Generic RTSStats
Instance details Defined in GHC.Stats Associated Types type Rep RTSStats :: Type -> Type Methods from :: RTSStats -> Rep RTSStats x to :: Rep RTSStats x -> RTSStats
Generic GeneralCategory
Instance details Defined in GHC.Generics Associated Types type Rep GeneralCategory :: Type -> Type Methods from :: GeneralCategory -> Rep GeneralCategory x to :: Rep GeneralCategory x -> GeneralCategory
Generic OsChar
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep OsChar :: Type -> Type Methods from :: OsChar -> Rep OsChar x to :: Rep OsChar x -> OsChar
Generic OsString
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep OsString :: Type -> Type Methods from :: OsString -> Rep OsString x to :: Rep OsString x -> OsString
Generic PosixChar
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep PosixChar :: Type -> Type Methods from :: PosixChar -> Rep PosixChar x to :: Rep PosixChar x -> PosixChar
Generic PosixString
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep PosixString :: Type -> Type Methods from :: PosixString -> Rep PosixString x to :: Rep PosixString x -> PosixString
Generic WindowsChar
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep WindowsChar :: Type -> Type Methods from :: WindowsChar -> Rep WindowsChar x to :: Rep WindowsChar x -> WindowsChar
Generic WindowsString
Instance details Defined in System.OsString.Internal.Types.Hidden Associated Types type Rep WindowsString :: Type -> Type Methods from :: WindowsString -> Rep WindowsString x to :: Rep WindowsString x -> WindowsString
Generic ForeignSrcLang
Instance details Defined in GHC.ForeignSrcLang.Type Associated Types type Rep ForeignSrcLang :: Type -> Type Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x to :: Rep ForeignSrcLang x -> ForeignSrcLang
Generic Extension
Instance details Defined in GHC.LanguageExtensions.Type Associated Types type Rep Extension :: Type -> Type Methods from :: Extension -> Rep Extension x to :: Rep Extension x -> Extension
Generic Ordering
Instance details Defined in GHC.Generics Associated Types type Rep Ordering :: Type -> Type Methods from :: Ordering -> Rep Ordering x to :: Rep Ordering x -> Ordering
Generic ByteRange
Instance details Defined in Network.HTTP.Types.Header Associated Types type Rep ByteRange :: Type -> Type Methods from :: ByteRange -> Rep ByteRange x to :: Rep ByteRange x -> ByteRange
Generic StdMethod
Instance details Defined in Network.HTTP.Types.Method Associated Types type Rep StdMethod :: Type -> Type Methods from :: StdMethod -> Rep StdMethod x to :: Rep StdMethod x -> StdMethod
Generic Status
Instance details Defined in Network.HTTP.Types.Status Associated Types type Rep Status :: Type -> Type Methods from :: Status -> Rep Status x to :: Rep Status x -> Status
Generic HttpVersion
Instance details Defined in Network.HTTP.Types.Version Associated Types type Rep HttpVersion :: Type -> Type Methods from :: HttpVersion -> Rep HttpVersion x to :: Rep HttpVersion x -> HttpVersion
Generic IP
Instance details Defined in Data.IP.Addr Associated Types type Rep IP :: Type -> Type Methods from :: IP -> Rep IP x to :: Rep IP x -> IP
Generic IPv4
Instance details Defined in Data.IP.Addr Associated Types type Rep IPv4 :: Type -> Type Methods from :: IPv4 -> Rep IPv4 x to :: Rep IPv4 x -> IPv4
Generic IPv6
Instance details Defined in Data.IP.Addr Associated Types type Rep IPv6 :: Type -> Type Methods from :: IPv6 -> Rep IPv6 x to :: Rep IPv6 x -> IPv6
Generic IPRange
Instance details Defined in Data.IP.Range Associated Types type Rep IPRange :: Type -> Type Methods from :: IPRange -> Rep IPRange x to :: Rep IPRange x -> IPRange
Generic URI
Instance details Defined in Network.URI Associated Types type Rep URI :: Type -> Type Methods from :: URI -> Rep URI x to :: Rep URI x -> URI
Generic URIAuth
Instance details Defined in Network.URI Associated Types type Rep URIAuth :: Type -> Type Methods from :: URIAuth -> Rep URIAuth x to :: Rep URIAuth x -> URIAuth
Generic OsChar
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep OsChar :: Type -> Type Methods from :: OsChar -> Rep OsChar x to :: Rep OsChar x -> OsChar
Generic OsString
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep OsString :: Type -> Type Methods from :: OsString -> Rep OsString x to :: Rep OsString x -> OsString
Generic PosixChar
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep PosixChar :: Type -> Type Methods from :: PosixChar -> Rep PosixChar x to :: Rep PosixChar x -> PosixChar
Generic PosixString
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep PosixString :: Type -> Type Methods from :: PosixString -> Rep PosixString x to :: Rep PosixString x -> PosixString
Generic WindowsChar
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep WindowsChar :: Type -> Type Methods from :: WindowsChar -> Rep WindowsChar x to :: Rep WindowsChar x -> WindowsChar
Generic WindowsString
Instance details Defined in System.OsString.Internal.Types Associated Types type Rep WindowsString :: Type -> Type Methods from :: WindowsString -> Rep WindowsString x to :: Rep WindowsString x -> WindowsString
Generic Mode
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Mode :: Type -> Type Methods from :: Mode -> Rep Mode x to :: Rep Mode x -> Mode
Generic Style
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Style :: Type -> Type Methods from :: Style -> Rep Style x to :: Rep Style x -> Style
Generic TextDetails
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep TextDetails :: Type -> Type Methods from :: TextDetails -> Rep TextDetails x to :: Rep TextDetails x -> TextDetails
Generic Doc
Instance details Defined in Text.PrettyPrint.HughesPJ Associated Types type Rep Doc :: Type -> Type Methods from :: Doc -> Rep Doc x to :: Rep Doc x -> Doc
Generic AnnLookup
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnLookup :: Type -> Type Methods from :: AnnLookup -> Rep AnnLookup x to :: Rep AnnLookup x -> AnnLookup
Generic AnnTarget
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnTarget :: Type -> Type Methods from :: AnnTarget -> Rep AnnTarget x to :: Rep AnnTarget x -> AnnTarget
Generic Bang
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bang :: Type -> Type Methods from :: Bang -> Rep Bang x to :: Rep Bang x -> Bang
Generic Body
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Body :: Type -> Type Methods from :: Body -> Rep Body x to :: Rep Body x -> Body
Generic Bytes
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bytes :: Type -> Type Methods from :: Bytes -> Rep Bytes x to :: Rep Bytes x -> Bytes
Generic Callconv
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Callconv :: Type -> Type Methods from :: Callconv -> Rep Callconv x to :: Rep Callconv x -> Callconv
Generic Clause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Clause :: Type -> Type Methods from :: Clause -> Rep Clause x to :: Rep Clause x -> Clause
Generic Con
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Con :: Type -> Type Methods from :: Con -> Rep Con x to :: Rep Con x -> Con
Generic Dec
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Dec :: Type -> Type Methods from :: Dec -> Rep Dec x to :: Rep Dec x -> Dec
Generic DecidedStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DecidedStrictness :: Type -> Type Methods from :: DecidedStrictness -> Rep DecidedStrictness x to :: Rep DecidedStrictness x -> DecidedStrictness
Generic DerivClause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivClause :: Type -> Type Methods from :: DerivClause -> Rep DerivClause x to :: Rep DerivClause x -> DerivClause
Generic DerivStrategy
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivStrategy :: Type -> Type Methods from :: DerivStrategy -> Rep DerivStrategy x to :: Rep DerivStrategy x -> DerivStrategy
Generic DocLoc
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DocLoc :: Type -> Type Methods from :: DocLoc -> Rep DocLoc x to :: Rep DocLoc x -> DocLoc
Generic Exp
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Exp :: Type -> Type Methods from :: Exp -> Rep Exp x to :: Rep Exp x -> Exp
Generic FamilyResultSig
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FamilyResultSig :: Type -> Type Methods from :: FamilyResultSig -> Rep FamilyResultSig x to :: Rep FamilyResultSig x -> FamilyResultSig
Generic Fixity
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Fixity :: Type -> Type Methods from :: Fixity -> Rep Fixity x to :: Rep Fixity x -> Fixity
Generic FixityDirection
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FixityDirection :: Type -> Type Methods from :: FixityDirection -> Rep FixityDirection x to :: Rep FixityDirection x -> FixityDirection
Generic Foreign
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Foreign :: Type -> Type Methods from :: Foreign -> Rep Foreign x to :: Rep Foreign x -> Foreign
Generic FunDep
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FunDep :: Type -> Type Methods from :: FunDep -> Rep FunDep x to :: Rep FunDep x -> FunDep
Generic Guard
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Guard :: Type -> Type Methods from :: Guard -> Rep Guard x to :: Rep Guard x -> Guard
Generic Info
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Info :: Type -> Type Methods from :: Info -> Rep Info x to :: Rep Info x -> Info
Generic InjectivityAnn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep InjectivityAnn :: Type -> Type Methods from :: InjectivityAnn -> Rep InjectivityAnn x to :: Rep InjectivityAnn x -> InjectivityAnn
Generic Inline
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Inline :: Type -> Type Methods from :: Inline -> Rep Inline x to :: Rep Inline x -> Inline
Generic Lit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Lit :: Type -> Type Methods from :: Lit -> Rep Lit x to :: Rep Lit x -> Lit
Generic Loc
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Loc :: Type -> Type Methods from :: Loc -> Rep Loc x to :: Rep Loc x -> Loc
Generic Match
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Match :: Type -> Type Methods from :: Match -> Rep Match x to :: Rep Match x -> Match
Generic ModName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModName :: Type -> Type Methods from :: ModName -> Rep ModName x to :: Rep ModName x -> ModName
Generic Module
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Module :: Type -> Type Methods from :: Module -> Rep Module x to :: Rep Module x -> Module
Generic ModuleInfo
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModuleInfo :: Type -> Type Methods from :: ModuleInfo -> Rep ModuleInfo x to :: Rep ModuleInfo x -> ModuleInfo
Generic Name
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Name :: Type -> Type Methods from :: Name -> Rep Name x to :: Rep Name x -> Name
Generic NameFlavour
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameFlavour :: Type -> Type Methods from :: NameFlavour -> Rep NameFlavour x to :: Rep NameFlavour x -> NameFlavour
Generic NameSpace
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameSpace :: Type -> Type Methods from :: NameSpace -> Rep NameSpace x to :: Rep NameSpace x -> NameSpace
Generic OccName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep OccName :: Type -> Type Methods from :: OccName -> Rep OccName x to :: Rep OccName x -> OccName
Generic Overlap
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Overlap :: Type -> Type Methods from :: Overlap -> Rep Overlap x to :: Rep Overlap x -> Overlap
Generic Pat
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pat :: Type -> Type Methods from :: Pat -> Rep Pat x to :: Rep Pat x -> Pat
Generic PatSynArgs
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynArgs :: Type -> Type Methods from :: PatSynArgs -> Rep PatSynArgs x to :: Rep PatSynArgs x -> PatSynArgs
Generic PatSynDir
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynDir :: Type -> Type Methods from :: PatSynDir -> Rep PatSynDir x to :: Rep PatSynDir x -> PatSynDir
Generic Phases
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Phases :: Type -> Type Methods from :: Phases -> Rep Phases x to :: Rep Phases x -> Phases
Generic PkgName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PkgName :: Type -> Type Methods from :: PkgName -> Rep PkgName x to :: Rep PkgName x -> PkgName
Generic Pragma
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pragma :: Type -> Type Methods from :: Pragma -> Rep Pragma x to :: Rep Pragma x -> Pragma
Generic Range
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Range :: Type -> Type Methods from :: Range -> Rep Range x to :: Rep Range x -> Range
Generic Role
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Role :: Type -> Type Methods from :: Role -> Rep Role x to :: Rep Role x -> Role
Generic RuleBndr
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleBndr :: Type -> Type Methods from :: RuleBndr -> Rep RuleBndr x to :: Rep RuleBndr x -> RuleBndr
Generic RuleMatch
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleMatch :: Type -> Type Methods from :: RuleMatch -> Rep RuleMatch x to :: Rep RuleMatch x -> RuleMatch
Generic Safety
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Safety :: Type -> Type Methods from :: Safety -> Rep Safety x to :: Rep Safety x -> Safety
Generic SourceStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceStrictness :: Type -> Type Methods from :: SourceStrictness -> Rep SourceStrictness x to :: Rep SourceStrictness x -> SourceStrictness
Generic SourceUnpackedness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceUnpackedness :: Type -> Type Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x to :: Rep SourceUnpackedness x -> SourceUnpackedness
Generic Specificity
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Specificity :: Type -> Type Methods from :: Specificity -> Rep Specificity x to :: Rep Specificity x -> Specificity
Generic Stmt
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Stmt :: Type -> Type Methods from :: Stmt -> Rep Stmt x to :: Rep Stmt x -> Stmt
Generic TyLit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyLit :: Type -> Type Methods from :: TyLit -> Rep TyLit x to :: Rep TyLit x -> TyLit
Generic TySynEqn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TySynEqn :: Type -> Type Methods from :: TySynEqn -> Rep TySynEqn x to :: Rep TySynEqn x -> TySynEqn
Generic Type
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Type :: Type -> Type Methods from :: Type -> Rep Type x to :: Rep Type x -> Type
Generic TypeFamilyHead
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TypeFamilyHead :: Type -> Type Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x to :: Rep TypeFamilyHead x -> TypeFamilyHead
Generic UnixTime
Instance details Defined in Data.UnixTime.Types Associated Types type Rep UnixTime :: Type -> Type Methods from :: UnixTime -> Rep UnixTime x to :: Rep UnixTime x -> UnixTime
Generic CompressionLevel
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep CompressionLevel :: Type -> Type Methods from :: CompressionLevel -> Rep CompressionLevel x to :: Rep CompressionLevel x -> CompressionLevel
Generic CompressionStrategy
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep CompressionStrategy :: Type -> Type Methods from :: CompressionStrategy -> Rep CompressionStrategy x to :: Rep CompressionStrategy x -> CompressionStrategy
Generic Format
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep Format :: Type -> Type Methods from :: Format -> Rep Format x to :: Rep Format x -> Format
Generic MemoryLevel
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep MemoryLevel :: Type -> Type Methods from :: MemoryLevel -> Rep MemoryLevel x to :: Rep MemoryLevel x -> MemoryLevel
Generic Method
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep Method :: Type -> Type Methods from :: Method -> Rep Method x to :: Rep Method x -> Method
Generic WindowBits
Instance details Defined in Codec.Compression.Zlib.Stream Associated Types type Rep WindowBits :: Type -> Type Methods from :: WindowBits -> Rep WindowBits x to :: Rep WindowBits x -> WindowBits
Generic ()
Instance details Defined in GHC.Generics Associated Types type Rep () :: Type -> Type Methods from :: () -> Rep () x to :: Rep () x -> ()
Generic Bool
Instance details Defined in GHC.Generics Associated Types type Rep Bool :: Type -> Type Methods from :: Bool -> Rep Bool x to :: Rep Bool x -> Bool
Generic (Last' a)
Instance details Defined in Distribution.Compat.Semigroup Associated Types type Rep (Last' a) :: Type -> Type Methods from :: Last' a -> Rep (Last' a) x to :: Rep (Last' a) x -> Last' a
Generic (Option' a)
Instance details Defined in Distribution.Compat.Semigroup Associated Types type Rep (Option' a) :: Type -> Type Methods from :: Option' a -> Rep (Option' a) x to :: Rep (Option' a) x -> Option' a
Generic (VersionRangeF a)
Instance details Defined in Distribution.Types.VersionRange.Internal Associated Types type Rep (VersionRangeF a) :: Type -> Type Methods from :: VersionRangeF a -> Rep (VersionRangeF a) x to :: Rep (VersionRangeF a) x -> VersionRangeF a
Generic (ZipList a)
Instance details Defined in Control.Applicative Associated Types type Rep (ZipList a) :: Type -> Type Methods from :: ZipList a -> Rep (ZipList a) x to :: Rep (ZipList a) x -> ZipList a
Generic (Complex a)
Instance details Defined in Data.Complex Associated Types type Rep (Complex a) :: Type -> Type Methods from :: Complex a -> Rep (Complex a) x to :: Rep (Complex a) x -> Complex a
Generic (Identity a)
Instance details Defined in Data.Functor.Identity Associated Types type Rep (Identity a) :: Type -> Type Methods from :: Identity a -> Rep (Identity a) x to :: Rep (Identity a) x -> Identity a
Generic (First a)
Instance details Defined in Data.Monoid Associated Types type Rep (First a) :: Type -> Type Methods from :: First a -> Rep (First a) x to :: Rep (First a) x -> First a
Generic (Last a)
Instance details Defined in Data.Monoid Associated Types type Rep (Last a) :: Type -> Type Methods from :: Last a -> Rep (Last a) x to :: Rep (Last a) x -> Last a
Generic (Down a)
Instance details Defined in GHC.Generics Associated Types type Rep (Down a) :: Type -> Type Methods from :: Down a -> Rep (Down a) x to :: Rep (Down a) x -> Down a
Generic (First a)
Instance details Defined in Data.Semigroup Associated Types type Rep (First a) :: Type -> Type Methods from :: First a -> Rep (First a) x to :: Rep (First a) x -> First a
Generic (Last a)
Instance details Defined in Data.Semigroup Associated Types type Rep (Last a) :: Type -> Type Methods from :: Last a -> Rep (Last a) x to :: Rep (Last a) x -> Last a
Generic (Max a)
Instance details Defined in Data.Semigroup Associated Types type Rep (Max a) :: Type -> Type Methods from :: Max a -> Rep (Max a) x to :: Rep (Max a) x -> Max a
Generic (Min a)
Instance details Defined in Data.Semigroup Associated Types type Rep (Min a) :: Type -> Type Methods from :: Min a -> Rep (Min a) x to :: Rep (Min a) x -> Min a
Generic (WrappedMonoid m)
Instance details Defined in Data.Semigroup Associated Types type Rep (WrappedMonoid m) :: Type -> Type Methods from :: WrappedMonoid m -> Rep (WrappedMonoid m) x to :: Rep (WrappedMonoid m) x -> WrappedMonoid m
Generic (Dual a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Dual a) :: Type -> Type Methods from :: Dual a -> Rep (Dual a) x to :: Rep (Dual a) x -> Dual a
Generic (Endo a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Endo a) :: Type -> Type Methods from :: Endo a -> Rep (Endo a) x to :: Rep (Endo a) x -> Endo a
Generic (Product a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Product a) :: Type -> Type Methods from :: Product a -> Rep (Product a) x to :: Rep (Product a) x -> Product a
Generic (Sum a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Sum a) :: Type -> Type Methods from :: Sum a -> Rep (Sum a) x to :: Rep (Sum a) x -> Sum a
Generic (NonEmpty a)
Instance details Defined in GHC.Generics Associated Types type Rep (NonEmpty a) :: Type -> Type Methods from :: NonEmpty a -> Rep (NonEmpty a) x to :: Rep (NonEmpty a) x -> NonEmpty a
Generic (Par1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (Par1 p) :: Type -> Type Methods from :: Par1 p -> Rep (Par1 p) x to :: Rep (Par1 p) x -> Par1 p
Generic (Digit a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Digit a) :: Type -> Type Methods from :: Digit a -> Rep (Digit a) x to :: Rep (Digit a) x -> Digit a
Generic (Elem a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Elem a) :: Type -> Type Methods from :: Elem a -> Rep (Elem a) x to :: Rep (Elem a) x -> Elem a
Generic (FingerTree a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (FingerTree a) :: Type -> Type Methods from :: FingerTree a -> Rep (FingerTree a) x to :: Rep (FingerTree a) x -> FingerTree a
Generic (Node a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Node a) :: Type -> Type Methods from :: Node a -> Rep (Node a) x to :: Rep (Node a) x -> Node a
Generic (ViewL a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (ViewL a) :: Type -> Type Methods from :: ViewL a -> Rep (ViewL a) x to :: Rep (ViewL a) x -> ViewL a
Generic (ViewR a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (ViewR a) :: Type -> Type Methods from :: ViewR a -> Rep (ViewR a) x to :: Rep (ViewR a) x -> ViewR a
Generic (Tree a)
Instance details Defined in Data.Tree Associated Types type Rep (Tree a) :: Type -> Type Methods from :: Tree a -> Rep (Tree a) x to :: Rep (Tree a) x -> Tree a
Generic (Fix f)
Instance details Defined in Data.Fix Associated Types type Rep (Fix f) :: Type -> Type Methods from :: Fix f -> Rep (Fix f) x to :: Rep (Fix f) x -> Fix f
Generic (HistoriedResponse body)
Instance details Defined in Network.HTTP.Client Associated Types type Rep (HistoriedResponse body) :: Type -> Type Methods from :: HistoriedResponse body -> Rep (HistoriedResponse body) x to :: Rep (HistoriedResponse body) x -> HistoriedResponse body
Generic (AddrRange a)
Instance details Defined in Data.IP.Range Associated Types type Rep (AddrRange a) :: Type -> Type Methods from :: AddrRange a -> Rep (AddrRange a) x to :: Rep (AddrRange a) x -> AddrRange a
Generic (Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep (Doc a) :: Type -> Type Methods from :: Doc a -> Rep (Doc a) x to :: Rep (Doc a) x -> Doc a
Generic (Maybe a)
Instance details Defined in Data.Strict.Maybe Associated Types type Rep (Maybe a) :: Type -> Type Methods from :: Maybe a -> Rep (Maybe a) x to :: Rep (Maybe a) x -> Maybe a
Generic (TyVarBndr flag)
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep (TyVarBndr flag) :: Type -> Type Methods from :: TyVarBndr flag -> Rep (TyVarBndr flag) x to :: Rep (TyVarBndr flag) x -> TyVarBndr flag
Generic (Maybe a)
Instance details Defined in GHC.Generics Associated Types type Rep (Maybe a) :: Type -> Type Methods from :: Maybe a -> Rep (Maybe a) x to :: Rep (Maybe a) x -> Maybe a
Generic (a)
Instance details Defined in GHC.Generics Associated Types type Rep (a) :: Type -> Type Methods from :: (a) -> Rep (a) x to :: Rep (a) x -> (a)
Generic [a]
Instance details Defined in GHC.Generics Associated Types type Rep [a] :: Type -> Type Methods from :: [a] -> Rep [a] x to :: Rep [a] x -> [a]
Generic (WrappedMonad m a)
Instance details Defined in Control.Applicative Associated Types type Rep (WrappedMonad m a) :: Type -> Type Methods from :: WrappedMonad m a -> Rep (WrappedMonad m a) x to :: Rep (WrappedMonad m a) x -> WrappedMonad m a
Generic (Either a b)
Instance details Defined in GHC.Generics Associated Types type Rep (Either a b) :: Type -> Type Methods from :: Either a b -> Rep (Either a b) x to :: Rep (Either a b) x -> Either a b
Generic (Proxy t)
Instance details Defined in GHC.Generics Associated Types type Rep (Proxy t) :: Type -> Type Methods from :: Proxy t -> Rep (Proxy t) x to :: Rep (Proxy t) x -> Proxy t
Generic (Arg a b)
Instance details Defined in Data.Semigroup Associated Types type Rep (Arg a b) :: Type -> Type Methods from :: Arg a b -> Rep (Arg a b) x to :: Rep (Arg a b) x -> Arg a b
Generic (U1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (U1 p) :: Type -> Type Methods from :: U1 p -> Rep (U1 p) x to :: Rep (U1 p) x -> U1 p
Generic (V1 p)
Instance details Defined in GHC.Generics Associated Types type Rep (V1 p) :: Type -> Type Methods from :: V1 p -> Rep (V1 p) x to :: Rep (V1 p) x -> V1 p
Generic (Either a b)
Instance details Defined in Data.Strict.Either Associated Types type Rep (Either a b) :: Type -> Type Methods from :: Either a b -> Rep (Either a b) x to :: Rep (Either a b) x -> Either a b
Generic (These a b)
Instance details Defined in Data.Strict.These Associated Types type Rep (These a b) :: Type -> Type Methods from :: These a b -> Rep (These a b) x to :: Rep (These a b) x -> These a b
Generic (Pair a b)
Instance details Defined in Data.Strict.Tuple Associated Types type Rep (Pair a b) :: Type -> Type Methods from :: Pair a b -> Rep (Pair a b) x to :: Rep (Pair a b) x -> Pair a b
Generic (These a b)
Instance details Defined in Data.These Associated Types type Rep (These a b) :: Type -> Type Methods from :: These a b -> Rep (These a b) x to :: Rep (These a b) x -> These a b
Generic (MaybeT m a)
Instance details Defined in Control.Monad.Trans.Maybe Associated Types type Rep (MaybeT m a) :: Type -> Type Methods from :: MaybeT m a -> Rep (MaybeT m a) x to :: Rep (MaybeT m a) x -> MaybeT m a
Generic (a, b)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b) :: Type -> Type Methods from :: (a, b) -> Rep (a, b) x to :: Rep (a, b) x -> (a, b)
Generic (WrappedArrow a b c)
Instance details Defined in Control.Applicative Associated Types type Rep (WrappedArrow a b c) :: Type -> Type Methods from :: WrappedArrow a b c -> Rep (WrappedArrow a b c) x to :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c
Generic (Kleisli m a b)
Instance details Defined in Control.Arrow Associated Types type Rep (Kleisli m a b) :: Type -> Type Methods from :: Kleisli m a b -> Rep (Kleisli m a b) x to :: Rep (Kleisli m a b) x -> Kleisli m a b
Generic (Const a b)
Instance details Defined in Data.Functor.Const Associated Types type Rep (Const a b) :: Type -> Type Methods from :: Const a b -> Rep (Const a b) x to :: Rep (Const a b) x -> Const a b
Generic (Ap f a)
Instance details Defined in Data.Monoid Associated Types type Rep (Ap f a) :: Type -> Type Methods from :: Ap f a -> Rep (Ap f a) x to :: Rep (Ap f a) x -> Ap f a
Generic (Alt f a)
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Alt f a) :: Type -> Type Methods from :: Alt f a -> Rep (Alt f a) x to :: Rep (Alt f a) x -> Alt f a
Generic (Rec1 f p)
Instance details Defined in GHC.Generics Associated Types type Rep (Rec1 f p) :: Type -> Type Methods from :: Rec1 f p -> Rep (Rec1 f p) x to :: Rep (Rec1 f p) x -> Rec1 f p
Generic (URec (Ptr ()) p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec (Ptr ()) p) :: Type -> Type Methods from :: URec (Ptr ()) p -> Rep (URec (Ptr ()) p) x to :: Rep (URec (Ptr ()) p) x -> URec (Ptr ()) p
Generic (URec Char p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Char p) :: Type -> Type Methods from :: URec Char p -> Rep (URec Char p) x to :: Rep (URec Char p) x -> URec Char p
Generic (URec Double p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Double p) :: Type -> Type Methods from :: URec Double p -> Rep (URec Double p) x to :: Rep (URec Double p) x -> URec Double p
Generic (URec Float p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Float p) :: Type -> Type Methods from :: URec Float p -> Rep (URec Float p) x to :: Rep (URec Float p) x -> URec Float p
Generic (URec Int p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Int p) :: Type -> Type Methods from :: URec Int p -> Rep (URec Int p) x to :: Rep (URec Int p) x -> URec Int p
Generic (URec Word p)
Instance details Defined in GHC.Generics Associated Types type Rep (URec Word p) :: Type -> Type Methods from :: URec Word p -> Rep (URec Word p) x to :: Rep (URec Word p) x -> URec Word p
Generic (Tagged s b)
Instance details Defined in Data.Tagged Associated Types type Rep (Tagged s b) :: Type -> Type Methods from :: Tagged s b -> Rep (Tagged s b) x to :: Rep (Tagged s b) x -> Tagged s b
Generic (These1 f g a)
Instance details Defined in Data.Functor.These Associated Types type Rep (These1 f g a) :: Type -> Type Methods from :: These1 f g a -> Rep (These1 f g a) x to :: Rep (These1 f g a) x -> These1 f g a
Generic (Backwards f a)
Instance details Defined in Control.Applicative.Backwards Associated Types type Rep (Backwards f a) :: Type -> Type Methods from :: Backwards f a -> Rep (Backwards f a) x to :: Rep (Backwards f a) x -> Backwards f a
Generic (AccumT w m a)
Instance details Defined in Control.Monad.Trans.Accum Associated Types type Rep (AccumT w m a) :: Type -> Type Methods from :: AccumT w m a -> Rep (AccumT w m a) x to :: Rep (AccumT w m a) x -> AccumT w m a
Generic (ExceptT e m a)
Instance details Defined in Control.Monad.Trans.Except Associated Types type Rep (ExceptT e m a) :: Type -> Type Methods from :: ExceptT e m a -> Rep (ExceptT e m a) x to :: Rep (ExceptT e m a) x -> ExceptT e m a
Generic (IdentityT f a)
Instance details Defined in Control.Monad.Trans.Identity Associated Types type Rep (IdentityT f a) :: Type -> Type Methods from :: IdentityT f a -> Rep (IdentityT f a) x to :: Rep (IdentityT f a) x -> IdentityT f a
Generic (ReaderT r m a)
Instance details Defined in Control.Monad.Trans.Reader Associated Types type Rep (ReaderT r m a) :: Type -> Type Methods from :: ReaderT r m a -> Rep (ReaderT r m a) x to :: Rep (ReaderT r m a) x -> ReaderT r m a
Generic (SelectT r m a)
Instance details Defined in Control.Monad.Trans.Select Associated Types type Rep (SelectT r m a) :: Type -> Type Methods from :: SelectT r m a -> Rep (SelectT r m a) x to :: Rep (SelectT r m a) x -> SelectT r m a
Generic (StateT s m a)
Instance details Defined in Control.Monad.Trans.State.Lazy Associated Types type Rep (StateT s m a) :: Type -> Type Methods from :: StateT s m a -> Rep (StateT s m a) x to :: Rep (StateT s m a) x -> StateT s m a
Generic (StateT s m a)
Instance details Defined in Control.Monad.Trans.State.Strict Associated Types type Rep (StateT s m a) :: Type -> Type Methods from :: StateT s m a -> Rep (StateT s m a) x to :: Rep (StateT s m a) x -> StateT s m a
Generic (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.CPS Associated Types type Rep (WriterT w m a) :: Type -> Type Methods from :: WriterT w m a -> Rep (WriterT w m a) x to :: Rep (WriterT w m a) x -> WriterT w m a
Generic (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.Lazy Associated Types type Rep (WriterT w m a) :: Type -> Type Methods from :: WriterT w m a -> Rep (WriterT w m a) x to :: Rep (WriterT w m a) x -> WriterT w m a
Generic (WriterT w m a)
Instance details Defined in Control.Monad.Trans.Writer.Strict Associated Types type Rep (WriterT w m a) :: Type -> Type Methods from :: WriterT w m a -> Rep (WriterT w m a) x to :: Rep (WriterT w m a) x -> WriterT w m a
Generic (Constant a b)
Instance details Defined in Data.Functor.Constant Associated Types type Rep (Constant a b) :: Type -> Type Methods from :: Constant a b -> Rep (Constant a b) x to :: Rep (Constant a b) x -> Constant a b
Generic (Reverse f a)
Instance details Defined in Data.Functor.Reverse Associated Types type Rep (Reverse f a) :: Type -> Type Methods from :: Reverse f a -> Rep (Reverse f a) x to :: Rep (Reverse f a) x -> Reverse f a
Generic (a, b, c)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c) :: Type -> Type Methods from :: (a, b, c) -> Rep (a, b, c) x to :: Rep (a, b, c) x -> (a, b, c)
Generic (Product f g a)
Instance details Defined in Data.Functor.Product Associated Types type Rep (Product f g a) :: Type -> Type Methods from :: Product f g a -> Rep (Product f g a) x to :: Rep (Product f g a) x -> Product f g a
Generic (Sum f g a)
Instance details Defined in Data.Functor.Sum Associated Types type Rep (Sum f g a) :: Type -> Type Methods from :: Sum f g a -> Rep (Sum f g a) x to :: Rep (Sum f g a) x -> Sum f g a
Generic ((f :*: g) p)
Instance details Defined in GHC.Generics Associated Types type Rep ((f :: g) p) :: Type -> Type Methods from :: (f :: g) p -> Rep ((f :: g) p) x to :: Rep ((f :: g) p) x -> (f :*: g) p
Generic ((f :+: g) p)
Instance details Defined in GHC.Generics Associated Types type Rep ((f :+: g) p) :: Type -> Type Methods from :: (f :+: g) p -> Rep ((f :+: g) p) x to :: Rep ((f :+: g) p) x -> (f :+: g) p
Generic (K1 i c p)
Instance details Defined in GHC.Generics Associated Types type Rep (K1 i c p) :: Type -> Type Methods from :: K1 i c p -> Rep (K1 i c p) x to :: Rep (K1 i c p) x -> K1 i c p
Generic (ContT r m a)
Instance details Defined in Control.Monad.Trans.Cont Associated Types type Rep (ContT r m a) :: Type -> Type Methods from :: ContT r m a -> Rep (ContT r m a) x to :: Rep (ContT r m a) x -> ContT r m a
Generic (a, b, c, d)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d) :: Type -> Type Methods from :: (a, b, c, d) -> Rep (a, b, c, d) x to :: Rep (a, b, c, d) x -> (a, b, c, d)
Generic (Compose f g a)
Instance details Defined in Data.Functor.Compose Associated Types type Rep (Compose f g a) :: Type -> Type Methods from :: Compose f g a -> Rep (Compose f g a) x to :: Rep (Compose f g a) x -> Compose f g a
Generic ((f :.: g) p)
Instance details Defined in GHC.Generics Associated Types type Rep ((f :.: g) p) :: Type -> Type Methods from :: (f :.: g) p -> Rep ((f :.: g) p) x to :: Rep ((f :.: g) p) x -> (f :.: g) p
Generic (M1 i c f p)
Instance details Defined in GHC.Generics Associated Types type Rep (M1 i c f p) :: Type -> Type Methods from :: M1 i c f p -> Rep (M1 i c f p) x to :: Rep (M1 i c f p) x -> M1 i c f p
Generic (RWST r w s m a)
Instance details Defined in Control.Monad.Trans.RWS.CPS Associated Types type Rep (RWST r w s m a) :: Type -> Type Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x to :: Rep (RWST r w s m a) x -> RWST r w s m a
Generic (RWST r w s m a)
Instance details Defined in Control.Monad.Trans.RWS.Lazy Associated Types type Rep (RWST r w s m a) :: Type -> Type Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x to :: Rep (RWST r w s m a) x -> RWST r w s m a
Generic (RWST r w s m a)
Instance details Defined in Control.Monad.Trans.RWS.Strict Associated Types type Rep (RWST r w s m a) :: Type -> Type Methods from :: RWST r w s m a -> Rep (RWST r w s m a) x to :: Rep (RWST r w s m a) x -> RWST r w s m a
Generic (a, b, c, d, e)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e) :: Type -> Type Methods from :: (a, b, c, d, e) -> Rep (a, b, c, d, e) x to :: Rep (a, b, c, d, e) x -> (a, b, c, d, e)
Generic (a, b, c, d, e, f)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f) :: Type -> Type Methods from :: (a, b, c, d, e, f) -> Rep (a, b, c, d, e, f) x to :: Rep (a, b, c, d, e, f) x -> (a, b, c, d, e, f)
Generic (a, b, c, d, e, f, g)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g) :: Type -> Type Methods from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g) x to :: Rep (a, b, c, d, e, f, g) x -> (a, b, c, d, e, f, g)
Generic (a, b, c, d, e, f, g, h)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h) :: Type -> Type Methods from :: (a, b, c, d, e, f, g, h) -> Rep (a, b, c, d, e, f, g, h) x to :: Rep (a, b, c, d, e, f, g, h) x -> (a, b, c, d, e, f, g, h)
Generic (a, b, c, d, e, f, g, h, i)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i) :: Type -> Type Methods from :: (a, b, c, d, e, f, g, h, i) -> Rep (a, b, c, d, e, f, g, h, i) x to :: Rep (a, b, c, d, e, f, g, h, i) x -> (a, b, c, d, e, f, g, h, i)
Generic (a, b, c, d, e, f, g, h, i, j)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j) :: Type -> Type Methods from :: (a, b, c, d, e, f, g, h, i, j) -> Rep (a, b, c, d, e, f, g, h, i, j) x to :: Rep (a, b, c, d, e, f, g, h, i, j) x -> (a, b, c, d, e, f, g, h, i, j)
Generic (a, b, c, d, e, f, g, h, i, j, k)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k) :: Type -> Type Methods from :: (a, b, c, d, e, f, g, h, i, j, k) -> Rep (a, b, c, d, e, f, g, h, i, j, k) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k) x -> (a, b, c, d, e, f, g, h, i, j, k)
Generic (a, b, c, d, e, f, g, h, i, j, k, l)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l) :: Type -> Type Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l) x -> (a, b, c, d, e, f, g, h, i, j, k, l)
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) :: Type -> Type Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m)
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: Type -> Type Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: Type -> Type Methods from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class GenericDecode f Source #

Minimal complete definition

genericDecode

Instances

Instances details

(GenericDecode a, GenericDecode b) => GenericDecode (a :*: b) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods genericDecode :: Options -> Value -> Parser ((a :*: b) p)
GenericDecode a => GenericDecode (C1 c a) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods genericDecode :: Options -> Value -> Parser (C1 c a p)
GenericDecode a => GenericDecode (D1 d a) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods genericDecode :: Options -> Value -> Parser (D1 d a p)

genericFromValue :: forall a d m. (Generic a, Rep a ~ D1 d m, Datatype d, GenericDecode (Rep a)) => Value -> Parser a Source #

data Options Source #

Constructors

Options
Fields optionsRecordSelectorModifier :: String -> String

genericFromValueWith :: (Generic a, GenericDecode (Rep a)) => Options -> Value -> Parser a Source #

typeMismatch :: String -> Value -> Parser a Source #

withObject :: (Object -> Parser a) -> Value -> Parser a Source #

withText :: (Text -> Parser a) -> Value -> Parser a Source #

withString :: (String -> Parser a) -> Value -> Parser a Source #

withArray :: (Array -> Parser a) -> Value -> Parser a Source #

withNumber :: (Scientific -> Parser a) -> Value -> Parser a Source #

withBool :: (Bool -> Parser a) -> Value -> Parser a Source #

parseArray :: (Value -> Parser a) -> Array -> Parser [a] Source #

traverseObject :: (Value -> Parser a) -> Object -> Parser [(Key, a)] Source #

(.:) :: FromValue a => Object -> Key -> Parser a Source #

(.:?) :: FromValue a => Object -> Key -> Parser (Maybe a) Source #

data Key #

Instances

Instances details

Arbitrary Key
Instance details Defined in Data.Aeson.Key Methods arbitrary :: Gen Key shrink :: Key -> [Key]
CoArbitrary Key
Instance details Defined in Data.Aeson.Key Methods coarbitrary :: Key -> Gen b -> Gen b
Function Key
Instance details Defined in Data.Aeson.Key Methods function :: (Key -> b) -> Key :-> b
FromJSON Key
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Key parseJSONList :: Value -> Parser [Key]
FromJSONKey Key
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Key fromJSONKeyList :: FromJSONKeyFunction [Key]
ToJSON Key
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Key -> Value toEncoding :: Key -> Encoding toJSONList :: [Key] -> Value toEncodingList :: [Key] -> Encoding
ToJSONKey Key
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Key toJSONKeyList :: ToJSONKeyFunction [Key]
Data Key
Instance details Defined in Data.Aeson.Key Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Key -> c Key gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Key toConstr :: Key -> Constr dataTypeOf :: Key -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Key) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Key) gmapT :: (forall b. Data b => b -> b) -> Key -> Key gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r gmapQ :: (forall d. Data d => d -> u) -> Key -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Key -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Key -> m Key gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key
IsString Key
Instance details Defined in Data.Aeson.Key Methods fromString :: String -> Key
Monoid Key
Instance details Defined in Data.Aeson.Key Methods mempty :: Key mappend :: Key -> Key -> Key mconcat :: [Key] -> Key
Semigroup Key
Instance details Defined in Data.Aeson.Key Methods (<>) :: Key -> Key -> Key sconcat :: NonEmpty Key -> Key stimes :: Integral b => b -> Key -> Key
Read Key
Instance details Defined in Data.Aeson.Key Methods readsPrec :: Int -> ReadS Key readList :: ReadS [Key] readPrec :: ReadPrec Key readListPrec :: ReadPrec [Key]
Show Key
Instance details Defined in Data.Aeson.Key Methods showsPrec :: Int -> Key -> ShowS show :: Key -> String showList :: [Key] -> ShowS
NFData Key
Instance details Defined in Data.Aeson.Key Methods rnf :: Key -> ()
Eq Key
Instance details Defined in Data.Aeson.Key Methods (==) :: Key -> Key -> Bool (/=) :: Key -> Key -> Bool
Ord Key
Instance details Defined in Data.Aeson.Key Methods compare :: Key -> Key -> Ordering (<) :: Key -> Key -> Bool (<=) :: Key -> Key -> Bool (>) :: Key -> Key -> Bool (>=) :: Key -> Key -> Bool max :: Key -> Key -> Key min :: Key -> Key -> Key
Hashable Key
Instance details Defined in Data.Aeson.Key Methods hashWithSalt :: Int -> Key -> Int hash :: Key -> Int
FoldableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods ifoldMap :: Monoid m => (Key -> a -> m) -> KeyMap a -> m ifoldMap' :: Monoid m => (Key -> a -> m) -> KeyMap a -> m ifoldr :: (Key -> a -> b -> b) -> b -> KeyMap a -> b ifoldl :: (Key -> b -> a -> b) -> b -> KeyMap a -> b ifoldr' :: (Key -> a -> b -> b) -> b -> KeyMap a -> b ifoldl' :: (Key -> b -> a -> b) -> b -> KeyMap a -> b
FunctorWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods imap :: (Key -> a -> b) -> KeyMap a -> KeyMap b
TraversableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods itraverse :: Applicative f => (Key -> a -> f b) -> KeyMap a -> f (KeyMap b)
SemialignWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods ialignWith :: (Key -> These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c
ZipWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods izipWith :: (Key -> a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c
Lift Key
Instance details Defined in Data.Aeson.Key Methods lift :: Quote m => Key -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Key -> Code m Key
FilterableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods imapMaybe :: (Key -> a -> Maybe b) -> KeyMap a -> KeyMap b ifilter :: (Key -> a -> Bool) -> KeyMap a -> KeyMap a
WitherableWithIndex Key KeyMap
Instance details Defined in Data.Aeson.KeyMap Methods iwither :: Applicative f => (Key -> a -> f (Maybe b)) -> KeyMap a -> f (KeyMap b) iwitherM :: Monad m => (Key -> a -> m (Maybe b)) -> KeyMap a -> m (KeyMap b) ifilterA :: Applicative f => (Key -> a -> f Bool) -> KeyMap a -> f (KeyMap a)
FromPairs Value (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromPairs :: DList Pair -> Value
v ~ Value => KeyValuePair v (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods pair :: Key -> v -> DList Pair

data Value #

Constructors

Object !Object
Array !Array
String !Text
Number !Scientific
Bool !Bool
Null

Instances

Instances details

Arbitrary Value
Instance details Defined in Data.Aeson.Types.Internal Methods arbitrary :: Gen Value shrink :: Value -> [Value]
CoArbitrary Value
Instance details Defined in Data.Aeson.Types.Internal Methods coarbitrary :: Value -> Gen b -> Gen b
Function Value
Instance details Defined in Data.Aeson.Types.Internal Methods function :: (Value -> b) -> Value :-> b
FromJSON Value
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Value parseJSONList :: Value -> Parser [Value]
FromString Encoding
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromString :: String -> Encoding
FromString Value
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromString :: String -> Value
ToJSON Value
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Value -> Value toEncoding :: Value -> Encoding toJSONList :: [Value] -> Value toEncodingList :: [Value] -> Encoding
Data Value
Instance details Defined in Data.Aeson.Types.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value toConstr :: Value -> Constr dataTypeOf :: Value -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) gmapT :: (forall b. Data b => b -> b) -> Value -> Value gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value
IsString Value
Instance details Defined in Data.Aeson.Types.Internal Methods fromString :: String -> Value
Generic Value
Instance details Defined in Data.Aeson.Types.Internal Associated Types type Rep Value :: Type -> Type Methods from :: Value -> Rep Value x to :: Rep Value x -> Value
Read Value
Instance details Defined in Data.Aeson.Types.Internal Methods readsPrec :: Int -> ReadS Value readList :: ReadS [Value] readPrec :: ReadPrec Value readListPrec :: ReadPrec [Value]
Show Value
Instance details Defined in Data.Aeson.Types.Internal Methods showsPrec :: Int -> Value -> ShowS show :: Value -> String showList :: [Value] -> ShowS
NFData Value
Instance details Defined in Data.Aeson.Types.Internal Methods rnf :: Value -> ()
Eq Value
Instance details Defined in Data.Aeson.Types.Internal Methods (==) :: Value -> Value -> Bool (/=) :: Value -> Value -> Bool
Ord Value
Instance details Defined in Data.Aeson.Types.Internal Methods compare :: Value -> Value -> Ordering (<) :: Value -> Value -> Bool (<=) :: Value -> Value -> Bool (>) :: Value -> Value -> Bool (>=) :: Value -> Value -> Bool max :: Value -> Value -> Value min :: Value -> Value -> Value
Hashable Value
Instance details Defined in Data.Aeson.Types.Internal Methods hashWithSalt :: Int -> Value -> Int hash :: Value -> Int
Lift Value
Instance details Defined in Data.Aeson.Types.Internal Methods lift :: Quote m => Value -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Value -> Code m Value
(GToJSON' Encoding arity a, ConsToJSON Encoding arity a, Constructor c) => SumToJSON' TwoElemArray Encoding arity (C1 c a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods sumToJSON' :: Options -> ToArgs Encoding arity a0 -> C1 c a a0 -> Tagged TwoElemArray Encoding
(GToJSON' Value arity a, ConsToJSON Value arity a, Constructor c) => SumToJSON' TwoElemArray Value arity (C1 c a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods sumToJSON' :: Options -> ToArgs Value arity a0 -> C1 c a a0 -> Tagged TwoElemArray Value
GToJSON' Encoding arity (U1 :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a -> U1 a -> Encoding
GToJSON' Encoding arity (V1 :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a -> V1 a -> Encoding
GToJSON' Value arity (U1 :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a -> U1 a -> Value
GToJSON' Value arity (V1 :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a -> V1 a -> Value
ToJSON1 f => GToJSON' Encoding One (Rec1 f)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding One a -> Rec1 f a -> Encoding
ToJSON1 f => GToJSON' Value One (Rec1 f)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value One a -> Rec1 f a -> Value
(EncodeProduct arity a, EncodeProduct arity b) => GToJSON' Encoding arity (a :*: b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a0 -> (a :*: b) a0 -> Encoding
ToJSON a => GToJSON' Encoding arity (K1 i a :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding arity a0 -> K1 i a a0 -> Encoding
(WriteProduct arity a, WriteProduct arity b, ProductSize a, ProductSize b) => GToJSON' Value arity (a :*: b)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a0 -> (a :*: b) a0 -> Value
ToJSON a => GToJSON' Value arity (K1 i a :: Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value arity a0 -> K1 i a a0 -> Value
(ToJSON1 f, GToJSON' Encoding One g) => GToJSON' Encoding One (f :.: g)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Encoding One a -> (f :.: g) a -> Encoding
(ToJSON1 f, GToJSON' Value One g) => GToJSON' Value One (f :.: g)
Instance details Defined in Data.Aeson.Types.ToJSON Methods gToJSON :: Options -> ToArgs Value One a -> (f :.: g) a -> Value
FromPairs Value (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods fromPairs :: DList Pair -> Value
v ~ Value => KeyValuePair v (DList Pair)
Instance details Defined in Data.Aeson.Types.ToJSON Methods pair :: Key -> v -> DList Pair
type Rep Value
Instance details Defined in Data.Aeson.Types.Internal type Rep Value = D1 ('MetaData "Value" "Data.Aeson.Types.Internal" "aeson-2.1.2.1-D0qQe3CNlvvLYKUgPcjbMF" 'False) ((C1 ('MetaCons "Object" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Object)) :+: (C1 ('MetaCons "Array" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Array)) :+: C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: (C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Scientific)) :+: (C1 ('MetaCons "Bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "Null" 'PrefixI 'False) (U1 :: Type -> Type))))

type Object = KeyMap Value #

type Array = Vector Value #

newtype Alias (deprecated :: Bool) (alias :: Symbol) a Source #

Constructors

Alias a

Instances

Instances details

Functor (Alias deprecated alias) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods fmap :: (a -> b) -> Alias deprecated alias a -> Alias deprecated alias b (<$) :: a -> Alias deprecated alias b -> Alias deprecated alias a
Monoid a => Monoid (Alias deprecated alias a) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods mempty :: Alias deprecated alias a mappend :: Alias deprecated alias a -> Alias deprecated alias a -> Alias deprecated alias a mconcat :: [Alias deprecated alias a] -> Alias deprecated alias a
Semigroup a => Semigroup (Alias deprecated alias a) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods (<>) :: Alias deprecated alias a -> Alias deprecated alias a -> Alias deprecated alias a sconcat :: NonEmpty (Alias deprecated alias a) -> Alias deprecated alias a stimes :: Integral b => b -> Alias deprecated alias a -> Alias deprecated alias a
Show a => Show (Alias deprecated alias a) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods showsPrec :: Int -> Alias deprecated alias a -> ShowS show :: Alias deprecated alias a -> String showList :: [Alias deprecated alias a] -> ShowS
Eq a => Eq (Alias deprecated alias a) Source #
Instance details Defined in Data.Aeson.Config.FromValue Methods (==) :: Alias deprecated alias a -> Alias deprecated alias a -> Bool (/=) :: Alias deprecated alias a -> Alias deprecated alias a -> Bool

unAlias :: Alias deprecated alias a -> a Source #