| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Composite.Dhall
Contents
Synopsis
- newtype TextTemplate a = TextTemplate {
- unTextTemplate :: Op Text a
- runTextTemplate :: TextTemplate a -> a -> Text
- newtype F f xs = F {}
- newtype CoF f xs = CoF {}
Documentation
newtype TextTemplate a Source #
The common case where a function from `a -> Text` can be used in a record.
Since: 0.0.3.0
Constructors
| TextTemplate | |
Fields
| |
Instances
| Contravariant TextTemplate Source # | |
Defined in Composite.Dhall Methods contramap :: (a' -> a) -> TextTemplate a -> TextTemplate a' # (>$) :: b -> TextTemplate b -> TextTemplate a # | |
| ToDhall a => FromDhall (TextTemplate a) Source # | |
Defined in Composite.Dhall Methods autoWith :: InputNormalizer -> Decoder (TextTemplate a) # | |
runTextTemplate :: TextTemplate a -> a -> Text Source #
Run a TextTemplate against a value.
Since: 0.0.3.0
Newtype wrapper for deriving `(Rec f xs)` where f is a Functor using DerivingVia.
Since: 0.0.4.0
Instances
| (KnownSymbol s, Functor f, FromDhall (F f xs), FromDhall (f x)) => FromDhall (F f ((s :-> x) ': xs)) Source # | |
Defined in Composite.Dhall | |
| FromDhall (F f ('[] :: [Type])) Source # | |
Defined in Composite.Dhall Methods autoWith :: InputNormalizer -> Decoder (F f '[]) # | |
| (KnownSymbol s, Functor f, ToDhall (F f xs), ToDhall (f x)) => ToDhall (F f ((s :-> x) ': xs)) Source # | |
Defined in Composite.Dhall Methods injectWith :: InputNormalizer -> Encoder (F f ((s :-> x) ': xs)) # | |
Newtype wrapper for deriving `(Rec f xs)` where f is Contravariant using DerivingVia.
Since: 0.0.4.0
Instances
| (KnownSymbol s, FromDhall (CoF f xs), Contravariant f, FromDhall (f x)) => FromDhall (CoF f ((s :-> x) ': xs)) Source # | |
Defined in Composite.Dhall | |
| FromDhall (CoF f ('[] :: [Type])) Source # | |
Defined in Composite.Dhall Methods autoWith :: InputNormalizer -> Decoder (CoF f '[]) # | |