Exon.Class.ToSegment

Documentation

class ToSegment a b where

This class determines how an expression is converted to an interpolation quote's result type.

For a quote like [exon|a #{exp :: T} c|] :: R, the instance ToSegment T R is used to turn T into R. Aside from specialized instances for stringly types, the default implementation uses Generic to unwrap newtypes that either match the result type exactly, or uses fromString for result types that implement IsString.

So given:

>>> newtype T = T Text deriving newtype (Generic)
>>> newtype R = R Text deriving newtype (IsString, Semigroup, Monoid)

the quote from earlier would generically unwrap T and use fromString to construct an R.

Methods

toSegment :: a -> b

Instances

IsString a => ToSegment ByteString a

Defined in Exon.Class.ToSegment

Methods

toSegment :: ByteString -> a

IsString a => ToSegment LByteString a

Defined in Exon.Class.ToSegment

Methods

toSegment :: LByteString -> a

IsString a => ToSegment LText a

Defined in Exon.Class.ToSegment

Methods

toSegment :: LText -> a

IsString a => ToSegment Text a

Defined in Exon.Class.ToSegment

Methods

toSegment :: Text -> a

IsString a => ToSegment String a

Defined in Exon.Class.ToSegment

Methods

toSegment :: String -> a

(IsNewtype a wrapped, NewtypeSegment wrapped a b) => ToSegment a b

Defined in Exon.Class.ToSegment

Methods

toSegment :: a -> b