:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulecomposite-dhall-0.1.0.1Haskell2010
The common case where a function from `a -> Text` can be used in a record.
Contravariant TextTemplateDefined in composite-dhall-0.1.0.1 · Composite.DhallToDhall a => FromDhall (TextTemplate a)Defined in composite-dhall-0.1.0.1 · Composite.DhallRun a TextTemplate against a value.
Newtype wrapper for deriving `(Rec f xs)` where f is a Functor using DerivingVia.
FromDhall (F f '[])Defined in composite-dhall-0.1.0.1 · Composite.Dhall(KnownSymbol s, Functor f, FromDhall (F f xs), FromDhall (f x)) => FromDhall (F f ((s :-> x) ': xs))Defined in composite-dhall-0.1.0.1 · Composite.Dhall(KnownSymbol s, Functor f, ToDhall (F f xs), ToDhall (f x)) => ToDhall (F f ((s :-> x) ': xs))Defined in composite-dhall-0.1.0.1 · Composite.DhallNewtype wrapper for deriving `(Rec f xs)` where f is Contravariant using DerivingVia.
FromDhall (CoF f '[])Defined in composite-dhall-0.1.0.1 · Composite.Dhall(KnownSymbol s, FromDhall (CoF f xs), Contravariant f, FromDhall (f x)) => FromDhall (CoF f ((s :-> x) ': xs))Defined in composite-dhall-0.1.0.1 · Composite.Dhall(KnownSymbol s, FromDhall (Record xs), FromDhall x) => FromDhall (Record ((s :-> x) ': xs))(KnownSymbol s, ToDhall (Record xs), ToDhall x) => ToDhall (Record ((s :-> x) ': xs))FromDhall (Rec f '[])(KnownSymbol s, FromDhall (CoF Equivalence xs), ToDhall x) => FromDhall (Rec Equivalence ((s :-> x) ': xs))(KnownSymbol s, FromDhall (CoF Predicate xs), ToDhall x) => FromDhall (Rec Predicate ((s :-> x) ': xs))(KnownSymbol s, FromDhall (CoF (Op b) xs), FromDhall b, ToDhall x) => FromDhall (Rec (Op b) ((s :-> x) ': xs))(KnownSymbol s, FromDhall (F Maybe xs), FromDhall x) => FromDhall (Rec Maybe ((s :-> x) ': xs))(KnownSymbol s, FromDhall (F [] xs), FromDhall x) => FromDhall (Rec [] ((s :-> x) ': xs))ToDhall (Rec f '[])(KnownSymbol s, ToDhall (F Maybe xs), ToDhall x) => ToDhall (Rec Maybe ((s :-> x) ': xs))(KnownSymbol s, ToDhall (F [] xs), ToDhall x) => ToDhall (Rec [] ((s :-> x) ': xs))