Safe Haskell	None
Language	Haskell2010

Composite.Dhall

Contents

Orphan instances

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 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 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 '[]) #