Safe Haskell	None
Language	Haskell2010

Composite.Dhall

Contents

Orphan instances

Synopsis

newtype TextTemplate a = TextTemplate {
- unTextTemplate :: Op Text a
}
runTextTemplate :: TextTemplate a -> a -> Text

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 unTextTemplate :: Op Text a

Instances

Instances details

ToDhall a => FromDhall (TextTemplate a) Source #
Instance details 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

Orphan instances

ToDhall x => FromDhall (Predicate x) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Predicate x) #
ToDhall x => FromDhall (Equivalence x) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Equivalence x) #
(KnownSymbol s, FromDhall (Record xs), FromDhall x) => FromDhall (Record ((s :-> x) ': xs)) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Record ((s :-> x) ': xs)) #
(KnownSymbol s, ToDhall (Record xs), ToDhall x) => ToDhall (Record ((s :-> x) ': xs)) Source #
Instance details Methods injectWith :: InputNormalizer -> Encoder (Record ((s :-> x) ': xs)) #
(FromDhall b, ToDhall x) => FromDhall (Op b x) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Op b x) #
(KnownSymbol s, FromDhall (Rec [] xs), FromDhall x) => FromDhall (Rec [] ((s :-> x) ': xs)) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Rec [] ((s :-> x) ': xs)) #
(KnownSymbol s, FromDhall (Rec Maybe xs), FromDhall x) => FromDhall (Rec Maybe ((s :-> x) ': xs)) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Rec Maybe ((s :-> x) ': xs)) #
FromDhall (Rec f ('[] :: [Type])) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Rec f '[]) #
(KnownSymbol s, FromDhall (Rec (Op b) xs), FromDhall b, ToDhall x) => FromDhall (Rec (Op b) ((s :-> x) ': xs)) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Rec (Op b) ((s :-> x) ': xs)) #
(KnownSymbol s, FromDhall (Rec Predicate xs), ToDhall x) => FromDhall (Rec Predicate ((s :-> x) ': xs)) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Rec Predicate ((s :-> x) ': xs)) #
(KnownSymbol s, FromDhall (Rec Equivalence xs), ToDhall x) => FromDhall (Rec Equivalence ((s :-> x) ': xs)) Source #
Instance details Methods autoWith :: InputNormalizer -> Decoder (Rec Equivalence ((s :-> x) ': xs)) #
(KnownSymbol s, ToDhall (Rec [] xs), ToDhall x) => ToDhall (Rec [] ((s :-> x) ': xs)) Source #
Instance details Methods injectWith :: InputNormalizer -> Encoder (Rec [] ((s :-> x) ': xs)) #
(KnownSymbol s, ToDhall (Rec Maybe xs), ToDhall x) => ToDhall (Rec Maybe ((s :-> x) ': xs)) Source #
Instance details Methods injectWith :: InputNormalizer -> Encoder (Rec Maybe ((s :-> x) ': xs)) #
ToDhall (Rec f ('[] :: [Type])) Source #
Instance details Methods injectWith :: InputNormalizer -> Encoder (Rec f '[]) #