| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Horizon.Spec.Types.OverlayFile
Documentation
newtype OverlayFile Source #
Constructors
| MkOverlayFile (Path Rel File) |
Instances
| Show OverlayFile Source # | |
Defined in Horizon.Spec.Types.OverlayFile Methods showsPrec :: Int -> OverlayFile -> ShowS # show :: OverlayFile -> String # showList :: [OverlayFile] -> ShowS # | |
| FromDhall OverlayFile Source # | |
Defined in Horizon.Spec.Types.OverlayFile Methods | |
| ToDhall OverlayFile Source # | |
Defined in Horizon.Spec.Types.OverlayFile Methods | |
| Eq OverlayFile Source # | |
Defined in Horizon.Spec.Types.OverlayFile | |
| Lift OverlayFile Source # | |
Defined in Horizon.Spec.Types.OverlayFile Methods lift :: Quote m => OverlayFile -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => OverlayFile -> Code m OverlayFile # | |