Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

# Documentation

newtype LiftMismatch f g xs Source #

LiftMismatch (Mismatch f g xs) |

#### Instances

#### Instances

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftNP f xs) Source # | |

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftNP f xs) Source # | |

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Ord (f x)) ⇒ Ord (LiftNP f xs) Source # | |

#### Instances

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftNS f xs) Source # | |

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftNS f xs) Source # | |

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Ord (f x)) ⇒ Ord (LiftNS f xs) Source # | |

newtype LiftNamedMismatch (name ∷ Symbol) f g xs Source #

LiftNamedMismatch (Mismatch f g xs) |

#### Instances

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), ∀ x. SingleEraBlock x ⇒ NoThunks (g x), KnownSymbol name) ⇒ NoThunks (LiftNamedMismatch name f g xs) Source # | |

newtype LiftNamedNP (name ∷ Symbol) f xs Source #

LiftNamedNP (NP f xs) |

#### Instances

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), KnownSymbol name) ⇒ NoThunks (LiftNamedNP name f xs) Source # | |

newtype LiftNamedNS (name ∷ Symbol) f xs Source #

LiftNamedNS (NS f xs) |

#### Instances

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), KnownSymbol name) ⇒ NoThunks (LiftNamedNS name f xs) Source # | |

newtype LiftNamedTelescope (name ∷ Symbol) f g xs Source #

LiftNamedTelescope (Telescope f g xs) |

#### Instances

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ NoThunks (f x), ∀ x. SingleEraBlock x ⇒ NoThunks (g x), KnownSymbol name) ⇒ NoThunks (LiftNamedTelescope name f g xs) Source # | |

newtype LiftOptNP empty f xs Source #

#### Instances

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Show (f x)) ⇒ Show (LiftOptNP empty f xs) Source # | |

(All SingleEraBlock xs, ∀ x. SingleEraBlock x ⇒ Eq (f x)) ⇒ Eq (LiftOptNP empty f xs) Source # | |

newtype LiftTelescope g f xs Source #

LiftTelescope (Telescope g f xs) |