{-# OPTIONS_GHC -Wno-missing-export-lists #-}

module Target.Infinite where

import Data.List (genericLength, isSuffixOf)

import qualified GHC.List


stanReverse :: [a] -> [a]
stanReverse :: forall a. [a] -> [a]
stanReverse = [a] -> [a]
forall a. [a] -> [a]
reverse

stanIsSuffixOf :: String -> Bool
stanIsSuffixOf :: [Char] -> Bool
stanIsSuffixOf = [Char] -> [Char] -> Bool
forall a. Eq a => [a] -> [a] -> Bool
isSuffixOf [Char]
"stan"

stanLength :: String -> Int
stanLength :: [Char] -> Int
stanLength = [Char] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length

stanGenericLength :: String -> Int
stanGenericLength :: [Char] -> Int
stanGenericLength = [Char] -> Int
forall i a. Num i => [a] -> i
genericLength

stanSum :: Num a => [a] -> a
stanSum :: forall a. Num a => [a] -> a
stanSum = [a] -> a
forall a. Num a => [a] -> a
forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
sum

stanProduct :: Num a => [a] -> a
stanProduct :: forall a. Num a => [a] -> a
stanProduct = [a] -> a
forall a. Num a => [a] -> a
forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
product

stanGhcListxxLength :: [a] -> Int
stanGhcListxxLength :: forall a. [a] -> Int
stanGhcListxxLength = [a] -> Int
forall a. [a] -> Int
GHC.List.length