Composite.Dhall

Documentation

newtype TextTemplate a

The common case where a function from `a -> Text` can be used in a record.

Since: 0.0.3.0

Constructors

TextTemplate

Fields

• unTextTemplate :: Op Text a

Instances

Contravariant TextTemplate

Defined in Composite.Dhall

Methods

contramap :: (a' -> a) -> TextTemplate a -> TextTemplate a'

(>$) :: b -> TextTemplate b -> TextTemplate a

ToDhall a => FromDhall (TextTemplate a)

Defined in Composite.Dhall

Methods

autoWith :: InputNormalizer -> Decoder (TextTemplate a)

runTextTemplate :: TextTemplate a -> a -> Text

Run a TextTemplate against a value.

Since: 0.0.3.0

newtype F f xs

Newtype wrapper for deriving `(Rec f xs)` where f is a Functor using DerivingVia.

Since: 0.0.4.0

Constructors

F

Fields

• unF :: Rec f xs

Instances

(KnownSymbol s, Functor f, FromDhall (F f xs), FromDhall (f x)) => FromDhall (F f ((s :-> x) ': xs))

Defined in Composite.Dhall

Methods

autoWith :: InputNormalizer -> Decoder (F f ((s :-> x) ': xs))

FromDhall (F f ('[] :: [Type]))

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))

Defined in Composite.Dhall

Methods

injectWith :: InputNormalizer -> Encoder (F f ((s :-> x) ': xs))

newtype CoF f xs

Newtype wrapper for deriving `(Rec f xs)` where f is Contravariant using DerivingVia.

Since: 0.0.4.0

Constructors

CoF

Fields

• unCoF :: Rec f xs

Instances

(KnownSymbol s, FromDhall (CoF f xs), Contravariant f, FromDhall (f x)) => FromDhall (CoF f ((s :-> x) ': xs))

Defined in Composite.Dhall

Methods

autoWith :: InputNormalizer -> Decoder (CoF f ((s :-> x) ': xs))

FromDhall (CoF f ('[] :: [Type]))

Defined in Composite.Dhall

Methods

autoWith :: InputNormalizer -> Decoder (CoF f '[])

Orphan instances

(KnownSymbol s, FromDhall (Record xs), FromDhall x) => FromDhall (Record ((s :-> x) ': xs))

Methods

autoWith :: InputNormalizer -> Decoder (Record ((s :-> x) ': xs))

(KnownSymbol s, ToDhall (Record xs), ToDhall x) => ToDhall (Record ((s :-> x) ': xs))

Methods

injectWith :: InputNormalizer -> Encoder (Record ((s :-> x) ': xs))

(KnownSymbol s, FromDhall (CoF Equivalence xs), ToDhall x) => FromDhall (Rec Equivalence ((s :-> x) ': xs))

Methods

autoWith :: InputNormalizer -> Decoder (Rec Equivalence ((s :-> x) ': xs))

(KnownSymbol s, FromDhall (CoF (Op b) xs), FromDhall b, ToDhall x) => FromDhall (Rec (Op b) ((s :-> x) ': xs))

Methods

autoWith :: InputNormalizer -> Decoder (Rec (Op b) ((s :-> x) ': xs))

(KnownSymbol s, FromDhall (CoF Predicate xs), ToDhall x) => FromDhall (Rec Predicate ((s :-> x) ': xs))

Methods

autoWith :: InputNormalizer -> Decoder (Rec Predicate ((s :-> x) ': xs))

(KnownSymbol s, FromDhall (F Maybe xs), FromDhall x) => FromDhall (Rec Maybe ((s :-> x) ': xs))

Methods

autoWith :: InputNormalizer -> Decoder (Rec Maybe ((s :-> x) ': xs))

(KnownSymbol s, FromDhall (F [] xs), FromDhall x) => FromDhall (Rec [] ((s :-> x) ': xs))

Methods

autoWith :: InputNormalizer -> Decoder (Rec [] ((s :-> x) ': xs))

FromDhall (Rec f ('[] :: [Type]))

Methods

autoWith :: InputNormalizer -> Decoder (Rec f '[])

(KnownSymbol s, ToDhall (F Maybe xs), ToDhall x) => ToDhall (Rec Maybe ((s :-> x) ': xs))

Methods

injectWith :: InputNormalizer -> Encoder (Rec Maybe ((s :-> x) ': xs))

(KnownSymbol s, ToDhall (F [] xs), ToDhall x) => ToDhall (Rec [] ((s :-> x) ': xs))

Methods

injectWith :: InputNormalizer -> Encoder (Rec [] ((s :-> x) ': xs))

ToDhall (Rec f ('[] :: [Type]))

Methods

injectWith :: InputNormalizer -> Encoder (Rec f '[])