| License | BSD |
|---|---|
| Maintainer | sweirich@cis.upenn.edu |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Generics.RepLib.R1
Description
- data R1 ctx a where
- Int1 :: R1 ctx Int
- Char1 :: R1 ctx Char
- Integer1 :: R1 ctx Integer
- Float1 :: R1 ctx Float
- Double1 :: R1 ctx Double
- Rational1 :: R1 ctx Rational
- IOError1 :: R1 ctx IOError
- IO1 :: Rep a => ctx a -> R1 ctx (IO a)
- Arrow1 :: (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (a -> b)
- Data1 :: DT -> [Con ctx a] -> R1 ctx a
- Abstract1 :: DT -> R1 ctx a
- Equal1 :: (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (a :~: b)
- class Sat a where
- class Rep a => Rep1 ctx a where
- getRepC :: Rep b => c b -> R b
- toR :: R1 c a -> R a
- rTup2_1 :: forall a b ctx. (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (a, b)
- rList1 :: forall a ctx. Rep a => ctx a -> ctx [a] -> R1 ctx [a]
Documentation
Constructors
| Int1 :: R1 ctx Int | |
| Char1 :: R1 ctx Char | |
| Integer1 :: R1 ctx Integer | |
| Float1 :: R1 ctx Float | |
| Double1 :: R1 ctx Double | |
| Rational1 :: R1 ctx Rational | |
| IOError1 :: R1 ctx IOError | |
| IO1 :: Rep a => ctx a -> R1 ctx (IO a) | |
| Arrow1 :: (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (a -> b) | |
| Data1 :: DT -> [Con ctx a] -> R1 ctx a | |
| Abstract1 :: DT -> R1 ctx a | |
| Equal1 :: (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (a :~: b) |
Minimal complete definition
Instances
| Show a => Sat (ShowD a) Source # | |
| Bounded a => Sat (BoundedD a) Source # | |
| Ord a => Sat (OrdD a) Source # | |
| Eq a => Sat (EqD a) Source # | |
| Shrink a => Sat (ShrinkD a) Source # | |
| Enumerate a => Sat (EnumerateD a) Source # | |
| Generate a => Sat (GenerateD a) Source # | |
| Zero a => Sat (ZeroD a) Source # | |
| GSum a => Sat (GSumD a) Source # | |
| Lreduce b a => Sat (LreduceD b a) Source # | |
| Rreduce b a => Sat (RreduceD b a) Source # | |
| (Unify n a b, Subst n a b, Occurs n a b) => Sat (UnifySubD n a b) Source # | |
class Rep a => Rep1 ctx a where Source #
Minimal complete definition
Instances
| Rep1 ctx () Source # | |
| Rep1 ctx Rational Source # | |
| Rep1 ctx IOError Source # | |
| Rep1 ctx Double Source # | |
| Rep1 ctx Float Source # | |
| Rep1 ctx Integer Source # | |
| Rep1 ctx Char Source # | |
| Rep1 ctx Int Source # | |
| (Rep a, Sat (ctx a), Sat (ctx [a])) => Rep1 ctx [a] Source # | |
| (Rep a, Sat (ctx a)) => Rep1 ctx (IO a) Source # | |
| (Rep a, Sat (ctx a), Rep b, Sat (ctx b)) => Rep1 ctx (a, b) Source # | |
| (Rep a, Rep b, Sat (ctx a), Sat (ctx b)) => Rep1 ctx (a -> b) Source # | |
| (Rep a, Rep b, Sat (ctx a), Sat (ctx b)) => Rep1 ctx ((:~:) * a b) Source # | |