Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class Permutable repr where
- type Permutation (repr :: * -> * -> *) = (r :: * -> * -> *) | r -> repr
- permutable :: Permutation repr (a -> k) k -> repr (a -> k) k
- perm :: repr (a -> k) k -> Permutation repr (a -> k) k
- noPerm :: Permutation repr k k
- permWithDefault :: a -> repr (a -> k) k -> Permutation repr (a -> k) k
- optionalPerm :: Eitherable repr => Dimapable repr => Permutable repr => repr (a -> k) k -> Permutation repr (Maybe a -> k) k
- (<&>) :: Permutable repr => Tupable (Permutation repr) => repr (a -> k) k -> Permutation repr (b -> k) k -> Permutation repr ((a, b) -> k) k
- (<?&>) :: Eitherable repr => Dimapable repr => Permutable repr => Tupable (Permutation repr) => repr (a -> k) k -> Permutation repr (b -> k) k -> Permutation repr ((Maybe a, b) -> k) k
- (<*&>) :: Eitherable repr => Repeatable repr => Dimapable repr => Permutable repr => Tupable (Permutation repr) => repr (a -> k) k -> Permutation repr (b -> k) k -> Permutation repr (([a], b) -> k) k
- (<+&>) :: Eitherable repr => Repeatable repr => Dimapable repr => Permutable repr => Tupable (Permutation repr) => repr (a -> k) k -> Permutation repr (b -> k) k -> Permutation repr (([a], b) -> k) k
Class Permutable
class Permutable repr where Source #
type Permutation (repr :: * -> * -> *) = (r :: * -> * -> *) | r -> repr Source #
permutable :: Permutation repr (a -> k) k -> repr (a -> k) k Source #
perm :: repr (a -> k) k -> Permutation repr (a -> k) k Source #
noPerm :: Permutation repr k k Source #
permWithDefault :: a -> repr (a -> k) k -> Permutation repr (a -> k) k Source #
optionalPerm :: Eitherable repr => Dimapable repr => Permutable repr => repr (a -> k) k -> Permutation repr (Maybe a -> k) k Source #
(<&>) :: Permutable repr => Tupable (Permutation repr) => repr (a -> k) k -> Permutation repr (b -> k) k -> Permutation repr ((a, b) -> k) k infixr 4 Source #
(<?&>) :: Eitherable repr => Dimapable repr => Permutable repr => Tupable (Permutation repr) => repr (a -> k) k -> Permutation repr (b -> k) k -> Permutation repr ((Maybe a, b) -> k) k infixr 4 Source #
(<*&>) :: Eitherable repr => Repeatable repr => Dimapable repr => Permutable repr => Tupable (Permutation repr) => repr (a -> k) k -> Permutation repr (b -> k) k -> Permutation repr (([a], b) -> k) k infixr 4 Source #
(<+&>) :: Eitherable repr => Repeatable repr => Dimapable repr => Permutable repr => Tupable (Permutation repr) => repr (a -> k) k -> Permutation repr (b -> k) k -> Permutation repr (([a], b) -> k) k infixr 4 Source #