-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Finite totally-ordered sets
--   
--   Finite totally-ordered sets
@package Fin
@version 0.2.6.1

module Data.Fin.List
data Peano
data List n a
[Nil] :: List Zero a
[:.] :: a -> List n a -> List (Succ n) a
infixr 5 :.
fromList :: Natural n => [a] -> Maybe (List n a)
uncons :: List (Succ n) a -> (a, List n a)
head :: List (Succ n) a -> a
tail :: List (Succ n) a -> List n a
init :: List (Succ n) a -> List n a
last :: List (Succ n) a -> a
reverse :: List n a -> List n a
rotate :: Fin n -> List n a -> List n a
at :: Functor f => Fin n -> (a -> f a) -> List n a -> f (List n a)
swap :: Fin n -> Fin n -> List n a -> List n a
(!!) :: List n a -> Fin n -> a

module Data.Fin
data Fin :: Peano -> *
[Zero] :: Fin (Succ n)
[Succ] :: Fin n -> Fin (Succ n)
enum :: Natural n => List n (Fin n)
inj₁ :: Fin n -> Fin (Succ n)
lift₁ :: (Fin m -> Fin n) -> Fin (Succ m) -> Fin (Succ n)
fromFin :: Integral a => Fin n -> a
toFin :: forall n a. (Natural n, Integral a) => a -> Fin (Succ n)
toFinMay :: (Natural n, Integral a) => a -> Maybe (Fin n)

module Data.Fin.Permutation
data Permutation n
apply :: Permutation n -> List n a -> List n a
unapply :: Permutation n -> List n a -> List n a
swap :: Natural n => Fin n -> Fin n -> Permutation n
orbit :: Natural n => Permutation n -> Fin n -> NonEmpty (Fin n)
cycles :: forall n. Natural n => Permutation (Succ n) -> NonEmpty (NonEmpty (Fin (Succ n)))
instance GHC.Base.Functor Data.Fin.Permutation.Stream
instance GHC.Classes.Eq (Data.Fin.Permutation.Permutation n)
instance GHC.Show.Show (Data.Fin.Permutation.Permutation n)
instance Data.Natural.Class.Natural n => GHC.Base.Semigroup (Data.Fin.Permutation.Permutation n)
instance Data.Natural.Class.Natural n => Data.Universe.Class.Universe (Data.Fin.Permutation.Permutation n)
instance Data.Natural.Class.Natural n => Data.Universe.Class.Finite (Data.Fin.Permutation.Permutation n)
instance Data.Natural.Class.Natural n => GHC.Base.Monoid (Data.Fin.Permutation.Permutation n)
instance Data.Natural.Class.Natural n => Algebra.Group (Data.Fin.Permutation.Permutation n)