Safe Haskell | None |
---|---|
Language | Haskell2010 |
Dhall.Marshal.Decode
Description
Please read the Dhall.Tutorial module, which contains a tutorial explaining how to use the language, the compiler, and this library
Synopsis
- data Decoder a = Decoder {}
- class FromDhall a where
- autoWith :: InputNormalizer -> Decoder a
- type Interpret = FromDhall
- auto :: FromDhall a => Decoder a
- bool :: Decoder Bool
- unit :: Decoder ()
- void :: Decoder Void
- natural :: Decoder Natural
- word :: Decoder Word
- word8 :: Decoder Word8
- word16 :: Decoder Word16
- word32 :: Decoder Word32
- word64 :: Decoder Word64
- integer :: Decoder Integer
- int :: Decoder Int
- int8 :: Decoder Int8
- int16 :: Decoder Int16
- int32 :: Decoder Int32
- int64 :: Decoder Int64
- scientific :: Decoder Scientific
- double :: Decoder Double
- lazyBytes :: Decoder ByteString
- strictBytes :: Decoder ByteString
- shortBytes :: Decoder ShortByteString
- string :: Decoder String
- lazyText :: Decoder Text
- strictText :: Decoder Text
- shortText :: Decoder ShortText
- timeOfDay :: Decoder TimeOfDay
- day :: Decoder Day
- timeZone :: Decoder TimeZone
- localTime :: Decoder LocalTime
- zonedTime :: Decoder ZonedTime
- utcTime :: Decoder UTCTime
- dayOfWeek :: Decoder DayOfWeek
- maybe :: Decoder a -> Decoder (Maybe a)
- pair :: Decoder a -> Decoder b -> Decoder (a, b)
- sequence :: Decoder a -> Decoder (Seq a)
- list :: Decoder a -> Decoder [a]
- vector :: Decoder a -> Decoder (Vector a)
- setFromDistinctList :: (Ord a, Show a) => Decoder a -> Decoder (Set a)
- setIgnoringDuplicates :: Ord a => Decoder a -> Decoder (Set a)
- hashSetFromDistinctList :: (Hashable a, Ord a, Show a) => Decoder a -> Decoder (HashSet a)
- hashSetIgnoringDuplicates :: (Hashable a, Ord a) => Decoder a -> Decoder (HashSet a)
- map :: Ord k => Decoder k -> Decoder v -> Decoder (Map k v)
- hashMap :: (Eq k, Hashable k) => Decoder k -> Decoder v -> Decoder (HashMap k v)
- pairFromMapEntry :: Decoder k -> Decoder v -> Decoder (k, v)
- function :: Encoder a -> Decoder b -> Decoder (a -> b)
- functionWith :: InputNormalizer -> Encoder a -> Decoder b -> Decoder (a -> b)
- newtype RecordDecoder a = RecordDecoder (Product (Const (Map Text (Expector (Expr Src Void))) :: Type -> Type) (Compose ((->) (Expr Src Void)) (Extractor Src Void)) a)
- record :: RecordDecoder a -> Decoder a
- field :: Text -> Decoder a -> RecordDecoder a
- newtype UnionDecoder a = UnionDecoder (Compose (Map Text) Decoder a)
- union :: UnionDecoder a -> Decoder a
- constructor :: Text -> Decoder a -> UnionDecoder a
- class GenericFromDhall (t :: k) (f :: k1 -> Type) where
- genericAutoWithNormalizer :: forall (a :: k1). Proxy t -> InputNormalizer -> InterpretOptions -> State Int (Decoder (f a))
- class GenericFromDhallUnion (t :: k) (f :: k1 -> Type) where
- genericUnionAutoWithNormalizer :: forall (a :: k1). Proxy t -> InputNormalizer -> InterpretOptions -> UnionDecoder (f a)
- genericAuto :: (Generic a, GenericFromDhall a (Rep a)) => Decoder a
- genericAutoWith :: (Generic a, GenericFromDhall a (Rep a)) => InterpretOptions -> Decoder a
- genericAutoWithInputNormalizer :: (Generic a, GenericFromDhall a (Rep a)) => InterpretOptions -> InputNormalizer -> Decoder a
- newtype DhallErrors e = DhallErrors {}
- showDhallErrors :: Show e => String -> DhallErrors e -> String
- data InvalidDecoder s a = InvalidDecoder {
- invalidDecoderExpected :: Expr s a
- invalidDecoderExpression :: Expr s a
- type ExtractErrors s a = DhallErrors (ExtractError s a)
- data ExtractError s a
- type Extractor s a = Validation (ExtractErrors s a)
- typeError :: Expector (Expr s a) -> Expr s a -> Extractor s a b
- extractError :: Text -> Extractor s a b
- type MonadicExtractor s a = Either (ExtractErrors s a)
- toMonadic :: Extractor s a b -> MonadicExtractor s a b
- fromMonadic :: MonadicExtractor s a b -> Extractor s a b
- type ExpectedTypeErrors = DhallErrors ExpectedTypeError
- data ExpectedTypeError = RecursiveTypeError
- type Expector = Validation ExpectedTypeErrors
- newtype InputNormalizer = InputNormalizer {}
- defaultInputNormalizer :: InputNormalizer
- data InterpretOptions = InterpretOptions {}
- data SingletonConstructors
- defaultInterpretOptions :: InterpretOptions
- data Result (f :: Type -> Type)
- data Natural
- data Seq a
- data Text
- data Vector a
- class Generic a
General
A (Decoder a)
represents a way to marshal a value of type 'a'
from Dhall
into Haskell.
You can produce Decoder
s either explicitly:
example :: Decoder (Vector Text) example = vector text
... or implicitly using auto
:
example :: Decoder (Vector Text) example = auto
You can consume Decoder
s using the input
function:
input :: Decoder a -> Text -> IO a
Constructors
Decoder | |
Any value that implements FromDhall
can be automatically decoded based on
the inferred return type of input
.
>>>
input auto "[1, 2, 3]" :: IO (Vector Natural)
[1,2,3]>>>
input auto "toMap { a = False, b = True }" :: IO (Map Text Bool)
fromList [("a",False),("b",True)]
This class auto-generates a default implementation for types that
implement Generic
. This does not auto-generate an instance for recursive
types.
The default instance can be tweaked using genericAutoWith
/genericAutoWithInputNormalizer
and custom InterpretOptions
, or using
DerivingVia
and Codec
from Dhall.Deriving.
Minimal complete definition
Nothing
Methods
autoWith :: InputNormalizer -> Decoder a #
default autoWith :: (Generic a, GenericFromDhall a (Rep a)) => InputNormalizer -> Decoder a #
Instances
auto :: FromDhall a => Decoder a #
Use the default input normalizer for interpreting an input.
auto = autoWith defaultInputNormalizer
Building decoders
Simple decoders
Decode ()
from an empty record.
>>>
input unit "{=}" -- GHC doesn't print the result if it is ()
Numbers
scientific :: Decoder Scientific #
Decode a Scientific
.
>>>
input scientific "1e100"
1.0e100
Bytes
lazyBytes :: Decoder ByteString #
Decode a lazy ByteString
.
>>>
input lazyBytes "0x\"00FF\""
"\NUL\255"
strictBytes :: Decoder ByteString #
Decode a strict ByteString
>>>
input strictBytes "0x\"00FF\""
"\NUL\255"
shortBytes :: Decoder ShortByteString #
Decode a ShortByteString
>>>
input shortBytes "0x\"00FF\""
"\NUL\255"
Textual
strictText :: Decoder Text #
Decode strict Text
.
>>>
input strictText "\"Test\""
"Test"
Time
localTime :: Decoder LocalTime #
Decode LocalTime
>>>
input localTime "2020-01-01T12:34:56"
2020-01-01 12:34:56
zonedTime :: Decoder ZonedTime #
Decode ZonedTime
>>>
input zonedTime "2020-01-01T12:34:56+02:00"
2020-01-01 12:34:56 +0200
Decode UTCTime
>>>
input utcTime "2020-01-01T12:34:56+02:00"
2020-01-01 10:34:56 UTC
dayOfWeek :: Decoder DayOfWeek #
Decode DayOfWeek
>>>
input dayOfWeek "< Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday >.Monday"
Monday
Containers
pair :: Decoder a -> Decoder b -> Decoder (a, b) #
Given a pair of Decoder
s, decode a tuple-record into their pairing.
>>>
input (pair natural bool) "{ _1 = 42, _2 = False }"
(42,False)
sequence :: Decoder a -> Decoder (Seq a) #
Decode a Seq
.
>>>
input (sequence natural) "[1, 2, 3]"
fromList [1,2,3]
vector :: Decoder a -> Decoder (Vector a) #
Decode a Vector
.
>>>
input (vector natural) "[1, 2, 3]"
[1,2,3]
setFromDistinctList :: (Ord a, Show a) => Decoder a -> Decoder (Set a) #
Decode a Set
from a List
with distinct elements.
>>>
input (setFromDistinctList natural) "[1, 2, 3]"
fromList [1,2,3]
An error is thrown if the list contains duplicates.
>>> input (setFromDistinctList natural) "[1, 1, 3]" *** Exception: Error: Failed extraction The expression type-checked successfully but the transformation to the target type failed with the following error: One duplicate element in the list: 1
>>> input (setFromDistinctList natural) "[1, 1, 3, 3]" *** Exception: Error: Failed extraction The expression type-checked successfully but the transformation to the target type failed with the following error: 2 duplicates were found in the list, including 1
hashSetFromDistinctList :: (Hashable a, Ord a, Show a) => Decoder a -> Decoder (HashSet a) #
Decode a HashSet
from a List
with distinct elements.
>>>
input (hashSetFromDistinctList natural) "[1, 2, 3]"
fromList [1,2,3]
An error is thrown if the list contains duplicates.
>>> input (hashSetFromDistinctList natural) "[1, 1, 3]" *** Exception: Error: Failed extraction The expression type-checked successfully but the transformation to the target type failed with the following error: One duplicate element in the list: 1
>>> input (hashSetFromDistinctList natural) "[1, 1, 3, 3]" *** Exception: Error: Failed extraction The expression type-checked successfully but the transformation to the target type failed with the following error: 2 duplicates were found in the list, including 1
map :: Ord k => Decoder k -> Decoder v -> Decoder (Map k v) #
Decode a Map
from a toMap
expression or generally a Prelude.Map.Type
.
>>>
input (Dhall.map strictText bool) "toMap { a = True, b = False }"
fromList [("a",True),("b",False)]>>>
input (Dhall.map strictText bool) "[ { mapKey = \"foo\", mapValue = True } ]"
fromList [("foo",True)]
If there are duplicate mapKey
s, later mapValue
s take precedence:
>>>
let expr = "[ { mapKey = 1, mapValue = True }, { mapKey = 1, mapValue = False } ]"
>>>
input (Dhall.map natural bool) expr
fromList [(1,False)]
hashMap :: (Eq k, Hashable k) => Decoder k -> Decoder v -> Decoder (HashMap k v) #
Decode a HashMap
from a toMap
expression or generally a Prelude.Map.Type
.
>>>
fmap (List.sort . HashMap.toList) (input (Dhall.hashMap strictText bool) "toMap { a = True, b = False }")
[("a",True),("b",False)]>>>
fmap (List.sort . HashMap.toList) (input (Dhall.hashMap strictText bool) "[ { mapKey = \"foo\", mapValue = True } ]")
[("foo",True)]
If there are duplicate mapKey
s, later mapValue
s take precedence:
>>>
let expr = "[ { mapKey = 1, mapValue = True }, { mapKey = 1, mapValue = False } ]"
>>>
input (Dhall.hashMap natural bool) expr
fromList [(1,False)]
pairFromMapEntry :: Decoder k -> Decoder v -> Decoder (k, v) #
Decode a tuple from a Prelude.Map.Entry
record.
>>>
input (pairFromMapEntry strictText natural) "{ mapKey = \"foo\", mapValue = 3 }"
("foo",3)
Functions
function :: Encoder a -> Decoder b -> Decoder (a -> b) #
Decode a Dhall function into a Haskell function.
>>>
f <- input (function inject bool) "Natural/even" :: IO (Natural -> Bool)
>>>
f 0
True>>>
f 1
False
functionWith :: InputNormalizer -> Encoder a -> Decoder b -> Decoder (a -> b) #
Decode a Dhall function into a Haskell function using the specified normalizer.
>>>
f <- input (functionWith defaultInputNormalizer inject bool) "Natural/even" :: IO (Natural -> Bool)
>>>
f 0
True>>>
f 1
False
Records
newtype RecordDecoder a #
The RecordDecoder
applicative functor allows you to build a Decoder
from a Dhall record.
For example, let's take the following Haskell data type:
>>>
:{
data Project = Project { projectName :: Text , projectDescription :: Text , projectStars :: Natural } :}
And assume that we have the following Dhall record that we would like to
parse as a Project
:
{ name = "dhall-haskell" , description = "A configuration language guaranteed to terminate" , stars = 289 }
Our decoder has type Decoder
Project
, but we can't build that out of any
smaller decoders, as Decoder
s cannot be combined (they are only Functor
s).
However, we can use a RecordDecoder
to build a Decoder
for Project
:
>>>
:{
project :: Decoder Project project = record ( Project <$> field "name" strictText <*> field "description" strictText <*> field "stars" natural ) :}
Constructors
RecordDecoder (Product (Const (Map Text (Expector (Expr Src Void))) :: Type -> Type) (Compose ((->) (Expr Src Void)) (Extractor Src Void)) a) |
Instances
Applicative RecordDecoder # | |
Defined in Dhall.Marshal.Decode Methods pure :: a -> RecordDecoder a # (<*>) :: RecordDecoder (a -> b) -> RecordDecoder a -> RecordDecoder b # liftA2 :: (a -> b -> c) -> RecordDecoder a -> RecordDecoder b -> RecordDecoder c # (*>) :: RecordDecoder a -> RecordDecoder b -> RecordDecoder b # (<*) :: RecordDecoder a -> RecordDecoder b -> RecordDecoder a # | |
Functor RecordDecoder # | |
Defined in Dhall.Marshal.Decode Methods fmap :: (a -> b) -> RecordDecoder a -> RecordDecoder b # (<$) :: a -> RecordDecoder b -> RecordDecoder a # |
record :: RecordDecoder a -> Decoder a #
Run a RecordDecoder
to build a Decoder
.
field :: Text -> Decoder a -> RecordDecoder a #
Parse a single field of a record.
Unions
newtype UnionDecoder a #
The UnionDecoder
monoid allows you to build a Decoder
from a Dhall union.
For example, let's take the following Haskell data type:
>>>
:{
data Status = Queued Natural | Result Text | Errored Text :}
And assume that we have the following Dhall union that we would like to
parse as a Status
:
< Result : Text | Queued : Natural | Errored : Text >.Result "Finish successfully"
Our decoder has type Decoder
Status
, but we can't build that out of any
smaller decoders, as Decoder
s cannot be combined (they are only Functor
s).
However, we can use a UnionDecoder
to build a Decoder
for Status
:
>>>
:{
status :: Decoder Status status = union ( ( Queued <$> constructor "Queued" natural ) <> ( Result <$> constructor "Result" strictText ) <> ( Errored <$> constructor "Errored" strictText ) ) :}
Constructors
UnionDecoder (Compose (Map Text) Decoder a) |
Instances
Functor UnionDecoder # | |
Defined in Dhall.Marshal.Decode Methods fmap :: (a -> b) -> UnionDecoder a -> UnionDecoder b # (<$) :: a -> UnionDecoder b -> UnionDecoder a # | |
Monoid (UnionDecoder a) # | |
Defined in Dhall.Marshal.Decode Methods mempty :: UnionDecoder a # mappend :: UnionDecoder a -> UnionDecoder a -> UnionDecoder a # mconcat :: [UnionDecoder a] -> UnionDecoder a # | |
Semigroup (UnionDecoder a) # | |
Defined in Dhall.Marshal.Decode Methods (<>) :: UnionDecoder a -> UnionDecoder a -> UnionDecoder a # sconcat :: NonEmpty (UnionDecoder a) -> UnionDecoder a # stimes :: Integral b => b -> UnionDecoder a -> UnionDecoder a # |
union :: UnionDecoder a -> Decoder a #
Run a UnionDecoder
to build a Decoder
.
constructor :: Text -> Decoder a -> UnionDecoder a #
Parse a single constructor of a union.
Generic decoding
class GenericFromDhall (t :: k) (f :: k1 -> Type) where #
This is the underlying class that powers the FromDhall
class's support
for automatically deriving a generic implementation.
Methods
genericAutoWithNormalizer :: forall (a :: k1). Proxy t -> InputNormalizer -> InterpretOptions -> State Int (Decoder (f a)) #
Instances
class GenericFromDhallUnion (t :: k) (f :: k1 -> Type) where #
This is the underlying class that powers the FromDhall
class's support
for automatically deriving a generic implementation for a union type.
Methods
genericUnionAutoWithNormalizer :: forall (a :: k1). Proxy t -> InputNormalizer -> InterpretOptions -> UnionDecoder (f a) #
Instances
(GenericFromDhallUnion t f1, GenericFromDhallUnion t f2) => GenericFromDhallUnion (t :: k1) (f1 :+: f2 :: k2 -> Type) # | |
Defined in Dhall.Marshal.Decode Methods genericUnionAutoWithNormalizer :: forall (a :: k2). Proxy t -> InputNormalizer -> InterpretOptions -> UnionDecoder ((f1 :+: f2) a) # | |
(Constructor c1, GenericFromDhall t f1) => GenericFromDhallUnion (t :: k1) (M1 C c1 f1 :: k2 -> Type) # | |
Defined in Dhall.Marshal.Decode Methods genericUnionAutoWithNormalizer :: forall (a :: k2). Proxy t -> InputNormalizer -> InterpretOptions -> UnionDecoder (M1 C c1 f1 a) # |
genericAuto :: (Generic a, GenericFromDhall a (Rep a)) => Decoder a #
genericAuto
is the default implementation for auto
if you derive
FromDhall
. The difference is that you can use genericAuto
without
having to explicitly provide a FromDhall
instance for a type as long as
the type derives Generic
.
genericAutoWith :: (Generic a, GenericFromDhall a (Rep a)) => InterpretOptions -> Decoder a #
genericAutoWith
is a configurable version of genericAuto
.
genericAutoWithInputNormalizer :: (Generic a, GenericFromDhall a (Rep a)) => InterpretOptions -> InputNormalizer -> Decoder a #
genericAutoWithInputNormalizer
is like genericAutoWith
, but instead of
using the defaultInputNormalizer
it expects an custom InputNormalizer
.
Decoding errors
newtype DhallErrors e #
A newtype suitable for collecting one or more errors.
Constructors
DhallErrors | |
Instances
showDhallErrors :: Show e => String -> DhallErrors e -> String #
Render a given prefix and some errors to a string.
data InvalidDecoder s a #
Every Decoder
must obey the contract that if an expression's type matches
the expected
type then the extract
function must not fail with a type
error. However, decoding may still fail for other reasons (such as the
decoder for Set
s rejecting a Dhall List
with duplicate
elements).
This error type is used to indicate an internal error in the implementation
of a Decoder
where the expected type matched the Dhall expression, but the
expression supplied to the extraction function did not match the expected
type. If this happens that means that the Decoder
itself needs to be
fixed.
Constructors
InvalidDecoder | |
Fields
|
Instances
(Pretty s, Typeable s, Pretty a, Typeable a) => Exception (InvalidDecoder s a) # | |
Defined in Dhall.Marshal.Decode Methods toException :: InvalidDecoder s a -> SomeException # fromException :: SomeException -> Maybe (InvalidDecoder s a) # displayException :: InvalidDecoder s a -> String # backtraceDesired :: InvalidDecoder s a -> Bool # | |
(Pretty s, Pretty a, Typeable s, Typeable a) => Show (InvalidDecoder s a) # | |
Defined in Dhall.Marshal.Decode Methods showsPrec :: Int -> InvalidDecoder s a -> ShowS # show :: InvalidDecoder s a -> String # showList :: [InvalidDecoder s a] -> ShowS # | |
(Eq s, Eq a) => Eq (InvalidDecoder s a) # | |
Defined in Dhall.Marshal.Decode Methods (==) :: InvalidDecoder s a -> InvalidDecoder s a -> Bool # (/=) :: InvalidDecoder s a -> InvalidDecoder s a -> Bool # |
Extraction errors
type ExtractErrors s a = DhallErrors (ExtractError s a) #
One or more errors returned from extracting a Dhall expression to a Haskell expression.
data ExtractError s a #
Extraction of a value can fail for two reasons, either a type mismatch (which should not happen,
as expressions are type-checked against the expected type before being passed to extract
), or
a term-level error, described with a freeform text value.
Constructors
TypeMismatch (InvalidDecoder s a) | |
ExpectedTypeError ExpectedTypeError | |
ExtractError Text |
Instances
(Pretty s, Pretty a, Typeable s, Typeable a) => Exception (ExtractError s a) # | |
Defined in Dhall.Marshal.Decode Methods toException :: ExtractError s a -> SomeException # fromException :: SomeException -> Maybe (ExtractError s a) # displayException :: ExtractError s a -> String # backtraceDesired :: ExtractError s a -> Bool # | |
(Pretty s, Pretty a, Typeable s, Typeable a) => Show (ExtractError s a) # | |
Defined in Dhall.Marshal.Decode Methods showsPrec :: Int -> ExtractError s a -> ShowS # show :: ExtractError s a -> String # showList :: [ExtractError s a] -> ShowS # | |
(Pretty s, Pretty a, Typeable s, Typeable a) => Show (ExtractErrors s a) # | |
Defined in Dhall.Marshal.Decode Methods showsPrec :: Int -> ExtractErrors s a -> ShowS # show :: ExtractErrors s a -> String # showList :: [ExtractErrors s a] -> ShowS # | |
(Eq s, Eq a) => Eq (ExtractError s a) # | |
Defined in Dhall.Marshal.Decode Methods (==) :: ExtractError s a -> ExtractError s a -> Bool # (/=) :: ExtractError s a -> ExtractError s a -> Bool # |
type Extractor s a = Validation (ExtractErrors s a) #
Useful synonym for the Validation
type used when marshalling Dhall
expressions.
typeError :: Expector (Expr s a) -> Expr s a -> Extractor s a b #
Generate a type error during extraction by specifying the expected type and the actual type. The expected type is not yet determined.
extractError :: Text -> Extractor s a b #
Turn a Text
message into an extraction failure.
type MonadicExtractor s a = Either (ExtractErrors s a) #
Useful synonym for the equivalent Either
type used when marshalling Dhall
code.
toMonadic :: Extractor s a b -> MonadicExtractor s a b #
Switches from an Applicative
extraction result, able to accumulate errors,
to a Monad
extraction result, able to chain sequential operations.
fromMonadic :: MonadicExtractor s a b -> Extractor s a b #
Switches from a Monad
extraction result, able to chain sequential errors,
to an Applicative
extraction result, able to accumulate errors.
Typing errors
type ExpectedTypeErrors = DhallErrors ExpectedTypeError #
One or more errors returned when determining the Dhall type of a Haskell expression.
data ExpectedTypeError #
Error type used when determining the Dhall type of a Haskell expression.
Constructors
RecursiveTypeError |
Instances
Exception ExpectedTypeError # | |
Defined in Dhall.Marshal.Decode Methods toException :: ExpectedTypeError -> SomeException # fromException :: SomeException -> Maybe ExpectedTypeError # | |
Show ExpectedTypeError # | |
Defined in Dhall.Marshal.Decode Methods showsPrec :: Int -> ExpectedTypeError -> ShowS # show :: ExpectedTypeError -> String # showList :: [ExpectedTypeError] -> ShowS # | |
Show ExpectedTypeErrors # | |
Defined in Dhall.Marshal.Decode Methods showsPrec :: Int -> ExpectedTypeErrors -> ShowS # show :: ExpectedTypeErrors -> String # showList :: [ExpectedTypeErrors] -> ShowS # | |
Eq ExpectedTypeError # | |
Defined in Dhall.Marshal.Decode Methods (==) :: ExpectedTypeError -> ExpectedTypeError -> Bool # (/=) :: ExpectedTypeError -> ExpectedTypeError -> Bool # |
type Expector = Validation ExpectedTypeErrors #
Useful synonym for the Validation
type used when marshalling Dhall
expressions.
Miscellaneous
newtype InputNormalizer #
This is only used by the FromDhall
instance for
functions in order to normalize the function input before marshaling the
input into a Dhall expression.
Constructors
InputNormalizer | |
Fields |
defaultInputNormalizer :: InputNormalizer #
Default normalization-related settings (no custom normalization)
data InterpretOptions #
Use these options to tweak how Dhall derives a generic implementation of
FromDhall
.
Constructors
InterpretOptions | |
Fields
|
data SingletonConstructors #
This type specifies how to model a Haskell constructor with 1 field in Dhall
For example, consider the following Haskell datatype definition:
data Example = Foo { x :: Double } | Bar Double
Depending on which option you pick, the corresponding Dhall type could be:
< Foo : Double | Bar : Double > -- Bare
< Foo : { x : Double } | Bar : { _1 : Double } > -- Wrapped
< Foo : { x : Double } | Bar : Double > -- Smart
Constructors
Bare | Never wrap the field in a record |
Wrapped | Always wrap the field in a record |
Smart | Only fields in a record if they are named |
Instances
ToSingletonConstructors a => ModifyOptions (SetSingletonConstructors a :: Type) # | |
Defined in Dhall.Deriving Methods |
defaultInterpretOptions :: InterpretOptions #
Default interpret options for generics-based instances, which you can tweak or override, like this:
genericAutoWith (defaultInterpretOptions { fieldModifier = Data.Text.Lazy.dropWhile (== '_') })
data Result (f :: Type -> Type) #
This type is exactly the same as Fix
except with a different
FromDhall
instance. This intermediate type
simplifies the implementation of the inner loop for the
FromDhall
instance for Fix
.
Instances
FromDhall (f (Result f)) => FromDhall (Result f) # | |
Defined in Dhall.Marshal.Decode Methods autoWith :: InputNormalizer -> Decoder (Result f) # | |
ToDhall (f (Result f)) => ToDhall (Result f) # | |
Defined in Dhall.Marshal.Encode Methods injectWith :: InputNormalizer -> Encoder (Result f) # |
Re-exports
Natural number
Invariant: numbers <= 0xffffffffffffffff use the NS
constructor
Instances
General-purpose finite sequences.
Instances
FromJSON1 Seq | |||||||||
ToJSON1 Seq | |||||||||
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> Seq a -> Value # liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [Seq a] -> Value # liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> Seq a -> Encoding # liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [Seq a] -> Encoding # liftOmitField :: (a -> Bool) -> Seq a -> Bool # | |||||||||
MonadZip Seq |
Since: containers-0.5.10.1 | ||||||||
Eq1 Seq | Since: containers-0.5.9 | ||||||||
Ord1 Seq | Since: containers-0.5.9 | ||||||||
Defined in Data.Sequence.Internal | |||||||||
Read1 Seq | Since: containers-0.5.9 | ||||||||
Defined in Data.Sequence.Internal | |||||||||
Show1 Seq | Since: containers-0.5.9 | ||||||||
UnzipWith Seq | |||||||||
Defined in Data.Sequence.Internal Methods unzipWith' :: (x -> (a, b)) -> Seq x -> (Seq a, Seq b) | |||||||||
Alternative Seq | Since: containers-0.5.4 | ||||||||
Applicative Seq | Since: containers-0.5.4 | ||||||||
Functor Seq | |||||||||
Monad Seq | |||||||||
MonadPlus Seq | |||||||||
MonadFix Seq | Since: containers-0.5.11 | ||||||||
Defined in Data.Sequence.Internal | |||||||||
Foldable Seq | |||||||||
Defined in Data.Sequence.Internal Methods fold :: Monoid m => Seq m -> m # foldMap :: Monoid m => (a -> m) -> Seq a -> m # foldMap' :: Monoid m => (a -> m) -> Seq a -> m # foldr :: (a -> b -> b) -> b -> Seq a -> b # foldr' :: (a -> b -> b) -> b -> Seq a -> b # foldl :: (b -> a -> b) -> b -> Seq a -> b # foldl' :: (b -> a -> b) -> b -> Seq a -> b # foldr1 :: (a -> a -> a) -> Seq a -> a # foldl1 :: (a -> a -> a) -> Seq a -> a # elem :: Eq a => a -> Seq a -> Bool # maximum :: Ord a => Seq a -> a # | |||||||||
Traversable Seq | |||||||||
Hashable1 Seq | Since: hashable-1.3.4.0 | ||||||||
Defined in Data.Hashable.Class | |||||||||
FoldableWithIndex Int Seq | |||||||||
FunctorWithIndex Int Seq | The position in the | ||||||||
TraversableWithIndex Int Seq | |||||||||
Lift a => Lift (Seq a :: Type) | Since: containers-0.6.6 | ||||||||
FromJSON a => FromJSON (Seq a) | |||||||||
Defined in Data.Aeson.Types.FromJSON | |||||||||
ToJSON a => ToJSON (Seq a) | |||||||||
NFData a => NFData (Seq a) | |||||||||
Defined in Data.Sequence.Internal | |||||||||
FromDhall a => FromDhall (Seq a) # | |||||||||
Defined in Dhall.Marshal.Decode Methods autoWith :: InputNormalizer -> Decoder (Seq a) # | |||||||||
ToDhall a => ToDhall (Seq a) # | |||||||||
Defined in Dhall.Marshal.Encode Methods injectWith :: InputNormalizer -> Encoder (Seq a) # | |||||||||
Monoid (Seq a) | |||||||||
Semigroup (Seq a) | Since: containers-0.5.7 | ||||||||
Data a => Data (Seq a) | |||||||||
Defined in Data.Sequence.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Seq a -> c (Seq a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Seq a) # dataTypeOf :: Seq a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Seq a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Seq a)) # gmapT :: (forall b. Data b => b -> b) -> Seq a -> Seq a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Seq a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Seq a -> r # gmapQ :: (forall d. Data d => d -> u) -> Seq a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Seq a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Seq a -> m (Seq a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Seq a -> m (Seq a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Seq a -> m (Seq a) # | |||||||||
a ~ Char => IsString (Seq a) | Since: containers-0.5.7 | ||||||||
Defined in Data.Sequence.Internal Methods fromString :: String -> Seq a # | |||||||||
IsList (Seq a) | |||||||||
Read a => Read (Seq a) | |||||||||
Show a => Show (Seq a) | |||||||||
Eq a => Eq (Seq a) | |||||||||
Ord a => Ord (Seq a) | |||||||||
Hashable v => Hashable (Seq v) | Since: hashable-1.3.4.0 | ||||||||
Defined in Data.Hashable.Class | |||||||||
Ord a => Stream (Seq a) | Since: megaparsec-9.0.0 | ||||||||
Defined in Text.Megaparsec.Stream Associated Types
Methods tokenToChunk :: Proxy (Seq a) -> Token (Seq a) -> Tokens (Seq a) # tokensToChunk :: Proxy (Seq a) -> [Token (Seq a)] -> Tokens (Seq a) # chunkToTokens :: Proxy (Seq a) -> Tokens (Seq a) -> [Token (Seq a)] # chunkLength :: Proxy (Seq a) -> Tokens (Seq a) -> Int # chunkEmpty :: Proxy (Seq a) -> Tokens (Seq a) -> Bool # take1_ :: Seq a -> Maybe (Token (Seq a), Seq a) # takeN_ :: Int -> Seq a -> Maybe (Tokens (Seq a), Seq a) # takeWhile_ :: (Token (Seq a) -> Bool) -> Seq a -> (Tokens (Seq a), Seq a) # | |||||||||
Serialise a => Serialise (Seq a) | Since: serialise-0.2.0.0 | ||||||||
type Item (Seq a) | |||||||||
Defined in Data.Sequence.Internal | |||||||||
type Token (Seq a) | |||||||||
Defined in Text.Megaparsec.Stream | |||||||||
type Tokens (Seq a) | |||||||||
Defined in Text.Megaparsec.Stream |
A space efficient, packed, unboxed Unicode text type.
Instances
FromJSON Text | |||||||||
Defined in Data.Aeson.Types.FromJSON | |||||||||
FromJSONKey Text | |||||||||
Defined in Data.Aeson.Types.FromJSON | |||||||||
ToJSON Text | |||||||||
ToJSONKey Text | |||||||||
Defined in Data.Aeson.Types.ToJSON | |||||||||
Chunk Text | |||||||||
Defined in Data.Attoparsec.Internal.Types Associated Types
| |||||||||
FoldCase Text | |||||||||
Defined in Data.CaseInsensitive.Internal | |||||||||
FromDhall Text # | |||||||||
Defined in Dhall.Marshal.Decode Methods autoWith :: InputNormalizer -> Decoder Text # | |||||||||
ToDhall Text # | |||||||||
Defined in Dhall.Marshal.Encode Methods injectWith :: InputNormalizer -> Encoder Text # | |||||||||
Hashable Text | |||||||||
Defined in Data.Hashable.Class | |||||||||
QueryKeyLike Text | |||||||||
Defined in Network.HTTP.Types.QueryLike Methods toQueryKey :: Text -> ByteString # | |||||||||
QueryValueLike Text | |||||||||
Defined in Network.HTTP.Types.QueryLike Methods toQueryValue :: Text -> Maybe ByteString # | |||||||||
Stream Text | |||||||||
Defined in Text.Megaparsec.Stream Associated Types
Methods tokenToChunk :: Proxy Text -> Token Text -> Tokens Text # tokensToChunk :: Proxy Text -> [Token Text] -> Tokens Text # chunkToTokens :: Proxy Text -> Tokens Text -> [Token Text] # chunkLength :: Proxy Text -> Tokens Text -> Int # chunkEmpty :: Proxy Text -> Tokens Text -> Bool # take1_ :: Text -> Maybe (Token Text, Text) # takeN_ :: Int -> Text -> Maybe (Tokens Text, Text) # takeWhile_ :: (Token Text -> Bool) -> Text -> (Tokens Text, Text) # | |||||||||
TraversableStream Text | |||||||||
VisualStream Text | |||||||||
Pretty Text | Automatically converts all newlines to
Note that
Manually use | ||||||||
Defined in Prettyprinter.Internal | |||||||||
Serialise Text | Since: serialise-0.2.0.0 | ||||||||
MonadParsec Void Text Parser # | |||||||||
Defined in Dhall.Parser.Combinators Methods parseError :: ParseError Text Void -> Parser a # label :: String -> Parser a -> Parser a # hidden :: Parser a -> Parser a # lookAhead :: Parser a -> Parser a # notFollowedBy :: Parser a -> Parser () # withRecovery :: (ParseError Text Void -> Parser a) -> Parser a -> Parser a # observing :: Parser a -> Parser (Either (ParseError Text Void) a) # token :: (Token Text -> Maybe a) -> Set (ErrorItem (Token Text)) -> Parser a # tokens :: (Tokens Text -> Tokens Text -> Bool) -> Tokens Text -> Parser (Tokens Text) # takeWhileP :: Maybe String -> (Token Text -> Bool) -> Parser (Tokens Text) # takeWhile1P :: Maybe String -> (Token Text -> Bool) -> Parser (Tokens Text) # takeP :: Maybe String -> Int -> Parser (Tokens Text) # getParserState :: Parser (State Text Void) # updateParserState :: (State Text Void -> State Text Void) -> Parser () # mkParsec :: (State Text Void -> Reply Void Text a) -> Parser a # | |||||||||
Stream (NoShareInput Text) | |||||||||
Defined in Text.Megaparsec.Stream Associated Types
Methods tokenToChunk :: Proxy (NoShareInput Text) -> Token (NoShareInput Text) -> Tokens (NoShareInput Text) # tokensToChunk :: Proxy (NoShareInput Text) -> [Token (NoShareInput Text)] -> Tokens (NoShareInput Text) # chunkToTokens :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> [Token (NoShareInput Text)] # chunkLength :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Int # chunkEmpty :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Bool # take1_ :: NoShareInput Text -> Maybe (Token (NoShareInput Text), NoShareInput Text) # takeN_ :: Int -> NoShareInput Text -> Maybe (Tokens (NoShareInput Text), NoShareInput Text) # takeWhile_ :: (Token (NoShareInput Text) -> Bool) -> NoShareInput Text -> (Tokens (NoShareInput Text), NoShareInput Text) # | |||||||||
Stream (ShareInput Text) | |||||||||
Defined in Text.Megaparsec.Stream Associated Types
Methods tokenToChunk :: Proxy (ShareInput Text) -> Token (ShareInput Text) -> Tokens (ShareInput Text) # tokensToChunk :: Proxy (ShareInput Text) -> [Token (ShareInput Text)] -> Tokens (ShareInput Text) # chunkToTokens :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> [Token (ShareInput Text)] # chunkLength :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Int # chunkEmpty :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Bool # take1_ :: ShareInput Text -> Maybe (Token (ShareInput Text), ShareInput Text) # takeN_ :: Int -> ShareInput Text -> Maybe (Tokens (ShareInput Text), ShareInput Text) # takeWhile_ :: (Token (ShareInput Text) -> Bool) -> ShareInput Text -> (Tokens (ShareInput Text), ShareInput Text) # | |||||||||
type ChunkElem Text | |||||||||
Defined in Data.Attoparsec.Internal.Types | |||||||||
type State Text | |||||||||
Defined in Data.Attoparsec.Internal.Types | |||||||||
type Item Text | |||||||||
type Token Text | |||||||||
Defined in Text.Megaparsec.Stream | |||||||||
type Tokens Text | |||||||||
Defined in Text.Megaparsec.Stream | |||||||||
type Token (NoShareInput Text) | |||||||||
Defined in Text.Megaparsec.Stream | |||||||||
type Token (ShareInput Text) | |||||||||
Defined in Text.Megaparsec.Stream | |||||||||
type Tokens (NoShareInput Text) | |||||||||
Defined in Text.Megaparsec.Stream | |||||||||
type Tokens (ShareInput Text) | |||||||||
Defined in Text.Megaparsec.Stream |
Instances
FromJSON1 Vector | |
Defined in Data.Aeson.Types.FromJSON | |
ToJSON1 Vector | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> Vector a -> Value # liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [Vector a] -> Value # liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> Vector a -> Encoding # liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [Vector a] -> Encoding # liftOmitField :: (a -> Bool) -> Vector a -> Bool # | |
MonadZip Vector | |
Eq1 Vector | |
Ord1 Vector | |
Defined in Data.Vector | |
Read1 Vector | |
Defined in Data.Vector | |
Show1 Vector | |
NFData1 Vector | |
Defined in Data.Vector | |
Alternative Vector | |
Applicative Vector | |
Functor Vector | |
Monad Vector | |
MonadPlus Vector | |
MonadFail Vector | |
Defined in Data.Vector | |
MonadFix Vector | |
Defined in Data.Vector | |
Foldable Vector | |
Defined in Data.Vector Methods fold :: Monoid m => Vector m -> m # foldMap :: Monoid m => (a -> m) -> Vector a -> m # foldMap' :: Monoid m => (a -> m) -> Vector a -> m # foldr :: (a -> b -> b) -> b -> Vector a -> b # foldr' :: (a -> b -> b) -> b -> Vector a -> b # foldl :: (b -> a -> b) -> b -> Vector a -> b # foldl' :: (b -> a -> b) -> b -> Vector a -> b # foldr1 :: (a -> a -> a) -> Vector a -> a # foldl1 :: (a -> a -> a) -> Vector a -> a # elem :: Eq a => a -> Vector a -> Bool # maximum :: Ord a => Vector a -> a # minimum :: Ord a => Vector a -> a # | |
Traversable Vector | |
Vector Vector a | |
Defined in Data.Vector Methods basicUnsafeFreeze :: Mutable Vector s a -> ST s (Vector a) basicUnsafeThaw :: Vector a -> ST s (Mutable Vector s a) basicLength :: Vector a -> Int basicUnsafeSlice :: Int -> Int -> Vector a -> Vector a basicUnsafeIndexM :: Vector a -> Int -> Box a basicUnsafeCopy :: Mutable Vector s a -> Vector a -> ST s () | |
FromJSON a => FromJSON (Vector a) | |
Defined in Data.Aeson.Types.FromJSON | |
ToJSON a => ToJSON (Vector a) | |
NFData a => NFData (Vector a) | |
Defined in Data.Vector | |
FromDhall a => FromDhall (Vector a) # | |
Defined in Dhall.Marshal.Decode Methods autoWith :: InputNormalizer -> Decoder (Vector a) # | |
ToDhall a => ToDhall (Vector a) # | |
Defined in Dhall.Marshal.Encode Methods injectWith :: InputNormalizer -> Encoder (Vector a) # | |
Monoid (Vector a) | |
Semigroup (Vector a) | |
Data a => Data (Vector a) | |
Defined in Data.Vector Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Vector a -> c (Vector a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Vector a) # toConstr :: Vector a -> Constr # dataTypeOf :: Vector a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Vector a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Vector a)) # gmapT :: (forall b. Data b => b -> b) -> Vector a -> Vector a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Vector a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Vector a -> r # gmapQ :: (forall d. Data d => d -> u) -> Vector a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Vector a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Vector a -> m (Vector a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Vector a -> m (Vector a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Vector a -> m (Vector a) # | |
IsList (Vector a) | |
Read a => Read (Vector a) | |
Show a => Show (Vector a) | |
Eq a => Eq (Vector a) | |
Ord a => Ord (Vector a) | |
Defined in Data.Vector | |
Serialise a => Serialise (Vector a) | Since: serialise-0.2.0.0 |
type Mutable Vector | |
Defined in Data.Vector type Mutable Vector = MVector | |
type Item (Vector a) | |
Defined in Data.Vector |
Representable types of kind *
.
This class is derivable in GHC with the DeriveGeneric
flag on.
A Generic
instance must satisfy the following laws:
from
.to
≡id
to
.from
≡id
Instances
Generic Value | |||||
Defined in Data.Aeson.Types.Internal Associated Types
| |||||
Generic ShortByteString | |||||
Defined in Data.ByteString.Short.Internal Associated Types
Methods from :: ShortByteString -> Rep ShortByteString x # to :: Rep ShortByteString x -> ShortByteString # | |||||
Generic SHA256Digest # | |||||
Defined in Dhall.Crypto Associated Types
| |||||
Generic FilesystemEntry # | |||||
Defined in Dhall.DirectoryTree.Types Associated Types
Methods from :: FilesystemEntry -> Rep FilesystemEntry x # to :: Rep FilesystemEntry x -> FilesystemEntry # | |||||
Generic Group # | |||||
Defined in Dhall.DirectoryTree.Types Associated Types
| |||||
Generic User # | |||||
Defined in Dhall.DirectoryTree.Types Associated Types
| |||||
Generic CharacterSet # | |||||
Defined in Dhall.Pretty.Internal Associated Types
| |||||
Generic Src # | |||||
Defined in Dhall.Src Associated Types
| |||||
Generic Const # | |||||
Defined in Dhall.Syntax.Const Associated Types
| |||||
Generic Directory # | |||||
Defined in Dhall.Syntax.Import Associated Types
| |||||
Generic File # | |||||
Defined in Dhall.Syntax.Import Associated Types
| |||||
Generic FilePrefix # | |||||
Defined in Dhall.Syntax.Import Associated Types
| |||||
Generic Import # | |||||
Defined in Dhall.Syntax.Import Associated Types
| |||||
Generic ImportHashed # | |||||
Defined in Dhall.Syntax.Import Associated Types
| |||||
Generic ImportMode # | |||||
Defined in Dhall.Syntax.Import Associated Types
| |||||
Generic ImportType # | |||||
Defined in Dhall.Syntax.Import Associated Types
| |||||
Generic Scheme # | |||||
Defined in Dhall.Syntax.Import | |||||
Generic URL # | |||||
Defined in Dhall.Syntax.Import Associated Types
| |||||
Generic DhallDouble # | |||||
Defined in Dhall.Syntax.Types Associated Types
| |||||
Generic PreferAnnotation # | |||||
Defined in Dhall.Syntax.Types Associated Types
Methods from :: PreferAnnotation -> Rep PreferAnnotation x # to :: Rep PreferAnnotation x -> PreferAnnotation # | |||||
Generic WithComponent # | |||||
Defined in Dhall.Syntax.Types Associated Types
| |||||
Generic Var # | |||||
Defined in Dhall.Syntax.Var Associated Types
| |||||
Generic ForeignSrcLang | |||||
Defined in GHC.ForeignSrcLang.Type Associated Types
Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x # to :: Rep ForeignSrcLang x -> ForeignSrcLang # | |||||
Generic Extension | |||||
Defined in GHC.LanguageExtensions.Type Associated Types
| |||||
Generic Void | |||||
Generic All | |||||
Defined in GHC.Internal.Data.Semigroup.Internal Associated Types
| |||||
Generic Any | |||||
Defined in GHC.Internal.Data.Semigroup.Internal Associated Types
| |||||
Generic Version | |||||
Defined in GHC.Internal.Data.Version Associated Types
| |||||
Generic Fingerprint | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic Associativity | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic DecidedStrictness | |||||
Defined in GHC.Internal.Generics Associated Types
Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness # | |||||
Generic Fixity | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic SourceStrictness | |||||
Defined in GHC.Internal.Generics Associated Types
Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness # | |||||
Generic SourceUnpackedness | |||||
Defined in GHC.Internal.Generics Associated Types
Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness # | |||||
Generic ExitCode | |||||
Defined in GHC.Internal.IO.Exception Associated Types
| |||||
Generic CCFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic ConcFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic DebugFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic DoCostCentres | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic DoHeapProfile | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic DoTrace | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic GCFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic GiveGCStats | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic HpcFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic MiscFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic ParFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic ProfFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic RTSFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic TickyFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic TraceFlags | |||||
Defined in GHC.Internal.RTS.Flags Associated Types
| |||||
Generic SrcLoc | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic GCDetails | |||||
Defined in GHC.Internal.Stats Associated Types
| |||||
Generic RTSStats | |||||
Defined in GHC.Internal.Stats Associated Types
| |||||
Generic GeneralCategory | |||||
Defined in GHC.Internal.Generics Associated Types
Methods from :: GeneralCategory -> Rep GeneralCategory x # to :: Rep GeneralCategory x -> GeneralCategory # | |||||
Generic Ordering | |||||
Defined in GHC.Internal.Generics | |||||
Generic Half | |||||
Defined in Numeric.Half.Internal Associated Types
| |||||
Generic ByteRange | |||||
Defined in Network.HTTP.Types.Header Associated Types
| |||||
Generic StdMethod | |||||
Defined in Network.HTTP.Types.Method Associated Types
| |||||
Generic Status | |||||
Defined in Network.HTTP.Types.Status Associated Types
| |||||
Generic HttpVersion | |||||
Defined in Network.HTTP.Types.Version Associated Types
| |||||
Generic IP | |||||
Defined in Data.IP.Addr Associated Types
| |||||
Generic IPv4 | |||||
Defined in Data.IP.Addr Associated Types
| |||||
Generic IPv6 | |||||
Defined in Data.IP.Addr Associated Types
| |||||
Generic IPRange | |||||
Defined in Data.IP.Range Associated Types
| |||||
Generic InvalidPosException | |||||
Defined in Text.Megaparsec.Pos Associated Types
Methods from :: InvalidPosException -> Rep InvalidPosException x # to :: Rep InvalidPosException x -> InvalidPosException # | |||||
Generic Pos | |||||
Defined in Text.Megaparsec.Pos Associated Types
| |||||
Generic SourcePos | |||||
Defined in Text.Megaparsec.Pos Associated Types
| |||||
Generic URI | |||||
Defined in Network.URI Associated Types
| |||||
Generic URIAuth | |||||
Defined in Network.URI Associated Types
| |||||
Generic OsChar | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
Generic OsString | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
Generic PosixChar | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
Generic PosixString | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
Generic WindowsChar | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
Generic WindowsString | |||||
Defined in System.OsString.Internal.Types Associated Types
| |||||
Generic Mode | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
Generic Style | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
Generic TextDetails | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
Generic Doc | |||||
Defined in Text.PrettyPrint.HughesPJ Associated Types
| |||||
Generic ColorOptions | |||||
Defined in Text.Pretty.Simple.Internal.Color Associated Types
| |||||
Generic Style | |||||
Defined in Text.Pretty.Simple.Internal.Color Associated Types
| |||||
Generic Expr | |||||
Defined in Text.Pretty.Simple.Internal.Expr Associated Types
| |||||
Generic CheckColorTty | |||||
Defined in Text.Pretty.Simple.Internal.Printer Associated Types
| |||||
Generic OutputOptions | |||||
Defined in Text.Pretty.Simple.Internal.Printer Associated Types
| |||||
Generic StringOutputStyle | |||||
Defined in Text.Pretty.Simple.Internal.Printer Associated Types
Methods from :: StringOutputStyle -> Rep StringOutputStyle x # to :: Rep StringOutputStyle x -> StringOutputStyle # | |||||
Generic AnnLookup | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic AnnTarget | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Bang | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic BndrVis | |||||
Defined in Language.Haskell.TH.Syntax | |||||
Generic Body | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Bytes | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Callconv | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Clause | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Con | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Dec | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic DecidedStrictness | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: DecidedStrictness -> Rep DecidedStrictness x # to :: Rep DecidedStrictness x -> DecidedStrictness # | |||||
Generic DerivClause | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic DerivStrategy | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic DocLoc | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Exp | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic FamilyResultSig | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: FamilyResultSig -> Rep FamilyResultSig x # to :: Rep FamilyResultSig x -> FamilyResultSig # | |||||
Generic Fixity | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic FixityDirection | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: FixityDirection -> Rep FixityDirection x # to :: Rep FixityDirection x -> FixityDirection # | |||||
Generic Foreign | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic FunDep | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Guard | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Info | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic InjectivityAnn | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: InjectivityAnn -> Rep InjectivityAnn x # to :: Rep InjectivityAnn x -> InjectivityAnn # | |||||
Generic Inline | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Lit | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Loc | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Match | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic ModName | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Module | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic ModuleInfo | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Name | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic NameFlavour | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic NameSpace | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic NamespaceSpecifier | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: NamespaceSpecifier -> Rep NamespaceSpecifier x # to :: Rep NamespaceSpecifier x -> NamespaceSpecifier # | |||||
Generic OccName | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Overlap | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Pat | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic PatSynArgs | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic PatSynDir | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Phases | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic PkgName | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Pragma | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Range | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Role | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic RuleBndr | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic RuleMatch | |||||
Defined in Language.Haskell.TH.Syntax | |||||
Generic Safety | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic SourceStrictness | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: SourceStrictness -> Rep SourceStrictness x # to :: Rep SourceStrictness x -> SourceStrictness # | |||||
Generic SourceUnpackedness | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x # to :: Rep SourceUnpackedness x -> SourceUnpackedness # | |||||
Generic Specificity | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Stmt | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic TyLit | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic TySynEqn | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic Type | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic TypeFamilyHead | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x # to :: Rep TypeFamilyHead x -> TypeFamilyHead # | |||||
Generic Group | |||||
Defined in Network.TLS.Crypto.Types Associated Types
| |||||
Generic CipherId | |||||
Defined in Network.TLS.Types.Cipher Associated Types
| |||||
Generic SessionData | |||||
Defined in Network.TLS.Types.Session Associated Types
| |||||
Generic SessionFlag | |||||
Defined in Network.TLS.Types.Session Associated Types
| |||||
Generic TLS13TicketInfo | |||||
Defined in Network.TLS.Types.Session Associated Types
Methods from :: TLS13TicketInfo -> Rep TLS13TicketInfo x # to :: Rep TLS13TicketInfo x -> TLS13TicketInfo # | |||||
Generic Version | |||||
Defined in Network.TLS.Types.Version Associated Types
| |||||
Generic UnixTime | |||||
Defined in Data.UnixTime.Types Associated Types
| |||||
Generic CompressParams | |||||
Defined in Codec.Compression.Zlib.Internal Associated Types
Methods from :: CompressParams -> Rep CompressParams x # to :: Rep CompressParams x -> CompressParams # | |||||
Generic DecompressError | |||||
Defined in Codec.Compression.Zlib.Internal Associated Types
Methods from :: DecompressError -> Rep DecompressError x # to :: Rep DecompressError x -> DecompressError # | |||||
Generic DecompressParams | |||||
Defined in Codec.Compression.Zlib.Internal Associated Types
Methods from :: DecompressParams -> Rep DecompressParams x # to :: Rep DecompressParams x -> DecompressParams # | |||||
Generic CompressionLevel | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
Methods from :: CompressionLevel -> Rep CompressionLevel x # to :: Rep CompressionLevel x -> CompressionLevel # | |||||
Generic CompressionStrategy | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
Methods from :: CompressionStrategy -> Rep CompressionStrategy x # to :: Rep CompressionStrategy x -> CompressionStrategy # | |||||
Generic Format | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
| |||||
Generic MemoryLevel | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
| |||||
Generic Method | |||||
Defined in Codec.Compression.Zlib.Stream | |||||
Generic WindowBits | |||||
Defined in Codec.Compression.Zlib.Stream Associated Types
| |||||
Generic () | |||||
Generic Bool | |||||
Defined in GHC.Internal.Generics | |||||
Generic (Complex a) | |||||
Defined in Data.Complex Associated Types
| |||||
Generic (First a) | |||||
Defined in Data.Semigroup Associated Types
| |||||
Generic (Last a) | |||||
Defined in Data.Semigroup Associated Types
| |||||
Generic (Max a) | |||||
Defined in Data.Semigroup Associated Types
| |||||
Generic (Min a) | |||||
Defined in Data.Semigroup Associated Types
| |||||
Generic (WrappedMonoid m) | |||||
Defined in Data.Semigroup Associated Types
Methods from :: WrappedMonoid m -> Rep (WrappedMonoid m) x # to :: Rep (WrappedMonoid m) x -> WrappedMonoid m # | |||||
Generic (SCC vertex) | |||||
Defined in Data.Graph Associated Types
| |||||
Generic (Digit a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
Generic (Elem a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
Generic (FingerTree a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
Generic (Node a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
Generic (ViewL a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
Generic (ViewR a) | |||||
Defined in Data.Sequence.Internal Associated Types
| |||||
Generic (Tree a) | |||||
Defined in Data.Tree Associated Types
| |||||
Generic (Fix f) | |||||
Generic (Access f) # | |||||
Defined in Dhall.DirectoryTree.Types Associated Types
| |||||
Generic (Entry a) # | |||||
Defined in Dhall.DirectoryTree.Types Associated Types
| |||||
Generic (Mode f) # | |||||
Defined in Dhall.DirectoryTree.Types Associated Types
| |||||
Generic (Set a) # | |||||
Defined in Dhall.Set Associated Types
| |||||
Generic (FieldSelection s) # | |||||
Defined in Dhall.Syntax.Types Associated Types
Methods from :: FieldSelection s -> Rep (FieldSelection s) x # to :: Rep (FieldSelection s) x -> FieldSelection s # | |||||
Generic (NonEmpty a) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Identity a) | |||||
Defined in GHC.Internal.Data.Functor.Identity Associated Types
| |||||
Generic (First a) | |||||
Defined in GHC.Internal.Data.Monoid Associated Types
| |||||
Generic (Last a) | |||||
Defined in GHC.Internal.Data.Monoid Associated Types
| |||||
Generic (Down a) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Dual a) | |||||
Defined in GHC.Internal.Data.Semigroup.Internal Associated Types
| |||||
Generic (Endo a) | |||||
Defined in GHC.Internal.Data.Semigroup.Internal Associated Types
| |||||
Generic (Product a) | |||||
Defined in GHC.Internal.Data.Semigroup.Internal Associated Types
| |||||
Generic (Sum a) | |||||
Defined in GHC.Internal.Data.Semigroup.Internal Associated Types
| |||||
Generic (ZipList a) | |||||
Defined in GHC.Internal.Functor.ZipList Associated Types
| |||||
Generic (Par1 p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (HistoriedResponse body) | |||||
Defined in Network.HTTP.Client Associated Types
Methods from :: HistoriedResponse body -> Rep (HistoriedResponse body) x # to :: Rep (HistoriedResponse body) x -> HistoriedResponse body # | |||||
Generic (AddrRange a) | |||||
Defined in Data.IP.Range Associated Types
| |||||
Generic (ErrorFancy e) | |||||
Defined in Text.Megaparsec.Error Associated Types
| |||||
Generic (ErrorItem t) | |||||
Defined in Text.Megaparsec.Error Associated Types
| |||||
Generic (EF e) | |||||
Defined in Text.Megaparsec.Error.Builder Associated Types
| |||||
Generic (ET s) | |||||
Defined in Text.Megaparsec.Error.Builder Associated Types
| |||||
Generic (PosState s) | |||||
Defined in Text.Megaparsec.State Associated Types
| |||||
Generic (Doc a) | |||||
Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types
| |||||
Generic (CommaSeparated a) | |||||
Defined in Text.Pretty.Simple.Internal.Expr Associated Types
Methods from :: CommaSeparated a -> Rep (CommaSeparated a) x # to :: Rep (CommaSeparated a) x -> CommaSeparated a # | |||||
Generic (Doc ann) | |||||
Defined in Prettyprinter.Internal Associated Types
| |||||
Generic (SimpleDocStream ann) | |||||
Defined in Prettyprinter.Internal Associated Types
Methods from :: SimpleDocStream ann -> Rep (SimpleDocStream ann) x # to :: Rep (SimpleDocStream ann) x -> SimpleDocStream ann # | |||||
Generic (SimpleDocTree ann) | |||||
Defined in Prettyprinter.Render.Util.SimpleDocTree Associated Types
Methods from :: SimpleDocTree ann -> Rep (SimpleDocTree ann) x # to :: Rep (SimpleDocTree ann) x -> SimpleDocTree ann # | |||||
Generic (Maybe a) | |||||
Defined in Data.Strict.Maybe Associated Types
| |||||
Generic (TyVarBndr flag) | |||||
Defined in Language.Haskell.TH.Syntax Associated Types
| |||||
Generic (Maybe a) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Solo a) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic [a] | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (WrappedMonad m a) | |||||
Defined in Control.Applicative Associated Types
Methods from :: WrappedMonad m a -> Rep (WrappedMonad m a) x # to :: Rep (WrappedMonad m a) x -> WrappedMonad m a # | |||||
Generic (Arg a b) | |||||
Defined in Data.Semigroup Associated Types
| |||||
Generic (Map k v) # | |||||
Generic (Binding s a) # | |||||
Defined in Dhall.Syntax.Binding Associated Types
| |||||
Generic (Chunks s a) # | |||||
Defined in Dhall.Syntax.Chunks Associated Types
| |||||
Generic (Expr s a) # | |||||
Defined in Dhall.Syntax.Expr Associated Types
| |||||
Generic (FunctionBinding s a) # | |||||
Defined in Dhall.Syntax.FunctionBinding Associated Types
Methods from :: FunctionBinding s a -> Rep (FunctionBinding s a) x # to :: Rep (FunctionBinding s a) x -> FunctionBinding s a # | |||||
Generic (RecordField s a) # | |||||
Defined in Dhall.Syntax.RecordField Associated Types
Methods from :: RecordField s a -> Rep (RecordField s a) x # to :: Rep (RecordField s a) x -> RecordField s a # | |||||
Generic (Either a b) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Proxy t) | |||||
Defined in GHC.Internal.Generics | |||||
Generic (U1 p) | |||||
Defined in GHC.Internal.Generics | |||||
Generic (V1 p) | |||||
Generic (ParseError s e) | |||||
Defined in Text.Megaparsec.Error Associated Types
Methods from :: ParseError s e -> Rep (ParseError s e) x # to :: Rep (ParseError s e) x -> ParseError s e # | |||||
Generic (ParseErrorBundle s e) | |||||
Defined in Text.Megaparsec.Error Associated Types
Methods from :: ParseErrorBundle s e -> Rep (ParseErrorBundle s e) x # to :: Rep (ParseErrorBundle s e) x -> ParseErrorBundle s e # | |||||
Generic (State s e) | |||||
Defined in Text.Megaparsec.State Associated Types
| |||||
Generic (Either a b) | |||||
Defined in Data.Strict.Either Associated Types
| |||||
Generic (These a b) | |||||
Defined in Data.Strict.These Associated Types
| |||||
Generic (Pair a b) | |||||
Defined in Data.Strict.Tuple Associated Types
| |||||
Generic (These a b) | |||||
Defined in Data.These Associated Types
| |||||
Generic (Lift f a) | |||||
Defined in Control.Applicative.Lift Associated Types
| |||||
Generic (MaybeT m a) | |||||
Defined in Control.Monad.Trans.Maybe Associated Types
| |||||
Generic (a, b) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (WrappedArrow a b c) | |||||
Defined in Control.Applicative Associated Types
Methods from :: WrappedArrow a b c -> Rep (WrappedArrow a b c) x # to :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c # | |||||
Generic (Join p a) | |||||
Defined in Data.Bifunctor.Join Associated Types
| |||||
Generic (Kleisli m a b) | |||||
Defined in GHC.Internal.Control.Arrow Associated Types
| |||||
Generic (Const a b) | |||||
Defined in GHC.Internal.Data.Functor.Const Associated Types
| |||||
Generic (Ap f a) | |||||
Defined in GHC.Internal.Data.Monoid Associated Types
| |||||
Generic (Alt f a) | |||||
Defined in GHC.Internal.Data.Semigroup.Internal Associated Types
| |||||
Generic (Rec1 f p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (URec (Ptr ()) p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (URec Char p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (URec Double p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (URec Float p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (URec Int p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (URec Word p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Tagged s b) | |||||
Defined in Data.Tagged Associated Types
| |||||
Generic (These1 f g a) | |||||
Defined in Data.Functor.These Associated Types
| |||||
Generic (Backwards f a) | |||||
Defined in Control.Applicative.Backwards Associated Types
| |||||
Generic (AccumT w m a) | |||||
Defined in Control.Monad.Trans.Accum Associated Types
| |||||
Generic (ExceptT e m a) | |||||
Defined in Control.Monad.Trans.Except Associated Types
| |||||
Generic (IdentityT f a) | |||||
Defined in Control.Monad.Trans.Identity Associated Types
| |||||
Generic (ReaderT r m a) | |||||
Defined in Control.Monad.Trans.Reader Associated Types
| |||||
Generic (SelectT r m a) | |||||
Defined in Control.Monad.Trans.Select Associated Types
| |||||
Generic (StateT s m a) | |||||
Defined in Control.Monad.Trans.State.Lazy Associated Types
| |||||
Generic (StateT s m a) | |||||
Defined in Control.Monad.Trans.State.Strict Associated Types
| |||||
Generic (WriterT w m a) | |||||
Defined in Control.Monad.Trans.Writer.CPS Associated Types
| |||||
Generic (WriterT w m a) | |||||
Defined in Control.Monad.Trans.Writer.Lazy Associated Types
| |||||
Generic (WriterT w m a) | |||||
Defined in Control.Monad.Trans.Writer.Strict Associated Types
| |||||
Generic (Constant a b) | |||||
Defined in Data.Functor.Constant Associated Types
| |||||
Generic (Reverse f a) | |||||
Defined in Data.Functor.Reverse Associated Types
| |||||
Generic (a, b, c) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Product f g a) | |||||
Defined in Data.Functor.Product Associated Types
| |||||
Generic (Sum f g a) | |||||
Defined in Data.Functor.Sum Associated Types
| |||||
Generic ((f :*: g) p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic ((f :+: g) p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (K1 i c p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (ContT r m a) | |||||
Defined in Control.Monad.Trans.Cont Associated Types
| |||||
Generic (a, b, c, d) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Compose f g a) | |||||
Defined in Data.Functor.Compose Associated Types
| |||||
Generic (Clown f a b) | |||||
Defined in Data.Bifunctor.Clown Associated Types
| |||||
Generic (Flip p a b) | |||||
Defined in Data.Bifunctor.Flip Associated Types
| |||||
Generic (Joker g a b) | |||||
Defined in Data.Bifunctor.Joker Associated Types
| |||||
Generic (WrappedBifunctor p a b) | |||||
Defined in Data.Bifunctor.Wrapped Associated Types
Methods from :: WrappedBifunctor p a b -> Rep (WrappedBifunctor p a b) x # to :: Rep (WrappedBifunctor p a b) x -> WrappedBifunctor p a b # | |||||
Generic ((f :.: g) p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (M1 i c f p) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (RWST r w s m a) | |||||
Defined in Control.Monad.Trans.RWS.CPS Associated Types
| |||||
Generic (RWST r w s m a) | |||||
Defined in Control.Monad.Trans.RWS.Lazy Associated Types
| |||||
Generic (RWST r w s m a) | |||||
Defined in Control.Monad.Trans.RWS.Strict Associated Types
| |||||
Generic (a, b, c, d, e) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Product f g a b) | |||||
Defined in Data.Bifunctor.Product Associated Types
| |||||
Generic (Sum p q a b) | |||||
Defined in Data.Bifunctor.Sum Associated Types
| |||||
Generic (a, b, c, d, e, f) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Tannen f p a b) | |||||
Defined in Data.Bifunctor.Tannen Associated Types
| |||||
Generic (a, b, c, d, e, f, g) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (a, b, c, d, e, f, g, h) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (Biff p f g a b) | |||||
Defined in Data.Bifunctor.Biff Associated Types
| |||||
Generic (a, b, c, d, e, f, g, h, i) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (a, b, c, d, e, f, g, h, i, j) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (a, b, c, d, e, f, g, h, i, j, k) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (a, b, c, d, e, f, g, h, i, j, k, l) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |||||
Defined in GHC.Internal.Generics Associated Types
| |||||
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |||||
Defined in GHC.Internal.Generics Associated Types
|